about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/impls
AgeCommit message (Expand)AuthorLines
2025-07-28use let chains in hir, lint, mirKivooeo-8/+5
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-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-1/+2
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-0/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-34/+34
2024-12-22Delete `Rvalue::Len`Scott McMurray-1/+0
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-13Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obkMatthias Krüger-117/+122
2024-12-10Rollup merge of #134065 - nnethercote:mv-write_graphviz_results, r=tmiaskoLeón Orell Valerian Liehr-4/+0
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-18/+18
2024-12-10Call all `Domain` values `state`.Nicholas Nethercote-90/+90
2024-12-10Refer to a couple of domains indirectly.Nicholas Nethercote-1/+1
2024-12-10Remove lifetimes from `BorrowckDomain`.Nicholas Nethercote-7/+12
2024-12-10Fix an out-of-date comment.Nicholas Nethercote-1/+1
2024-12-09Remove an out-of-date comment.Nicholas Nethercote-4/+0
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-11/+11
2024-11-26Rollup merge of #133475 - nnethercote:MaybeStorage-improvements, r=lcnrMichael Goulet-5/+21
2024-11-26Rollup merge of #133326 - nnethercote:rm-DefinitelyInitializedPlaces, r=cjgillotMichael Goulet-139/+10
2024-11-26Move `always_storage_live_locals`.Nicholas Nethercote-1/+20
2024-11-26Improve `MaybeStorageLive::initialize_start_block`.Nicholas Nethercote-4/+1
2024-11-26Tweak `MaybeBorrowedLocals::transfer_function` usage.Nicholas Nethercote-1/+1
2024-11-26Remove `self` param for `MaybeBorrowedLocals::transfer_function`.Nicholas Nethercote-7/+4
2024-11-22Remove the `DefinitelyInitializedPlaces` analysis.Nicholas Nethercote-139/+10
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+2
2024-10-14Add defaults for `Analysis::apply_{call_return_effect,terminator_effect}`.Nicholas Nethercote-46/+0
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-44/+19
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-102/+63
2024-10-14Minimize use of `GenKill`.Nicholas Nethercote-30/+25
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-25/+10
2024-10-14Remove `ResultsCursor::contains`.Nicholas Nethercote-1/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-5/+5
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-4/+4
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-4/+4
2024-09-13Remove unnecessary `Clone`/`Copy` derives from analyses.Nicholas Nethercote-4/+1
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-23/+23
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-4/+4
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-13/+11
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-21/+21
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+3
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