rust/tests/ui/mir-dataflow, branch betahttps://github.com/rust-lang/rust
http://git.dreamy.place/mirrors/rust/atom?h=beta2025-04-15T22:57:15+00:00Improve `borrowck_graphviz_*` documentation.2025-04-15T22:57:15+00:00Nicholas Nethercoten.nethercote@gmail.com2025-04-15T22:57:15+00:00urn:sha1:62882f355e50f9af3ddb84661dfad0559848a3f5
In particular, `borrowck_graphviz_preflow` no longer exists.
compiletest: Support matching on diagnostics without a span2025-03-25T14:33:09+00:00Vadim Petrochenkovvadim.petrochenkov@gmail.com2025-03-23T12:50:51+00:00urn:sha1:8d5109aa6ea1b54a560774eb95ba7c1b8d404faaRemove the `DefinitelyInitializedPlaces` analysis.2024-11-22T06:02:04+00:00Nicholas Nethercoten.nethercote@gmail.com2024-11-22T03:39:29+00:00urn:sha1:ae9ac0e383b8054ccded79ce26e48a14b485cb3c
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.
Move /src/test to /tests2023-01-11T09:32:08+00:00Albert Larsan74931857+albertlarsan68@users.noreply.github.com2023-01-05T08:13:28+00:00urn:sha1:cf2dff2b1e3fa55fa5415d524200070d0d7aacfe