summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/polonius
AgeCommit message (Collapse)AuthorLines
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
That is, change `diagnostic_outside_of_impl` and `untranslatable_diagnostic` from `allow` to `deny`, because more than half of the compiler has be converted to use translated diagnostics. This commit removes more `deny` attributes than it adds `allow` attributes, which proves that this change is warranted.
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+1
To enable improved accuracy of diagnostics in upcoming commits.
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
to help review, this duplicates the existing NLL + polonius constraint generation component, before splitting them up to only do what they individually need.
2023-11-26extract polonius loan invalidations fact generationRémy Rakic-0/+582
and move the polonius module to the borrowck root