Struct rustc_mir_build::lints::Search

struct Search<'mir, 'tcx, C: TerminatorClassifier<'tcx>> {
    tcx: TyCtxt<'tcx>,
    body: &'mir Body<'tcx>,
    classifier: C,
    reachable_recursive_calls: Vec<Span>,
}

Fields

tcx: TyCtxt<'tcx>

body: &'mir Body<'tcx>

classifier: C

reachable_recursive_calls: Vec<Span>

Trait Implementations

impl<'mir, 'tcx, C: TerminatorClassifier<'tcx>> TriColorVisitor<BasicBlocks<'tcx>> for Search<'mir, 'tcx, C>

type BreakVal = NonRecursive

The value returned by this search.

fn node_examined( &mut self, bb: BasicBlock, prior_status: Option<NodeStatus> ) -> ControlFlow<Self::BreakVal>

Called when a node is examined by the depth-first search.

fn node_settled(&mut self, bb: BasicBlock) -> ControlFlow<Self::BreakVal>

Called after all nodes reachable from this one have been examined.

fn ignore_edge(&mut self, bb: BasicBlock, target: BasicBlock) -> bool

Behave as if no edges exist from source to target.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.