Enum BuiltinAssertKind 

pub enum BuiltinAssertKind {
    BoundsCheck {
        len: Operand,
        index: Operand,
    },
    Overflow(BinOp, Operand, Operand),
    OverflowNeg(Operand),
    DivisionByZero(Operand),
    RemainderByZero(Operand),
    MisalignedPointerDereference {
        required: Operand,
        found: Operand,
    },
    NullPointerDereference,
    InvalidEnumConstruction(Operand),
}

The kind of a built-in assertion, which may panic and unwind. These are removed by reconstruct_fallible_operations because they’re implicit in the semantics of (U)LLBC. This kind should only be used for error-reporting purposes, as the check itself is performed in the instructions preceding the assert.

Variants

BoundsCheck

Fields

len: Operand

index: Operand

Overflow(BinOp, Operand, Operand)

OverflowNeg(Operand)

DivisionByZero(Operand)

RemainderByZero(Operand)

MisalignedPointerDereference

Fields

required: Operand

found: Operand

NullPointerDereference

InvalidEnumConstruction(Operand)

Trait Implementations

impl AstVisitable for BuiltinAssertKind

fn drive<V: VisitAst>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_mut<V: VisitAstMut>(&mut self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn name(&self) -> &'static str

The name of the type, used for debug logging.

fn dyn_visit<T: AstVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_mut<T: AstVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl BodyVisitable for BuiltinAssertKind

fn drive_body<V: VisitBody>(&self, v: &mut V) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn drive_body_mut<V: VisitBodyMut>( &mut self, v: &mut V, ) -> ControlFlow<V::Break>

Recursively visit this type with the provided visitor. This calls the visitor’s visit_$any method if it exists, otherwise visit_inner.

fn dyn_visit_in_body<T: BodyVisitable>(&self, f: impl FnMut(&T))

Visit all occurrences of that type inside self, in pre-order traversal.

fn dyn_visit_in_body_mut<T: BodyVisitable>(&mut self, f: impl FnMut(&mut T))

Visit all occurrences of that type inside self, in pre-order traversal.

impl Clone for BuiltinAssertKind

fn clone(&self) -> BuiltinAssertKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinAssertKind

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

Formats the value using the given formatter.

impl<'de, __State: ?Sized> DeserializeState<'de, __State> for BuiltinAssertKind

where Operand: DeserializeState<'de, __State>, BinOp: DeserializeState<'de, __State>,

fn deserialize_state<__D>( __state: &__State, __deserializer: __D, ) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

impl<'s, V> Drive<'s, V> for BuiltinAssertKind

where V: Visitor + Visit<'s, Operand> + Visit<'s, BinOp>,

fn drive_inner(&'s self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<'s, V> DriveMut<'s, V> for BuiltinAssertKind

where V: Visitor + VisitMut<'s, Operand> + VisitMut<'s, BinOp>,

fn drive_inner_mut(&'s mut self, visitor: &mut V) -> ControlFlow<V::Break>

Call v.visit() on the immediate contents of self.

impl<C: AstFormatter> FmtWithCtx<C> for BuiltinAssertKind

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

fn with_ctx<'a>(&'a self, ctx: &'a C) -> WithCtx<'a, C, Self>

Returns a struct that implements Display. This allows the following:

fn to_string_with_ctx(&self, ctx: &C) -> String

impl<__State: ?Sized> SerializeState<__State> for BuiltinAssertKind

where Operand: SerializeState<__State>, BinOp: SerializeState<__State>,

fn serialize_state<__S>( &self, __state: &__State, __serializer: __S, ) -> Result<__S::Ok, __S::Error>

where __S: Serializer,