Struct IcxSliceFroBlock 

pub struct IcxSliceFroBlock<'tcx, 'z3> {
    taint: Vec<Taint<'tcx>>,
    var: Vec<IntraVar<'z3>>,
    len: Vec<usize>,
    ty: Vec<TyWithIndex<'tcx>>,
    layout: Vec<Vec<HeapOwnership>>,
}

Fields

taint: Vec<Taint<'tcx>>

var: Vec<IntraVar<'z3>>

len: Vec<usize>

ty: Vec<TyWithIndex<'tcx>>

layout: Vec<Vec<HeapOwnership>>

Implementations

impl<'tcx, 'z3> IcxSliceFroBlock<'tcx, 'z3>

pub fn new_in(icx: &mut IntraFlowContext<'tcx, 'z3>, idx: usize) -> Self

pub fn new_out(icx: &mut IntraFlowContext<'tcx, 'z3>, idx: usize) -> Self

pub fn new_for_block_0(len: usize) -> Self

pub fn taint(&self) -> &Vec<Taint<'tcx>>

pub fn taint_mut(&mut self) -> &mut Vec<Taint<'tcx>>

pub fn var(&self) -> &Vec<IntraVar<'z3>>

pub fn var_mut(&mut self) -> &mut Vec<IntraVar<'z3>>

pub fn len(&self) -> &Vec<usize>

pub fn len_mut(&mut self) -> &mut Vec<usize>

pub fn ty(&self) -> &Vec<TyWithIndex<'tcx>>

pub fn ty_mut(&mut self) -> &mut Vec<TyWithIndex<'tcx>>

pub fn layout(&self) -> &Vec<Vec<HeapOwnership>>

pub fn layout_mut(&mut self) -> &mut Vec<Vec<HeapOwnership>>

pub fn taint_merge(&mut self, another: &IcxSliceFroBlock<'tcx, 'z3>, u: usize)

Trait Implementations

impl<'tcx, 'z3> Clone for IcxSliceFroBlock<'tcx, 'z3>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx, 'z3> Debug for IcxSliceFroBlock<'tcx, 'z3>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'tcx, 'z3> Default for IcxSliceFroBlock<'tcx, 'z3>

fn default() -> Self

Returns the “default value” for a type.