diff options
| author | Michael Goulet <michael@errs.io> | 2024-11-26 12:03:42 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-11-26 12:03:42 -0500 |
| commit | 3e1a08925744cfcf1a211c1257f2b44f31e6be46 (patch) | |
| tree | 1cad233666c745de6e7e7733d0b4440a97017d97 /compiler/rustc_codegen_llvm/src/back/write.rs | |
| parent | 3013cd83ccb67d7988440e9fa7d9d7df6980bc83 (diff) | |
| parent | ae9ac0e383b8054ccded79ce26e48a14b485cb3c (diff) | |
| download | rust-3e1a08925744cfcf1a211c1257f2b44f31e6be46.tar.gz rust-3e1a08925744cfcf1a211c1257f2b44f31e6be46.zip | |
Rollup merge of #133326 - nnethercote:rm-DefinitelyInitializedPlaces, r=cjgillot
Remove the `DefinitelyInitializedPlaces` analysis. Its only use is in the `tests/ui/mir-dataflow/def_inits-1.rs` where it is tested via `rustc_peek_definite_init`. Also, it's probably buggy. It's supposed to be the inverse of `MaybeUninitializedPlaces`, and it mostly is, except that `apply_terminator_effect` is a little different, and `apply_switch_int_edge_effects` is missing. Unlike `MaybeUninitializedPlaces`, which is used extensively in borrow checking, any bugs in `DefinitelyInitializedPlaces` are easy to overlook because it is only used in one small test. This commit removes the analysis. It also removes `rustc_peek_definite_init`, `Dual` and `MeetSemiLattice`, all of which are no longer needed. r? ``@cjgillot``
Diffstat (limited to 'compiler/rustc_codegen_llvm/src/back/write.rs')
0 files changed, 0 insertions, 0 deletions