summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/dataflow.rs
AgeCommit message (Expand)AuthorLines
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
2023-06-28Rollup merge of #112236 - cjgillot:interval-kill, r=davidtwcoDylan DPC-51/+43
2023-06-08Auto merge of #108293 - Jarcho:mut_analyses, r=eholkbors-9/+9
2023-06-02Simplify pre-order algorithm.Camille GILLOT-51/+43
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-15/+20
2023-05-23Allow consumers to retrieve borrowck outputJonáš Fiala-15/+20
2023-05-19Leverage the interval property to precompute borrow kill points.Camille GILLOT-49/+46
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-9/+9
2023-05-09Reduce BitSet size used in `Borrows` dataflow analysisvlad20012-1/+1
2023-04-13Remove `impl ToRegionVid for RegionVid`.Nicholas Nethercote-4/+2
2023-03-15unequal → not equalgimbles-1/+1
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+1
2023-03-05Remove `allow(potential_query_instability)` from `borrowck`clubby789-4/+4
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+1
2022-12-18A few small cleanups for `newtype_index`Nilstrieb-2/+1
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-1/+1
2022-12-06`rustc_borrowck`: remove `ref` patternsMaybe Waffle-5/+5
2022-11-09lint auto passAndyJado-0/+2
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-2/+1
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+1
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-05-20Remove `crate` visibility usage in compilerJacob Pratt-1/+1
2022-05-17Change `Successors` to `impl Iterator<Item = BasicBlock>`SparrowLii-1/+1
2022-04-11Add new `Deinit` statement kindJakob Degen-0/+1
2022-03-30Spellchecking compiler codeYuri Astrakhan-2/+2
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-9/+0
2021-12-03Add initial AST and MIR support for unwinding from inline assemblyAmanieu d'Antras-4/+2
2021-10-08clippy::complexity fixesMatthias Krüger-1/+1
2021-09-07Move the dataflow framework to its own crate.Camille GILLOT-6/+6
2021-09-07Move rustc_mir::borrow_check to new crate rustc_borrowck.Camille GILLOT-0/+448
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-25 18:09:17 +0000