about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/impls/borrowed_locals.rs
AgeCommit message (Expand)AuthorLines
2025-09-16Remove Rvalue::Len.Camille Gillot-1/+0
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-6/+6
2024-12-22Delete `Rvalue::Len`Scott McMurray-1/+0
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-2/+2
2024-12-10Call all `Domain` values `state`.Nicholas Nethercote-4/+4
2024-11-26Remove `self` param for `MaybeBorrowedLocals::transfer_function`.Nicholas Nethercote-3/+3
2024-10-14Add defaults for `Analysis::apply_{call_return_effect,terminator_effect}`.Nicholas Nethercote-8/+0
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-4/+2
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-11/+5
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-1/+1
2024-09-13Remove unnecessary `Clone`/`Copy` derives from analyses.Nicholas Nethercote-1/+1
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-4/+4
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+1
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-1/+0
2024-04-20Add a non-shallow fake borrowNadrieril-1/+1
2023-12-08Tweak `GenKillAnalysis`.Nicholas Nethercote-1/+1
2023-11-08rename `BorrowKind::Shallow` to `Fake`lcnr-1/+1
2023-11-08generator layout: ignore fake borrowslcnr-2/+7
2023-10-20s/generator/coroutine/Oli Scherer-1/+1
2023-10-20s/Generator/Coroutine/Oli Scherer-1/+1
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-1/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-08-16Make TerminatorEdge plural.Camille GILLOT-1/+1
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-7/+7
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-0/+4
2023-08-16Move initialization dataflow impls into their own module.Camille GILLOT-25/+26
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-3/+4
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-2/+1
2023-02-06Only exclude locals if the place is not indirect.Camille GILLOT-1/+3
2022-07-12add new rval, pull deref earlyouz-a-1/+2
2022-06-12Merge arms in borrowed locals transfer functionTomasz Miąsko-7/+1
2022-06-12Remove duplicated implementations of borrowed locals analysisTomasz Miąsko-0/+20
2022-02-17Remove unused `unsound_ignore_borrow_on_drop`Tomasz Miąsko-34/+11
2021-12-16Remove `in_band_lifetimes` from `rustc_mir_dataflow`LegionMammal978-3/+3
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-4/+2
2021-11-03Remove `MaybeMutBorrowedLocals`Tomasz Miąsko-117/+15
2021-09-25Introduce `Rvalue::ShallowInitBox`Gary Guo-0/+1
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-0/+273