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

coverage: Rename hold_pending_dups_unless_dominated to update_pending_dups

Browse Source
This commit is contained in:
Zalathar 2023-10-15 16:39:27 +11:00
parent 9b6ce4fb3c
commit d928d3e5d8
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_mir_transform/src/coverage/spans.rs
View File

@ -343,7 +343,7 @@ fn to_refined_spans(mut self) -> Vec<CoverageSpan> {
);
self.take_curr();
} else {
self.hold_pending_dups_unless_dominated();
self.update_pending_dups();
}
} else {
self.cutoff_prev_at_overlapping_curr();
@ -585,7 +585,7 @@ fn carve_out_span_for_closure(&mut self) {
/// neither `CoverageSpan` dominates the other, both (or possibly more than two) are held,
/// until their disposition is determined. In this latter case, the `prev` dup is moved into
/// `pending_dups` so the new `curr` dup can be moved to `prev` for the next iteration.
fn hold_pending_dups_unless_dominated(&mut self) {
fn update_pending_dups(&mut self) {
// Equal coverage spans are ordered by dominators before dominated (if any), so it should be
// impossible for `curr` to dominate any previous `CoverageSpan`.
debug_assert!(!self.span_bcb_dominates(self.curr(), self.prev()));