about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius
AgeCommit message (Expand)AuthorLines
2025-07-06Rollup merge of #143477 - folkertdev:use-is-multiple-of, r=joshtriplettMatthias Krüger-1/+1
2025-07-05use `is_multiple_of` instead of manual moduloFolkert de Vries-1/+1
2025-07-04Remove Symbol for Named LateParam/Bound variantsMichael Goulet-7/+10
2025-06-04Use an enum for SCC representatives, plus other code reviewAmanda Stjerna-1/+1
2025-06-03Move placeholder handling to a proper preprocessing stepAmanda Stjerna-3/+3
2025-04-28AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}...Andrew Zhogin-1/+8
2025-04-11move `dump_polonius_mir`lcnr-1/+1
2025-04-08Auto merge of #139536 - matthiaskrgr:rollup-j6goald, r=matthiaskrgrbors-2/+2
2025-04-08move `ClosureRegionRequirements` to `rustc_borrowck`lcnr-2/+2
2025-04-07rm `RegionInferenceContext::var_infos`lcnr-2/+2
2025-02-22Greatly simplify lifetime captures in edition 2024Michael Goulet-1/+1
2025-02-21Make `PassWhere` impl `Copy`.Nicholas Nethercote-1/+1
2025-02-03Rollup merge of #136299 - lqd:polonius-next-episode-9, r=jackh726Matthias Krüger-44/+81
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-0/+4
2025-01-31record boring locals in polonius contextRémy Rakic-16/+26
2025-01-31create context for errors and diagnostics for last borrowck phaseRémy Rakic-10/+20
2025-01-31split polonius context into per-phase dataRémy Rakic-30/+47
2025-01-30add constraint graph to polonius MIR dumpRémy Rakic-9/+101
2025-01-29Rollup merge of #136104 - lqd:polonius-debugger-episode-2, r=matthewjasperLeón Orell Valerian Liehr-5/+136
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-11/+10
2025-01-26tidy up html structureRémy Rakic-4/+4
2025-01-26add NLL SCCs to polonius MIR dumpRémy Rakic-0/+49
2025-01-26add NLL region graph to the polonius MIR dumpRémy Rakic-1/+83
2025-01-25add CFG to polonius MIR dumpRémy Rakic-2/+71
2025-01-25switch polonius MIR dump to HTMLRémy Rakic-9/+67
2025-01-25use more explicit MIR dumping processRémy Rakic-4/+36
2025-01-19Auto merge of #135709 - lqd:bring-back-len, r=compiler-errorsbors-2/+7
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-2/+7
2025-01-17encode `Locations::All` typeck constraints as logical edgesRémy Rakic-25/+49
2025-01-17make `LocalizedConstraintGraph` a struct and not an aliasRémy Rakic-21/+23
2025-01-12deal with naive reachability weaknessRémy Rakic-13/+82
2025-01-12handle kills in reachabilityRémy Rakic-7/+126
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-4/+3
2025-01-12introduce reachability to the constraint graphRémy Rakic-5/+107
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-21/+21
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-32/+32
2025-01-06address review commentsRémy Rakic-21/+31
2025-01-01remove borrowck duplicate of `std::ops::ControlFlow`Rémy Rakic-2/+4
2025-01-01remove `allow_two_phase_borrow`Rémy Rakic-2/+2
2025-01-01localize typeck constraintsRémy Rakic-3/+196
2025-01-01move typeck constraints conversion to its own moduleRémy Rakic-39/+44
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-7/+258
2024-12-30simplify `add_extra_drop_facts`Rémy Rakic-1/+8
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-4/+112
2024-12-29address review commentsRémy Rakic-6/+23
2024-12-29liveness constraints: draw the rest of the owlRémy Rakic-71/+180
2024-12-29finish filling polonius contextRémy Rakic-6/+25
2024-12-29add variance recordingRémy Rakic-0/+126
2024-12-29introduce polonius contextRémy Rakic-27/+66
2024-12-22Delete `Rvalue::Len`Scott McMurray-7/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-23 16:08:59 +0000