about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius
AgeCommit message (Expand)AuthorLines
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
2024-12-18address review commentsRémy Rakic-18/+19
2024-12-18introduce beginnings of polonius MIR dumpRémy Rakic-0/+103
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-1/+142
2024-12-18add general documentation on the polonius moduleRémy Rakic-0/+35
2024-12-18introduce localized outlives constraintsRémy Rakic-0/+48
2024-12-15improve consistency within fact genRémy Rakic-46/+44
2024-12-15simplify `emit_outlives_facts`Rémy Rakic-6/+5
2024-12-15simplify `emit_access_facts` and fact generationRémy Rakic-50/+21
2024-12-15use let else more consistently in fact generationRémy Rakic-49/+43
2024-12-15clean up `translate_outlives_facts`Rémy Rakic-0/+33
2024-12-15clean up `emit_drop_facts`Rémy Rakic-2/+22
2024-12-15clean up `emit_access_facts`Rémy Rakic-0/+109
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-184/+185
2024-11-20reduce false positives of tail-expr-drop-order from consumed valuesDing Xiang Fei-0/+1
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-11/+4
2024-10-06various fixes for `naked_asm!` implementationFolkert de Vries-0/+1
2024-09-13Rename and reorder lots of lifetimes.Nicholas Nethercote-14/+14
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+3
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-1/+1
2024-07-29Reformat `use` declarations.Nicholas Nethercote-8/+13
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+6
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-2/+2
2024-05-21Auto merge of #125284 - compiler-errors:uplift-misc, r=lcnrbors-4/+6
2024-05-20Uplift RegionVidMichael Goulet-4/+6
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-2/+1
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-04-20Add a non-shallow fake borrowNadrieril-6/+13
2024-02-24Implement asm goto in MIR and MIR loweringGary Guo-1/+2
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-1/+1
2024-02-12remove a bunch of dead parameters in fnyukang-1/+0
2024-02-06Invert diagnostic lints.Nicholas Nethercote-4/+0
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+1
2023-11-26move remaining legacy polonius fact generation out of NLL moduleRémy Rakic-18/+40
2023-11-26small polish of loan invalidations fact generationRémy Rakic-22/+12
2023-11-26rename polonius constraint generation to what it actually does: emit loan killsRémy Rakic-28/+20
2023-11-26simplify polonius constraint generationRémy Rakic-106/+82
2023-11-26remove NLL liveness from polonius constraint generationRémy Rakic-80/+7
2023-11-26extract polonius "constraint generation"Rémy Rakic-2/+272
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-0/+582
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-24 21:24:32 +0000