diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-10-15 16:39:27 +1100 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-10-16 20:54:16 +1100 |
| commit | d928d3e5d85c850ed2fe07dbeb00b3130ecfe6a5 (patch) | |
| tree | 2f41ed90422e957f6bb70fa630228598e1674d20 /compiler/rustc_mir_transform/src/coverage | |
| parent | 9b6ce4fb3c86b9b1eadf6cef537d17138ec56d1e (diff) | |
| download | rust-d928d3e5d85c850ed2fe07dbeb00b3130ecfe6a5.tar.gz rust-d928d3e5d85c850ed2fe07dbeb00b3130ecfe6a5.zip | |
coverage: Rename `hold_pending_dups_unless_dominated` to `update_pending_dups`
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage')
| -rw-r--r-- | compiler/rustc_mir_transform/src/coverage/spans.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_mir_transform/src/coverage/spans.rs b/compiler/rustc_mir_transform/src/coverage/spans.rs index f9b7e74b0b5..e574ded8e2b 100644 --- a/compiler/rustc_mir_transform/src/coverage/spans.rs +++ b/compiler/rustc_mir_transform/src/coverage/spans.rs @@ -343,7 +343,7 @@ impl<'a> CoverageSpansGenerator<'a> { ); 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 @@ impl<'a> CoverageSpansGenerator<'a> { /// 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())); |
