about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/impls/initialized.rs
AgeCommit message (Expand)AuthorLines
2025-08-02Rollup merge of #144478 - joshtriplett:doc-code-formatting-prep, r=AmanieuSamuel Tardieu-0/+3
2025-07-28use let chains in hir, lint, mirKivooeo-8/+5
2025-07-25Skip formatting for some compiler documentation codeJosh Triplett-0/+3
2025-07-08Apply effects to otherwise edge in dataflow analysisAmogh Shivaram-22/+66
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-1/+8
2025-02-17Remove `SwitchIntTarget`.Nicholas Nethercote-5/+4
2025-02-17Add `SwitchTargetValue`.Nicholas Nethercote-3/+5
2025-02-14Move drop elaboration infrastructure.Nicholas Nethercote-1/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-4/+4
2024-12-16Factor out some shared code from `Maybe{In,Unin}itializedPlaces`.Nicholas Nethercote-60/+53
2024-12-16Simplify dataflow `SwitchInt` handling.Nicholas Nethercote-58/+79
2024-12-16Add a comment to `MaybeInitializedPlaces::apply_terminator_effect`.Nicholas Nethercote-0/+2
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-6/+6
2024-12-10Call all `Domain` values `state`.Nicholas Nethercote-35/+35
2024-12-10Refer to a couple of domains indirectly.Nicholas Nethercote-1/+1
2024-12-10Remove lifetimes from `BorrowckDomain`.Nicholas Nethercote-6/+10
2024-12-10Fix an out-of-date comment.Nicholas Nethercote-1/+1
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-11/+11
2024-11-22Remove the `DefinitelyInitializedPlaces` analysis.Nicholas Nethercote-137/+9
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-18/+9
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-43/+19
2024-10-14Minimize use of `GenKill`.Nicholas Nethercote-7/+7
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-4/+4
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-4/+4
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-23/+23
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-1/+3
2024-07-29Stop using MoveDataParamEnv for places that don't need a param-envMichael Goulet-34/+26
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+5
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-9/+9
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-23/+31
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_dataflow`.Nicholas Nethercote-0/+1
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-01-22Use a plain bitset for liveness analyses.Camille GILLOT-0/+7
2023-12-08Tweak `GenKillAnalysis`.Nicholas Nethercote-4/+4
2023-11-24Remove unused arguments from `on_all_children_bits`.Nicholas Nethercote-24/+13
2023-11-24Remove unused `EverInitializedPlaces::tcx` field.Nicholas Nethercote-4/+2
2023-11-21Fix `clippy::needless_borrow` in the compilerNilstrieb-2/+2
2023-10-21Remove on_all_drop_children_bits.Camille GILLOT-2/+2
2023-10-21Avoid using a magic value for untracked locals.Camille GILLOT-3/+7
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-08-16Make TerminatorEdge plural.Camille GILLOT-7/+7
2023-08-16Rename MaybeUnreachable.Camille GILLOT-7/+6
2023-08-16Only run MaybeInitializedPlaces once for drop elaboration.Camille GILLOT-9/+63
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-21/+25
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-0/+16
2023-08-16Move initialization dataflow impls into their own module.Camille GILLOT-0/+705