Struct rustc_mir_build::lints::Search

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>

fn is_recursive_call( &self, func: &Operand<'tcx>, args: &[Operand<'tcx>] ) -> bool

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

Trait Implementations

impl<'mir, 'tcx> TriColorVisitor<BasicBlocks<'tcx>> for Search<'mir, 'tcx>

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: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size:56 bytes