Skip to content

Commit 336ef61

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 4018abe commit 336ef61

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
@@ -396,17 +396,19 @@ impl<'a> CoverageSpansGenerator<'a> {
396396
}
397397

398398
fn check_invoked_macro_name_span(&mut self) {
399-
let Some(visible_macro) = self.curr().visible_macro(self.body_span) else { return };
399+
let curr = self.curr();
400+
401+
let Some(visible_macro) = curr.visible_macro(self.body_span) else { return };
400402
if let Some(prev) = &self.some_prev
401-
&& prev.expn_span.ctxt() == self.curr().expn_span.ctxt()
403+
&& prev.expn_span.ctxt() == curr.expn_span.ctxt()
402404
{
403405
return;
404406
}
405407

406-
let merged_prefix_len = self.curr_original_span.lo() - self.curr().span.lo();
408+
let merged_prefix_len = self.curr_original_span.lo() - curr.span.lo();
407409
let after_macro_bang = merged_prefix_len + BytePos(visible_macro.as_str().len() as u32 + 1);
408-
let mut macro_name_cov = self.curr().clone();
409-
self.curr_mut().span = self.curr().span.with_lo(self.curr().span.lo() + after_macro_bang);
410+
let mut macro_name_cov = curr.clone();
411+
self.curr_mut().span = curr.span.with_lo(curr.span.lo() + after_macro_bang);
410412
macro_name_cov.span =
411413
macro_name_cov.span.with_hi(macro_name_cov.span.lo() + after_macro_bang);
412414
debug!(
@@ -520,11 +522,14 @@ impl<'a> CoverageSpansGenerator<'a> {
520522
/// extends to the right of the closure, update `prev` to that portion of the span. For any
521523
/// `pending_dups`, repeat the same process.
522524
fn carve_out_span_for_closure(&mut self) {
523-
let curr_span = self.curr().span;
524-
let left_cutoff = curr_span.lo();
525-
let right_cutoff = curr_span.hi();
526-
let has_pre_closure_span = self.prev().span.lo() < right_cutoff;
527-
let has_post_closure_span = self.prev().span.hi() > right_cutoff;
525+
let prev = self.prev();
526+
let curr = self.curr();
527+
528+
let left_cutoff = curr.span.lo();
529+
let right_cutoff = curr.span.hi();
530+
let has_pre_closure_span = prev.span.lo() < right_cutoff;
531+
let has_post_closure_span = prev.span.hi() > right_cutoff;
532+
528533
let mut pending_dups = self.pending_dups.split_off(0);
529534
if has_pre_closure_span {
530535
let mut pre_closure = self.prev().clone();
@@ -579,7 +584,8 @@ impl<'a> CoverageSpansGenerator<'a> {
579584
let initial_pending_count = self.pending_dups.len();
580585
if initial_pending_count > 0 {
581586
let mut pending_dups = self.pending_dups.split_off(0);
582-
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, self.curr()));
587+
let curr = self.curr();
588+
pending_dups.retain(|dup| !self.span_bcb_dominates(dup, curr));
583589
self.pending_dups.append(&mut pending_dups);
584590
if self.pending_dups.len() < initial_pending_count {
585591
debug!(

0 commit comments

Comments
 (0)