Skip to content

Commit 5943fb7

Browse files
committed
coverage: Call prev/curr less in other places
This reduces clutter, and makes it easier to notice regions where mutations definitely don't occur.
1 parent c03b5b7 commit 5943fb7

File tree

1 file changed

+17
-11
lines changed
  • compiler/rustc_mir_transform/src/coverage

1 file changed

+17
-11
lines changed

compiler/rustc_mir_transform/src/coverage/spans.rs

Lines changed: 17 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -393,17 +393,19 @@ impl<'a> CoverageSpansGenerator<'a> {
393393
}
394394

395395
fn check_invoked_macro_name_span(&mut self) {
396-
let Some(visible_macro) = self.curr().visible_macro(self.body_span) else { return };
396+
let curr = self.curr();
397+
398+
let Some(visible_macro) = curr.visible_macro(self.body_span) else { return };
397399
if let Some(prev) = &self.some_prev
398-
&& prev.expn_span.ctxt() == self.curr().expn_span.ctxt()
400+
&& prev.expn_span.ctxt() == curr.expn_span.ctxt()
399401
{
400402
return;
401403
}
402404

403-
let merged_prefix_len = self.curr_original_span.lo() - self.curr().span.lo();
405+
let merged_prefix_len = self.curr_original_span.lo() - curr.span.lo();
404406
let after_macro_bang = merged_prefix_len + BytePos(visible_macro.as_str().len() as u32 + 1);
405-
let mut macro_name_cov = self.curr().clone();
406-
self.curr_mut().span = self.curr().span.with_lo(self.curr().span.lo() + after_macro_bang);
407+
let mut macro_name_cov = curr.clone();
408+
self.curr_mut().span = curr.span.with_lo(curr.span.lo() + after_macro_bang);
407409
macro_name_cov.span =
408410
macro_name_cov.span.with_hi(macro_name_cov.span.lo() + after_macro_bang);
409411
debug!(
@@ -514,11 +516,14 @@ impl<'a> CoverageSpansGenerator<'a> {
514516
/// extends to the right of the closure, update `prev` to that portion of the span. For any
515517
/// `pending_dups`, repeat the same process.
516518
fn carve_out_span_for_closure(&mut self) {
517-
let curr_span = self.curr().span;
518-
let left_cutoff = curr_span.lo();
519-
let right_cutoff = curr_span.hi();
520-
let has_pre_closure_span = self.prev().span.lo() < right_cutoff;
521-
let has_post_closure_span = self.prev().span.hi() > right_cutoff;
519+
let prev = self.prev();
520+
let curr = self.curr();
521+
522+
let left_cutoff = curr.span.lo();
523+
let right_cutoff = curr.span.hi();
524+
let has_pre_closure_span = prev.span.lo() < right_cutoff;
525+
let has_post_closure_span = prev.span.hi() > right_cutoff;
526+
522527
let mut pending_dups = self.pending_dups.split_off(0);
523528
if has_pre_closure_span {
524529
let mut pre_closure = self.prev().clone();
@@ -573,7 +578,8 @@ impl<'a> CoverageSpansGenerator<'a> {
573578
let initial_pending_count = self.pending_dups.len();
574579
if initial_pending_count > 0 {
575580
let mut pending_dups = self.pending_dups.split_off(0);
576-
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, self.curr()));
581+
let curr = self.curr();
582+
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, curr));
577583
self.pending_dups.append(&mut pending_dups);
578584
if self.pending_dups.len() < initial_pending_count {
579585
debug!(

0 commit comments

Comments
 (0)