about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src
AgeCommit message (Expand)AuthorLines
2024-08-18rename AddressOf -> RawBorrow inside the compilerRalf Jung-7/+7
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-2/+2
2024-08-11Use assert_matches around the compilerMichael Goulet-3/+7
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-2/+2
2024-07-29Stop using MoveDataParamEnv for places that don't need a param-envMichael Goulet-44/+32
2024-07-29Reformat `use` declarations.Nicholas Nethercote-65/+59
2024-07-19Avoid ref when using format! in compilerYuri Astrakhan-1/+1
2024-07-14Stop using the gen keyword in the compilerMichael Goulet-36/+36
2024-07-13Propagate places through assignments.Camille GILLOT-10/+109
2024-07-13Create mapped places upon seeing them in the body.Camille GILLOT-122/+117
2024-07-07Support tail calls in mir via `TerminatorKind::TailCall`Maybe Waffle-0/+12
2024-07-03Auto merge of #127036 - cjgillot:sparse-state, r=oli-obkbors-75/+127
2024-07-01Make jump threading state sparse.Camille GILLOT-33/+72
2024-07-01Swap encapsulation of DCP state.Camille GILLOT-68/+81
2024-07-01Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercotebors-23/+31
2024-06-29Stop ICEing on impossible predicates.Camille GILLOT-2/+3
2024-06-26Split lifetimes on mir borrowck dataflowOli Scherer-23/+31
2024-06-21Save 2 pointers in `TerminatorKind` (96 → 80 bytes)Scott McMurray-6/+4
2024-06-14Use is_lang_item more aggressivelyMichael Goulet-2/+1
2024-06-12Use `tidy` to sort crate attributes for all compiler crates.Nicholas Nethercote-0/+2
2024-05-23Remove `#[macro_use] extern crate tracing` from `rustc_mir_dataflow`.Nicholas Nethercote-3/+7
2024-05-17Remove `Rvalue::CheckedBinaryOp`Scott McMurray-4/+1
2024-05-02Inline & delete `Ty::new_unit`, since it's just a field accessWaffle Lapkin-1/+1
2024-04-30Rollup merge of #124511 - nnethercote:rm-extern-crates, r=fee1-deadMatthias Krüger-2/+5
2024-04-29Rollup merge of #124185 - beepster4096:move_data_base_local_infallible, r=pnk...Matthias Krüger-10/+5
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-2/+5
2024-04-20Add a non-shallow fake borrowNadrieril-1/+1
2024-04-19remove optionality from MoveData::base_localbeepster4096-10/+5
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