Enum AbstractValue 

pub enum AbstractValue<'tcx> {
    Unknown(String),
    Place(PlaceKey),
    Ref(PlaceKey),
    RawPtr(PlaceKey),
    ThreadLocal(String),
    ConstInt(u128),
    Const(String),
    ConstParam(String),
    Repeat(Box<AbstractValue<'tcx>>),
    Cast(Box<AbstractValue<'tcx>>, Ty<'tcx>),
    Unary(UnOp, Box<AbstractValue<'tcx>>),
    Binary(BinOp, Box<AbstractValue<'tcx>>, Box<AbstractValue<'tcx>>),
    Nullary(String),
    Discriminant(PlaceKey),
    Aggregate(String, usize),
    ShallowInitBox(Box<AbstractValue<'tcx>>, Ty<'tcx>),
    CallResult(CallSummary<'tcx>),
}

Abstract value assigned to a MIR local by the forward visitor.

Variants

Unknown(String)

Place(PlaceKey)

Ref(PlaceKey)

RawPtr(PlaceKey)

ThreadLocal(String)

ConstInt(u128)

Const(String)

ConstParam(String)

Repeat(Box<AbstractValue<'tcx>>)

Cast(Box<AbstractValue<'tcx>>, Ty<'tcx>)

Unary(UnOp, Box<AbstractValue<'tcx>>)

Binary(BinOp, Box<AbstractValue<'tcx>>, Box<AbstractValue<'tcx>>)

Nullary(String)

Discriminant(PlaceKey)

Aggregate(String, usize)

ShallowInitBox(Box<AbstractValue<'tcx>>, Ty<'tcx>)

CallResult(CallSummary<'tcx>)

Trait Implementations

impl<'tcx> Clone for AbstractValue<'tcx>

fn clone(&self) -> AbstractValue<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for AbstractValue<'tcx>

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

Formats the value using the given formatter.