Skip to content

Commit 01725e7

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 6e1c632 commit 01725e7

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
@@ -394,17 +394,19 @@ impl<'a> CoverageSpansGenerator<'a> {
394394
}
395395

396396
fn check_invoked_macro_name_span(&mut self) {
397-
let Some(visible_macro) = self.curr().visible_macro(self.body_span) else { return };
397+
let curr = self.curr();
398+
399+
let Some(visible_macro) = curr.visible_macro(self.body_span) else { return };
398400
if let Some(prev) = &self.some_prev
399-
&& prev.expn_span.ctxt() == self.curr().expn_span.ctxt()
401+
&& prev.expn_span.ctxt() == curr.expn_span.ctxt()
400402
{
401403
return;
402404
}
403405

404-
let merged_prefix_len = self.curr_original_span.lo() - self.curr().span.lo();
406+
let merged_prefix_len = self.curr_original_span.lo() - curr.span.lo();
405407
let after_macro_bang = merged_prefix_len + BytePos(visible_macro.as_str().len() as u32 + 1);
406-
let mut macro_name_cov = self.curr().clone();
407-
self.curr_mut().span = self.curr().span.with_lo(self.curr().span.lo() + after_macro_bang);
408+
let mut macro_name_cov = curr.clone();
409+
self.curr_mut().span = curr.span.with_lo(curr.span.lo() + after_macro_bang);
408410
macro_name_cov.span =
409411
macro_name_cov.span.with_hi(macro_name_cov.span.lo() + after_macro_bang);
410412
debug!(
@@ -517,11 +519,14 @@ impl<'a> CoverageSpansGenerator<'a> {
517519
/// extends to the right of the closure, update `prev` to that portion of the span. For any
518520
/// `pending_dups`, repeat the same process.
519521
fn carve_out_span_for_closure(&mut self) {
520-
let curr_span = self.curr().span;
521-
let left_cutoff = curr_span.lo();
522-
let right_cutoff = curr_span.hi();
523-
let has_pre_closure_span = self.prev().span.lo() < right_cutoff;
524-
let has_post_closure_span = self.prev().span.hi() > right_cutoff;
522+
let prev = self.prev();
523+
let curr = self.curr();
524+
525+
let left_cutoff = curr.span.lo();
526+
let right_cutoff = curr.span.hi();
527+
let has_pre_closure_span = prev.span.lo() < right_cutoff;
528+
let has_post_closure_span = prev.span.hi() > right_cutoff;
529+
525530
let mut pending_dups = self.pending_dups.split_off(0);
526531
if has_pre_closure_span {
527532
let mut pre_closure = self.prev().clone();
@@ -576,7 +581,8 @@ impl<'a> CoverageSpansGenerator<'a> {
576581
let initial_pending_count = self.pending_dups.len();
577582
if initial_pending_count > 0 {
578583
let mut pending_dups = self.pending_dups.split_off(0);
579-
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, self.curr()));
584+
let curr = self.curr();
585+
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, curr));
580586
self.pending_dups.append(&mut pending_dups);
581587
if self.pending_dups.len() < initial_pending_count {
582588
debug!(

0 commit comments

Comments
 (0)