Struct rustc_mir::transform::simplify::RemoveStatements

struct RemoveStatements<'a, 'tcx> {
    used_locals: &'a mut IndexVec<Local, usize>,
    arg_count: usize,
    tcx: TyCtxt<'tcx>,
    modified: bool,
}

Fields

used_locals: &'a mut IndexVec<Local, usize>

arg_count: usize

tcx: TyCtxt<'tcx>

modified: bool

Implementations

impl<'a, 'tcx> RemoveStatements<'a, 'tcx>

fn new(
    used_locals: &'a mut IndexVec<Local, usize>,
    arg_count: usize,
    tcx: TyCtxt<'tcx>
) -> Self

fn keep_local(&self, l: Local) -> bool

Trait Implementations

impl<'a, 'tcx> MutVisitor<'tcx> for RemoveStatements<'a, 'tcx>

fn tcx(&self) -> TyCtxt<'tcx>

fn visit_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &mut BasicBlockData<'tcx>
)

fn visit_body(&mut self, body: &mut Body<'tcx>)

fn visit_source_scope_data(&mut self, scope_data: &mut SourceScopeData)

fn visit_statement(
    &mut self,
    statement: &mut Statement<'tcx>,
    location: Location
)

fn visit_assign(
    &mut self,
    place: &mut Place<'tcx>,
    rvalue: &mut Rvalue<'tcx>,
    location: Location
)

fn visit_terminator(
    &mut self,
    terminator: &mut Terminator<'tcx>,
    location: Location
)

fn visit_assert_message(
    &mut self,
    msg: &mut AssertKind<Operand<'tcx>>,
    location: Location
)

fn visit_rvalue(&mut self, rvalue: &mut Rvalue<'tcx>, location: Location)

fn visit_operand(&mut self, operand: &mut Operand<'tcx>, location: Location)

fn visit_ascribe_user_ty(
    &mut self,
    place: &mut Place<'tcx>,
    variance: &mut Variance,
    user_ty: &mut UserTypeProjection,
    location: Location
)

fn visit_coverage(&mut self, coverage: &mut Coverage, location: Location)

fn visit_retag(
    &mut self,
    kind: &mut RetagKind,
    place: &mut Place<'tcx>,
    location: Location
)

fn visit_place(
    &mut self,
    place: &mut Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn super_place(
    &mut self,
    place: &mut Place<'tcx>,
    context: PlaceContext,
    location: Location
)

fn process_projection(
    &mut self,
    projection: &'a [ProjectionElem<Local, &'tcx TyS<'tcx>>],
    location: Location
) -> Option<Vec<ProjectionElem<Local, &'tcx TyS<'tcx>>>>

fn process_projection_elem(
    &mut self,
    elem: ProjectionElem<Local, &'tcx TyS<'tcx>>,
    location: Location
) -> Option<ProjectionElem<Local, &'tcx TyS<'tcx>>>

fn visit_constant(&mut self, constant: &mut Constant<'tcx>, location: Location)

fn visit_span(&mut self, span: &mut Span)

fn visit_source_info(&mut self, source_info: &mut SourceInfo)

fn visit_ty(&mut self, ty: &mut &'tcx TyS<'tcx>, TyContext)

fn visit_user_type_projection(&mut self, ty: &mut UserTypeProjection)

fn visit_user_type_annotation(
    &mut self,
    index: UserTypeAnnotationIndex,
    ty: &mut CanonicalUserTypeAnnotation<'tcx>
)

fn visit_region(&mut self, region: &mut &'tcx RegionKind, Location)

fn visit_const(&mut self, constant: &mut &'tcx Const<'tcx>, Location)

fn visit_substs(&mut self, substs: &mut &'tcx List<GenericArg<'tcx>>, Location)

fn visit_local_decl(&mut self, local: Local, local_decl: &mut LocalDecl<'tcx>)

fn visit_var_debug_info(&mut self, var_debug_info: &mut VarDebugInfo<'tcx>)

fn visit_local(
    &mut self,
    _local: &mut Local,
    _context: PlaceContext,
    _location: Location
)

fn visit_source_scope(&mut self, scope: &mut SourceScope)

fn super_body(&mut self, body: &mut Body<'tcx>)

fn super_basic_block_data(
    &mut self,
    block: BasicBlock,
    data: &mut BasicBlockData<'tcx>
)

fn super_source_scope_data(&mut self, scope_data: &mut SourceScopeData)

fn super_statement(
    &mut self,
    statement: &mut Statement<'tcx>,
    location: Location
)

fn super_assign(
    &mut self,
    place: &mut Place<'tcx>,
    rvalue: &mut Rvalue<'tcx>,
    location: Location
)

fn super_terminator(
    &mut self,
    terminator: &mut Terminator<'tcx>,
    location: Location
)

fn super_assert_message(
    &mut self,
    msg: &mut AssertKind<Operand<'tcx>>,
    location: Location
)

fn super_rvalue(&mut self, rvalue: &mut Rvalue<'tcx>, location: Location)

fn super_operand(&mut self, operand: &mut Operand<'tcx>, location: Location)

fn super_ascribe_user_ty(
    &mut self,
    place: &mut Place<'tcx>,
    _variance: &mut Variance,
    user_ty: &mut UserTypeProjection,
    location: Location
)

fn super_coverage(&mut self, _kind: &mut Coverage, _location: Location)

fn super_retag(
    &mut self,
    _kind: &mut RetagKind,
    place: &mut Place<'tcx>,
    location: Location
)

fn super_local_decl(&mut self, local: Local, local_decl: &mut LocalDecl<'tcx>)

fn super_var_debug_info(&mut self, var_debug_info: &mut VarDebugInfo<'tcx>)

fn super_source_scope(&mut self, _scope: &mut SourceScope)

fn super_constant(&mut self, constant: &mut Constant<'tcx>, location: Location)

fn super_span(&mut self, _span: &mut Span)

fn super_source_info(&mut self, source_info: &mut SourceInfo)

fn super_user_type_projection(&mut self, _ty: &mut UserTypeProjection)

fn super_user_type_annotation(
    &mut self,
    _index: UserTypeAnnotationIndex,
    ty: &mut CanonicalUserTypeAnnotation<'tcx>
)

fn super_ty(&mut self, _ty: &mut &'tcx TyS<'tcx>)

fn super_region(&mut self, _region: &mut &'tcx RegionKind)

fn super_const(&mut self, _const: &mut &'tcx Const<'tcx>)

fn super_substs(&mut self, _substs: &mut &'tcx List<GenericArg<'tcx>>)

fn visit_location(&mut self, body: &mut Body<'tcx>, location: Location)