Enum SymbolicDef 

pub enum SymbolicDef<'tcx> {
    Param(usize),
    Constant(u128),
    Use(usize),
    Cast(usize, String),
    Binary(BinOp, usize, AnaOperand),
    UnOp(UnOp),
    Call(String, Vec<AnaOperand>),
    Ref(usize),
    PtrOffset(BinOp, usize, AnaOperand, PlaceTy<'tcx>),
}

Variants

Param(usize)

Constant(u128)

Use(usize)

Cast(usize, String)

Binary(BinOp, usize, AnaOperand)

UnOp(UnOp)

Call(String, Vec<AnaOperand>)

Ref(usize)

PtrOffset(BinOp, usize, AnaOperand, PlaceTy<'tcx>)

Pointer offset operation

Trait Implementations

impl<'tcx> Clone for SymbolicDef<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for SymbolicDef<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq for SymbolicDef<'tcx>

fn eq(&self, other: &SymbolicDef<'tcx>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'tcx> Eq for SymbolicDef<'tcx>

impl<'tcx> StructuralPartialEq for SymbolicDef<'tcx>