Skip to content

rustc_mir_dataflow cleanups, including some renamings #133938

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
bors merged 9 commits into from
Dec 14, 2024
Merged

rustc_mir_dataflow cleanups, including some renamings #133938

Changes from 1 commit
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
0dbb31f
Fix an out-of-date comment.
nnethercote Nov 26, 2024
83f67c5
Remove unused dataflow trait impls and bounds.
nnethercote Dec 5, 2024
d490ea1
Remove lifetimes from `BorrowckDomain`.
nnethercote Nov 26, 2024
086233e
Refer to a couple of domains indirectly.
nnethercote Nov 26, 2024
2298104
Call all `Domain` values `state`.
nnethercote Nov 26, 2024
b059ea8
Rename `EntrySets` as `EntryStates`.
nnethercote Nov 26, 2024
119fbd3
Improve terminology in `elaborate_drops.rs`.
nnethercote Nov 26, 2024
1d56943
Rename some `Analysis` and `ResultsVisitor` methods.
nnethercote Nov 26, 2024
dddc09d
Reorder some `Analysis` methods.
nnethercote Nov 26, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Fix an out-of-date comment.
  • Loading branch information
@nnethercote
nnethercote committed Dec 10, 2024
commit 0dbb31f7e7313cbcccbf7cfaf04b5d926c3491f9
2 changes: 1 addition & 1 deletion compiler/rustc_mir_dataflow/src/impls/initialized.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -377,7 +377,7 @@ impl<'tcx> Analysis<'tcx> for MaybeUninitializedPlaces<'_, 'tcx> {
const NAME: &'static str = "maybe_uninit";

fn bottom_value(&self, _: &mir::Body<'tcx>) -> Self::Domain {
// bottom = initialized (start_block_effect counters this at outset)
// bottom = initialized (`initialize_start_block` overwrites this on first entry)
MixedBitSet::new_empty(self.move_data().move_paths.len())
}

Expand Down