Expand description
A pass that inserts the ConstEvalCounter instruction into any blocks that have a back edge
(thus indicating there is a loop in the CFG), or whose terminator is a function call.
Re-exports§
use rustc_data_structures::graph::dominators::Dominators;🔒use rustc_middle::mir::BasicBlock;🔒use rustc_middle::mir::BasicBlockData;🔒use rustc_middle::mir::Body;🔒use rustc_middle::mir::Statement;🔒use rustc_middle::mir::StatementKind;🔒use rustc_middle::mir::TerminatorKind;🔒use rustc_middle::ty::TyCtxt;🔒use tracing::instrument;🔒use tracing::instrument;🔒use crate::PassPolicy;🔒