about summary refs log tree commit diff
path: root/compiler/rustc_mir_dataflow/src/move_paths/builder.rs
AgeCommit message (Expand)AuthorLines
2024-04-08Actually create ranged int types in the type system.Oli Scherer-0/+2
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-1/+1
2024-03-08Distinguish between library and lang UB in assert_unsafe_preconditionBen Kimock-1/+1
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-13Rollup merge of #120802 - oli-obk:drop_elab_ice, r=compiler-errorsMatthias Krüger-1/+4
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-06Add CoroutineClosure to TyKind, AggregateKind, UpvarArgsMichael Goulet-2/+6
2024-01-15compiler: Lower fn call arg spans down to MIRMartin Nordholts-1/+1
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-2/+2
2023-10-21Use terse form for Fn bound.Camille GILLOT-16/+4
2023-10-21Parametrize gather_moves by filter.Camille GILLOT-57/+80
2023-10-21Stop computing error info in move path builder.Camille GILLOT-42/+25
2023-10-21Avoid using a magic value for untracked locals.Camille GILLOT-17/+17
2023-10-21Do not report errors from move path builder.Camille GILLOT-13/+5
2023-10-20s/Generator/Coroutine/Oli Scherer-5/+5
2023-10-02have better explanation for `relate_types`ouz-a-4/+3
2023-10-02Add docs, remove code, change subtyper codeouz-a-4/+5
2023-10-02subtyping_projectionsouz-a-0/+3
2023-09-23Remove GeneratorWitness and rename GeneratorWitnessMIR.Camille GILLOT-4/+2
2023-09-22match array for constantindex and subsliceouz-a-8/+9
2023-09-22better bug messageouz-a-3/+7
2023-09-22remove inner matchouz-a-6/+4
2023-09-12very verbose error handlingouz-a-20/+86
2023-09-12match on elem firstouz-a-33/+45
2023-08-24when terminating during unwinding, show the reason whyRalf Jung-1/+1
2023-08-20give some unwind-related terminators a more clear nameRalf Jung-2/+2
2023-07-10optimization round 2DrMeepster-8/+14
2023-07-04bring back un_derefer and rewrite it againDrMeepster-53/+54
2023-06-29Merge `un_derefer` into `MovePathLookup`DrMeepster-79/+66
2023-06-27Auto merge of #112693 - ericmarkmartin:use-more-placeref, r=spastorinobors-14/+5
2023-06-25use PlaceRef abstractions more consistentlyEric Mark Martin-14/+5
2023-06-18Better error for non const `PartialEq` call generated by `match`Deadbeef-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-21offset_ofDrMeepster-1/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-1/+1
2023-04-06Refactor unwind from Option to a new enumGary Guo-2/+2
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+1
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-5/+0
2023-02-24Rename many interner functions.Nicholas Nethercote-3/+3
2023-02-14s/eval_usize/eval_target_usize/ for clarityOli Scherer-1/+3
2023-02-08Rollup merge of #107271 - Zeegomo:drop-rmw, r=oli-obkMatthias Krüger-5/+2
2023-01-30Treat Drop as a rmw operationGiacomo Pasini-5/+2
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-0/+1
2022-09-06Generalize the Assume intrinsic statement to a general Intrinsic statementOli Scherer-2/+1
2022-09-06Lower the assume intrinsic to a MIR statementOli Scherer-0/+1
2022-08-26Replace `Body::basic_blocks()` with field accessTomasz Miąsko-1/+1
2022-07-28type alias covers whole returnouz-a-5/+6