summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/syntax.rs
AgeCommit message (Expand)AuthorLines
2023-06-03add FIXMElcnr-0/+5
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-1/+5
2023-05-17Drive-by cleanup: `debug::term_type` => `TerminatorKind::name`Maybe Waffle-0/+23
2023-05-01Box AssertKindBen Kimock-1/+1
2023-04-24Split `{Idx, IndexVec, IndexSlice}` into their own modulesMaybe Waffle-1/+1
2023-04-22Auto merge of #104844 - cjgillot:mention-eval-place, r=jackh726,RalfJungbors-3/+2
2023-04-21Actually keep `PlaceMention` if requested.Camille GILLOT-2/+0
2023-04-21Evaluate place expression in `PlaceMention`.Camille GILLOT-1/+2
2023-04-21intern offsetof fieldsDrMeepster-4/+4
2023-04-21offset_ofDrMeepster-2/+4
2023-04-17Spelling - compilerJosh Soref-2/+2
2023-04-06Address review feedbackGary Guo-3/+1
2023-04-06Rename `Abort` terminator to `Terminate`Gary Guo-4/+4
2023-04-06Add `UnwindAction::Terminate`Gary Guo-0/+4
2023-04-06Add `UnwindAction::Unreachable`Gary Guo-3/+8
2023-04-06Refactor unwind from Option to a new enumGary Guo-15/+26
2023-04-01Use `FieldIdx` in various things related to aggregatesScott McMurray-3/+4
2023-03-31Auto merge of #98112 - saethlin:mir-alignment-checks, r=oli-obkbors-0/+1
2023-03-28Move `mir::Field` → `abi::FieldIdx`Scott McMurray-3/+11
2023-03-23A MIR transform that checks pointers are alignedBen Kimock-0/+1
2023-03-22Add `CastKind::Transmute` to MIRScott McMurray-0/+7
2023-03-21Rollup merge of #109408 - RalfJung:retags, r=compiler-errorsnils-1/+2
2023-03-20not *all* retags might be explicit in Runtime MIRRalf Jung-1/+2
2023-03-20Fix off-by-one in mir syntax docAndy Wang-1/+1
2023-03-16Tweak implementation of overflow checking assertionsTomasz Miąsko-2/+1
2023-03-16Rollup merge of #109180 - gimbles:master, r=compiler-errorsMatthias Krüger-1/+1
2023-03-15Auto merge of #108282 - cjgillot:mir-checked-sh, r=tmiaskobors-4/+0
2023-03-15unequal → not equalgimbles-1/+1
2023-03-09Pacify tidy.Camille GILLOT-2/+2
2023-03-09Introduce a no-op PlaceMention statement for `let _ =`.Camille GILLOT-0/+9
2023-03-07Remove DropAndReplace terminatorGiacomo Pasini-38/+0
2023-02-27Update MIR doc.Camille GILLOT-4/+0
2023-02-18Update compiler/rustc_middle/src/mir/syntax.rsCamille Gillot-1/+2
2023-02-18Remove exception from MIR doc.Camille GILLOT-4/+0
2023-02-18Correct comment.Camille GILLOT-2/+4
2023-02-18Add comment.Camille GILLOT-0/+3
2023-02-02Put a DefId in AggregateKind.Camille GILLOT-4/+2
2023-01-23Add comments and remove unnecessary codeBryan Garza-4/+5
2023-01-23Create stable metric to measure long computation in Const EvalBryan Garza-1/+6
2023-01-16Add cycle checking to cleanup control flow validationJakob Degen-4/+7
2023-01-16Document wf constraints on control flow in cleanup blocksJakob Degen-0/+7
2022-12-22Auto merge of #103957 - JakobDegen:drop-retag, r=RalfJungbors-8/+7
2022-12-21Don't run `Drop` terminators on types that do not have drop glue in const evalJakob Degen-8/+7
2022-12-21Forbid `RetagKind::TwoPhase` as wellJakob Degen-2/+1
2022-12-21Clarify that raw retags are not permitted in MirJakob Degen-2/+5
2022-12-19Revert "Auto merge of #103880 - b-naber:field-ty-mir, r=lcnr"Rémy Rakic-35/+4
2022-12-16Auto merge of #103880 - b-naber:field-ty-mir, r=lcnrbors-4/+35
2022-12-14address reviewb-naber-1/+8
2022-12-09Remove unneeded field from `SwitchTargets`Jakob Degen-6/+0
2022-12-09Rollup merge of #105455 - lcnr:correct-reveal-in-validate, r=jackh726Matthias Krüger-0/+8