about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow
AgeCommit message (Expand)AuthorLines
2024-04-20Add a non-shallow fake borrowNadrieril-1/+1
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
2024-04-03rustc_index: Add a `ZERO` constant to index typesVadim Petrochenkov-5/+5
2024-03-23refactor check_{lang,library}_ub: use a single intrinsic, put policy into lib...Ralf Jung-1/+1
2024-03-22Programmatically convert some of the pat ctorsMichael Goulet-2/+2
2024-03-22Eagerly convert some ctors to use their specialized ctorsMichael Goulet-7/+2
2024-03-20step cfgsMark Rousskov-1/+0
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+1
2024-03-08Rollup merge of #119365 - nbdd0121:asm-goto, r=AmanieuMatthias Krüger-9/+16
2024-03-04Return a struct from `query intrinsic` to be able to add another field in the...Oli Scherer-1/+1
2024-02-24Implement asm goto in MIR and MIR loweringGary Guo-2/+4
2024-02-24Change InlineAsm to allow multiple targets insteadGary Guo-7/+12
2024-02-16Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkinbors-2/+1
2024-02-13Rollup merge of #120802 - oli-obk:drop_elab_ice, r=compiler-errorsMatthias Krüger-1/+4
2024-02-12Make `is_intrinsic` query return the intrinsic nameOli Scherer-2/+1
2024-02-10Remove unnecessary `min_specialization` after bootstrapZalathar-1/+1
2024-02-09Auto merge of #120843 - matthiaskrgr:rollup-med37z5, r=matthiaskrgrbors-2/+0
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-2/+0
2024-02-08Bail out of drop elaboration when encountering error typesOli Scherer-1/+4
2024-02-08Add a new debug_assertions instrinsic (compiler)Ben Kimock-1/+4
2024-02-06More comments, final tweaksMichael Goulet-0/+3
2024-02-06Teach typeck/borrowck/solvers how to deal with async closuresMichael Goulet-0/+3
2024-02-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+9
2024-02-06Invert diagnostic lints.Nicholas Nethercote-2/+0
2024-01-25Remove unused featuresclubby789-3/+1
2024-01-22Use a plain bitset for liveness analyses.Camille GILLOT-10/+17
2024-01-20Add a warning commentGeorgiy Komarov-0/+2
2024-01-20rustc_mir_dataflow: Add exports for external toolsGeorgiy Komarov-3/+3
2024-01-17Rollup merge of #115291 - cjgillot:dest-prop-save, r=JakobDegenMatthias Krüger-0/+157
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-3/+8
2024-01-07Use for_each instead of fold.Camille GILLOT-2/+2
2024-01-07Fix comment.Camille GILLOT-3/+1
2024-01-07Do not recompute liveness for DestinationPropagation.Camille GILLOT-1/+65
2024-01-07Move PointIndex to mir_dataflow.Camille GILLOT-0/+95
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-3/+3
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-12/+14
2023-12-21Don't require owned data in `MaybeStorageDead`Tomasz Miąsko-6/+6
2023-12-15NFC don't convert types to identical typesMatthias Krüger-5/+1
2023-12-10remove redundant importssurechen-2/+0
2023-12-08Tweak `GenKillAnalysis`.Nicholas Nethercote-19/+22
2023-12-08Remove `impl_visitable!`.Nicholas Nethercote-2/+2
2023-12-08Remove unused arguments from `ResultsVisitor::visit_block_{start,end}`.Nicholas Nethercote-34/+8
2023-11-27Deparameterize `Results` and `ResultsCursor`.Nicholas Nethercote-72/+27
2023-11-27Remove `ResultsCloned` and `ResultsClonedCursor`.Nicholas Nethercote-26/+4
2023-11-27Remove uses of `ResultsClonedCursor`.Nicholas Nethercote-14/+14
2023-11-27Remove `ResultsRefCursor`.Nicholas Nethercote-29/+2
2023-11-27Remove another use of `as_results_cursor`.Nicholas Nethercote-40/+62
2023-11-27Remove `CloneAnalysis`.Nicholas Nethercote-29/+5
2023-11-27Remove some unused code relating to `ResultsCloned`.Nicholas Nethercote-39/+2
2023-11-27Use typedefs to clarify some impls.Nicholas Nethercote-2/+5