mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Move CtfeLimit to mir_const's set of passes

Browse Source
This commit is contained in:
Bryan Garza 2022-12-30 00:24:41 +00:00
parent 80a3d2ad0c
commit 08de246cd7
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_borrowck/src/lib.rs
View File

@ -610,6 +610,7 @@ impl<'cx, 'tcx> rustc_mir_dataflow::ResultsVisitor<'cx, 'tcx> for MirBorrowckCtx
// Doesn't have any language semantics // Doesn't have any language semantics
| StatementKind::Coverage(..) | StatementKind::Coverage(..)
// Does not actually affect borrowck // Does not actually affect borrowck
| StatementKind::ConstEvalCounter
| StatementKind::StorageLive(..) => {} | StatementKind::StorageLive(..) => {}
StatementKind::StorageDead(local) => { StatementKind::StorageDead(local) => {
self.access_place( self.access_place(
@ -620,8 +621,7 @@ impl<'cx, 'tcx> rustc_mir_dataflow::ResultsVisitor<'cx, 'tcx> for MirBorrowckCtx
flow_state, flow_state,
); );
} }
StatementKind::ConstEvalCounter StatementKind::Nop
| StatementKind::Nop
| StatementKind::Retag { .. } | StatementKind::Retag { .. }
| StatementKind::Deinit(..) | StatementKind::Deinit(..)
| StatementKind::SetDiscriminant { .. } => { | StatementKind::SetDiscriminant { .. } => {

2
compiler/rustc_mir_transform/src/lib.rs
View File

@ -299,6 +299,7 @@ fn mir_const(tcx: TyCtxt<'_>, def: ty::WithOptConstParam<LocalDefId>) -> &Steal<
// What we need to do constant evaluation. // What we need to do constant evaluation.
&simplify::SimplifyCfg::new("initial"), &simplify::SimplifyCfg::new("initial"),
&rustc_peek::SanityCheck, // Just a lint &rustc_peek::SanityCheck, // Just a lint
&ctfe_limit::CtfeLimit,
], ],
None, None,
); );
@ -518,7 +519,6 @@ fn run_runtime_lowering_passes<'tcx>(tcx: TyCtxt<'tcx>, body: &mut Body<'tcx>) {
// CTFE support for aggregates. // CTFE support for aggregates.
&deaggregator::Deaggregator, &deaggregator::Deaggregator,
&Lint(const_prop_lint::ConstProp), &Lint(const_prop_lint::ConstProp),
&ctfe_limit::CtfeLimit,
]; ];
pm::run_passes_no_validate(tcx, body, passes, Some(MirPhase::Runtime(RuntimePhase::Initial))); pm::run_passes_no_validate(tcx, body, passes, Some(MirPhase::Runtime(RuntimePhase::Initial)));
} }