about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/dataflow.rs
AgeCommit message (Expand)AuthorLines
2025-08-20handle opaque types before region inferencelcnr-42/+2
2025-06-13use `MixedBitSet` for borrows-in-scope computationRémy Rakic-3/+3
2025-01-12move out of scope precomputer codeRémy Rakic-34/+32
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-36/+27
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-7/+7
2024-12-16Simplify dataflow `SwitchInt` handling.Nicholas Nethercote-11/+1
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-20/+20
2024-12-10Call all `Domain` values `state`.Nicholas Nethercote-15/+15
2024-12-10Remove lifetimes from `BorrowckDomain`.Nicholas Nethercote-9/+14
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+1
2024-11-05Replace `BorrowckResults` with `Borrowck`.Nicholas Nethercote-41/+119
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-2/+2
2024-10-14Add defaults for `Analysis::apply_{call_return_effect,terminator_effect}`.Nicholas Nethercote-11/+1
2024-10-14Merge `AnalysisDomain` into `Analysis`.Nicholas Nethercote-16/+14
2024-10-14Remove `GenKillAnalysis`.Nicholas Nethercote-12/+6
2024-10-14Minimize use of `GenKill`.Nicholas Nethercote-2/+6
2024-10-14Tweak `GenKillAnalysis` method arguments.Nicholas Nethercote-2/+2
2024-10-02make `Borrows` dataflow dumps about its loan domainRémy Rakic-11/+1
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-1/+1
2024-09-14Rollup merge of #130294 - nnethercote:more-lifetimes, r=lcnrLeón Orell Valerian Liehr-10/+10
2024-09-13Rename `FlowState` as `Domain`.Nicholas Nethercote-12/+11
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-10/+10
2024-09-09Remove unnecessary lifetimes in dataflow structs.Nicholas Nethercote-20/+19
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+1
2024-08-16Add `warn(unreachable_pub)` to `rustc_borrowck`.Nicholas Nethercote-2/+2
2024-07-29Reformat `use` declarations.Nicholas Nethercote-6/+5
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-1/+1
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-20/+20
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-3/+3
2024-04-14Make `depth_first_search` into a standalone functionMaybe Waffle-2/+2
2024-04-14Merge `{With,Graph}{Successors,Predecessors}` into `{Successors,Predecessors}`Maybe Waffle-1/+1
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2023-12-10remove redundant importssurechen-1/+1
2023-12-08Tweak `GenKillAnalysis`.Nicholas Nethercote-2/+2
2023-12-08Remove `BorrowckAnalyses`.Nicholas Nethercote-28/+18
2023-12-08Remove `impl_visitable!`.Nicholas Nethercote-65/+62
2023-12-01improve NLL/polonius scope equality assertionRémy Rakic-1/+2
2023-11-25Auto merge of #118203 - nnethercote:rustc_mir_dataflow, r=cjgillotbors-17/+17
2023-11-23Use `'mir` lifetime name more.Nicholas Nethercote-17/+17
2023-11-22Replace `no_ord_impl` with `orderable`.Nicholas Nethercote-0/+1
2023-11-04traverse region graph instead of SCCs to compute polonius loan scopesRémy Rakic-3/+3
2023-10-20consider a loan escapes the function via applied member constraintsRémy Rakic-7/+14
2023-10-05compute NLL loan scopes with liveness in `-Zpolonius=next`Rémy Rakic-1/+183
2023-10-05add note why a function is pubRémy Rakic-0/+1
2023-10-04document Borrows dataflow analysisRémy Rakic-0/+7
2023-10-04rename ancient regioncxRémy Rakic-2/+2
2023-08-16Make TerminatorEdge plural.Camille GILLOT-2/+2
2023-08-16Allow apply_terminator_effect to customize edges.Camille GILLOT-6/+9
2023-08-16Move domain_size to GenKillAnalysis.Camille GILLOT-0/+4
2023-07-25inline format!() args from rustc_codegen_llvm to the end (4)Matthias Krüger-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2025-10-28 00:20:08 +0000