Struct rustc_mir_build::lints::Search

pub(in lints) struct Search<'mir, 'tcx> {
    tcx: TyCtxt<'tcx>,
    body: &'mir Body<'tcx>,
    trait_substs: &'tcx [GenericArg<'tcx>],
    reachable_recursive_calls: Vec<Span>,
}

Fields

tcx: TyCtxt<'tcx>

body: &'mir Body<'tcx>

trait_substs: &'tcx [GenericArg<'tcx>]

reachable_recursive_calls: Vec<Span>

Implementations

impl<'mir, 'tcx> Search<'mir, 'tcx>

pub(in lints) fn is_recursive_call(
    &self,
    func: &Operand<'tcx>
) -> bool

Returns true if func refers to the function we are searching in.

Trait Implementations

impl<'mir, 'tcx> TriColorVisitor<&'mir Body<'tcx>> for Search<'mir, 'tcx>

type BreakVal = NonRecursive

The value returned by this search.

pub 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.

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

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

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

Behave as if no edges exist from source to target.