about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src
AgeCommit message (Expand)AuthorLines
2024-01-04Migrate memory overlap check from validator to lintTomasz Miąsko-10/+40
2024-01-04Fix validation and linting of injected MIRTomasz Miąsko-3/+9
2024-01-04Visit only reachable blocks in MIR lintTomasz Miąsko-15/+12
2024-01-04Check yield terminator's resume type in borrowckMichael Goulet-0/+1
2024-01-03Rollup merge of #119444 - compiler-errors:closure-or-coroutine, r=oli-obkLeón Orell Valerian Liehr-3/+3
2024-01-03Rename some `Diagnostic` setters.Nicholas Nethercote-12/+12
2024-01-02Reuse eligible_storage_live memory.Camille GILLOT-7/+10
2023-12-31Inline dominator check.Camille GILLOT-0/+1
2023-12-30is_coroutine -> is_coroutine_or_closureMichael Goulet-3/+3
2023-12-30Auto merge of #119438 - Zalathar:prepare-mappings, r=cjgillotbors-53/+74
2023-12-30coverage: Make `coverage_counters` a local variableZalathar-31/+37
2023-12-30coverage: Prepare mappings separately from injecting statementsZalathar-29/+44
2023-12-30Auto merge of #119377 - tmiasko:after, r=cjgillotbors-6/+0
2023-12-30Auto merge of #116012 - cjgillot:gvn-const, r=oli-obkbors-517/+12
2023-12-29Rollup merge of #119322 - compiler-errors:async-gen-resume-ty, r=cjgillotMatthias Krüger-22/+13
2023-12-29coverage: Avoid a possible query stability hazard in `CoverageCounters`Zalathar-3/+6
2023-12-29Couple of random coroutine pass simplificationsMichael Goulet-22/+13
2023-12-28Movability doesn't need to be a query anymoreMichael Goulet-17/+12
2023-12-28Remove movability from TyKind::CoroutineMichael Goulet-8/+9
2023-12-28Don't validate / lint MIR before each passTomasz Miąsko-6/+0
2023-12-28Fix some commentscuishuang-1/+1
2023-12-27coverage: Unexpand spans with `find_ancestor_inside_same_ctxt`Zalathar-22/+6
2023-12-26Auto merge of #119258 - compiler-errors:closure-kind, r=eholkbors-4/+5
2023-12-25Only regular coroutines have movabilityMichael Goulet-4/+5
2023-12-24Replace legacy ConstProp by GVN.Camille GILLOT-516/+11
2023-12-24Enable GVN by default.Camille GILLOT-2/+2
2023-12-24Remove `Session` methods that duplicate `DiagCtxt` methods.Nicholas Nethercote-7/+7
2023-12-22Rollup merge of #119198 - compiler-errors:desugaring, r=eholkMichael Goulet-16/+28
2023-12-22Rollup merge of #119077 - tmiasko:lint, r=cjgillotMichael Goulet-2/+133
2023-12-22Split coroutine desugaring kind from sourceMichael Goulet-16/+28
2023-12-22Auto merge of #119097 - nnethercote:fix-EmissionGuarantee, r=compiler-errorsbors-4/+4
2023-12-21Stricter check for a use of locals without storageTomasz Miąsko-10/+18
2023-12-21Don't require owned data in `MaybeStorageDead`Tomasz Miąsko-1/+2
2023-12-21Lint missing StorageDead when returning from functionsTomasz Miąsko-1/+35
2023-12-21Add pass to identify undefined or erroneous behaviourTomasz Miąsko-1/+89
2023-12-20coverage: Check for `async fn` explicitly, without needing a heuristicZalathar-12/+11
2023-12-20coverage: Pass around `&ExtractedHirInfo` instead of individual fieldsZalathar-29/+16
2023-12-19Add `level` arg to `into_diagnostic`.Nicholas Nethercote-4/+4
2023-12-18Auto merge of #119069 - matthiaskrgr:rollup-xxk4m30, r=matthiaskrgrbors-4/+15
2023-12-18Rollup merge of #118852 - Zalathar:no-spans, r=cjgillotMatthias Krüger-4/+15
2023-12-18Rename many `DiagCtxt` and `EarlyDiagCtxt` locals.Nicholas Nethercote-2/+2
2023-12-18Rename many `DiagCtxt` arguments.Nicholas Nethercote-6/+3
2023-12-18Rename `DiagnosticBuilder::handler` as `DiagnosticBuilder::dcx`.Nicholas Nethercote-1/+1
2023-12-18Rename `Handler` as `DiagCtxt`.Nicholas Nethercote-3/+6
2023-12-17Avoid overflow in GVN constant indexing.Camille GILLOT-5/+3
2023-12-15Rollup merge of #119004 - matthiaskrgr:conv, r=compiler-errorsJubilee-1/+1
2023-12-16Simplify lint decorator derive tooMichael Goulet-17/+3
2023-12-16coverage: Skip instrumenting a function if no spans were extractedZalathar-4/+15
2023-12-15NFC don't convert types to identical typesMatthias Krüger-1/+1
2023-12-15Auto merge of #118966 - matthiaskrgr:rollup-sdvjwy6, r=matthiaskrgrbors-70/+77