mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coverage: Use variable name this in CoverageGraph::from_mir

Browse Source 
This makes it easier to see that we're manipulating the instance that is being
constructed, and is a lot less verbose than `basic_coverage_blocks`.
This commit is contained in:
Zalathar 2024-01-02 20:40:45 +11:00
parent 397937d812
commit 9137c1e01e
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
compiler/rustc_mir_transform/src/coverage/graph.rs
View File

@ -52,19 +52,18 @@ impl CoverageGraph {
} }
} }
let mut basic_coverage_blocks = let mut this = Self { bcbs, bb_to_bcb, successors, predecessors, dominators: None };
Self { bcbs, bb_to_bcb, successors, predecessors, dominators: None };
let dominators = dominators::dominators(&basic_coverage_blocks); this.dominators = Some(dominators::dominators(&this));
basic_coverage_blocks.dominators = Some(dominators);
// The coverage graph's entry-point node (bcb0) always starts with bb0, // The coverage graph's entry-point node (bcb0) always starts with bb0,
// which never has predecessors. Any other blocks merged into bcb0 can't // which never has predecessors. Any other blocks merged into bcb0 can't
// have multiple (coverage-relevant) predecessors, so bcb0 always has // have multiple (coverage-relevant) predecessors, so bcb0 always has
// zero in-edges. // zero in-edges.
assert!(basic_coverage_blocks[START_BCB].leader_bb() == mir::START_BLOCK); assert!(this[START_BCB].leader_bb() == mir::START_BLOCK);
assert!(basic_coverage_blocks.predecessors[START_BCB].is_empty()); assert!(this.predecessors[START_BCB].is_empty());
basic_coverage_blocks this
} }
fn compute_basic_coverage_blocks( fn compute_basic_coverage_blocks(