Enum SymbolicExpr

pub enum SymbolicExpr<'tcx> {
    Argument(Place<'tcx>),
    Constant(Const<'tcx>),
    BinaryOp {
        op: BinOp,
        left: Box<SymbolicExpr<'tcx>>,
        right: Box<SymbolicExpr<'tcx>>,
    },
    UnaryOp {
        op: UnOp,
        operand: Box<SymbolicExpr<'tcx>>,
    },
    Cast {
        kind: CastKind,
        operand: Box<SymbolicExpr<'tcx>>,
        target_ty: Ty<'tcx>,
    },
    Ref {
        kind: BorrowKind,
        place_expr: Box<SymbolicExpr<'tcx>>,
    },
    AddressOf {
        mutability: RawPtrKind,
        place_expr: Box<SymbolicExpr<'tcx>>,
    },
    Deref(Box<SymbolicExpr<'tcx>>),
    Len(Box<SymbolicExpr<'tcx>>),
    Aggregate {
        kind: Box<AggregateKind<'tcx>>,
        fields: Vec<SymbolicExpr<'tcx>>,
    },
    Repeat {
        value: Box<SymbolicExpr<'tcx>>,
        count: Const<'tcx>,
    },
    Index {
        base: Box<SymbolicExpr<'tcx>>,
        index: Box<SymbolicExpr<'tcx>>,
    },
    Ssa(Vec<SymbolicExpr<'tcx>>),
    Essa {
        operand: Box<SymbolicExpr<'tcx>>,
        constraint_operand: VarorConst<'tcx>,
        bin_op: BinOp,
    },
    Discriminant(Box<SymbolicExpr<'tcx>>),
    NullaryOp(NullOp<'tcx>, Ty<'tcx>),
    ThreadLocalRef(DefId),
    Unknown(UnknownReason),
}

Variants

Argument(Place<'tcx>)

Constant(Const<'tcx>)

BinaryOp

Fields

op: BinOp

left: Box<SymbolicExpr<'tcx>>

right: Box<SymbolicExpr<'tcx>>

UnaryOp

Fields

op: UnOp

operand: Box<SymbolicExpr<'tcx>>

Cast

Fields

kind: CastKind

operand: Box<SymbolicExpr<'tcx>>

target_ty: Ty<'tcx>

Ref

Fields

kind: BorrowKind

place_expr: Box<SymbolicExpr<'tcx>>

AddressOf

Fields

mutability: RawPtrKind

place_expr: Box<SymbolicExpr<'tcx>>

Deref(Box<SymbolicExpr<'tcx>>)

Len(Box<SymbolicExpr<'tcx>>)

Aggregate

Fields

kind: Box<AggregateKind<'tcx>>

fields: Vec<SymbolicExpr<'tcx>>

Repeat

Fields

value: Box<SymbolicExpr<'tcx>>

count: Const<'tcx>

Index

Fields

base: Box<SymbolicExpr<'tcx>>

index: Box<SymbolicExpr<'tcx>>

Ssa(Vec<SymbolicExpr<'tcx>>)

Essa

Fields

operand: Box<SymbolicExpr<'tcx>>

constraint_operand: VarorConst<'tcx>

bin_op: BinOp

Discriminant(Box<SymbolicExpr<'tcx>>)

NullaryOp(NullOp<'tcx>, Ty<'tcx>)

ThreadLocalRef(DefId)

Unknown(UnknownReason)

Trait Implementations

impl<'tcx> Clone for SymbolicExpr<'tcx>

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for SymbolicExpr<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Display for SymbolicExpr<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> PartialEq for SymbolicExpr<'tcx>

fn eq(&self, other: &SymbolicExpr<'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 SymbolicExpr<'tcx>

impl<'tcx> StructuralPartialEq for SymbolicExpr<'tcx>