Struct GatherCandidates 

struct GatherCandidates<'a> {
    body: &'a ExprBody,
    flag_statuses: IndexVec<LocalId, FlagStatus>,
}

Fields

body: &'a ExprBody

flag_statuses: IndexVec<LocalId, FlagStatus>

Implementations

impl GatherCandidates<'_>

fn dropped_places_in_true_branch( &self, true_target: BlockId, false_target: BlockId, ) -> Vec<Place>

Follow the true branch until it reaches the false target, and accumulate any place that gets unconditionally dropped along the way. We ignore unwind paths and other switches.

Trait Implementations

impl VisitBody for GatherCandidates<'_>

fn enter_local_id(&mut self, local: &LocalId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn visit_ullbc_statement( &mut self, statement: &Statement, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn visit_ullbc_terminator( &mut self, terminator: &Terminator, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn visit<'a, T: BodyVisitable>(&'a mut self, x: &T) -> ControlFlow<Self::Break>

Visit a visitable type. This calls the appropriate method of this trait on x (visit_$ty if it exists, visit_inner if not).

fn visit_by_val<T: BodyVisitable>(self, x: &T) -> ControlFlow<Self::Break, Self>

Convenience alias for method chaining.

fn visit_by_val_infallible<T: BodyVisitable>(self, x: &T) -> Self

where Self: Visitor<Break = Infallible> + Sized,

Convenience when the visitor does not return early.

fn visit_inner<T>(&mut self, x: &T) -> ControlFlow<Self::Break>

where T: BodyVisitable + for<'s> Drive<'s, BodyVisitableWrapper<Self>>,

Visit the contents of x. This calls self.visit() on each field of T. This is available for any type whose contents are all #trait_name.

fn visit_body(&mut self, x: &Body) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_body(&mut self, x: &Body)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_body(&mut self, x: &Body)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_locals(&mut self, x: &Locals) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_locals(&mut self, x: &Locals)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_locals(&mut self, x: &Locals)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_local(&mut self, x: &Local) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_local(&mut self, x: &Local)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_local(&mut self, x: &Local)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_local_id(&mut self, x: &LocalId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn exit_local_id(&mut self, x: &LocalId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_aggregate_kind( &mut self, x: &AggregateKind, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_aggregate_kind(&mut self, x: &AggregateKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_aggregate_kind(&mut self, x: &AggregateKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_asm_operand(&mut self, x: &AsmOperand) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_asm_operand(&mut self, x: &AsmOperand)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_asm_operand(&mut self, x: &AsmOperand)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_call(&mut self, x: &Call) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_call(&mut self, x: &Call)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_call(&mut self, x: &Call)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fn_operand(&mut self, x: &FnOperand) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fn_operand(&mut self, x: &FnOperand)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fn_operand(&mut self, x: &FnOperand)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fn_ptr(&mut self, x: &FnPtr) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fn_ptr(&mut self, x: &FnPtr)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fn_ptr(&mut self, x: &FnPtr)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_operand(&mut self, x: &Operand) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_operand(&mut self, x: &Operand)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_operand(&mut self, x: &Operand)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_place(&mut self, x: &Place) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_place(&mut self, x: &Place)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_place(&mut self, x: &Place)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_projection_elem( &mut self, x: &ProjectionElem, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_projection_elem(&mut self, x: &ProjectionElem)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_projection_elem(&mut self, x: &ProjectionElem)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_rvalue(&mut self, x: &Rvalue) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_rvalue(&mut self, x: &Rvalue)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_rvalue(&mut self, x: &Rvalue)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_block(&mut self, x: &Block) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_block(&mut self, x: &Block)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_block(&mut self, x: &Block)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_statement(&mut self, x: &Statement) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_statement(&mut self, x: &Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_statement(&mut self, x: &Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_block(&mut self, x: &BlockData) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_block(&mut self, x: &BlockData)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_block(&mut self, x: &BlockData)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn enter_ullbc_statement(&mut self, x: &Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_statement(&mut self, x: &Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn enter_ullbc_terminator(&mut self, x: &Terminator)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_terminator(&mut self, x: &Terminator)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_block_id(&mut self, x: &BlockId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_block_id(&mut self, x: &BlockId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_block_id(&mut self, x: &BlockId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

impl<'a> Visitor for GatherCandidates<'a>

type Break = !

The type used for early-return, if the visitor supports it. Use an empty type like std::convert::Infallible if the visitor does not short-circuit.