Enum flowistry_pdg::rustc::mir::AssertKind

pub enum AssertKind<O> {
    BoundsCheck {
        len: O,
        index: O,
    },
    Overflow(BinOp, O, O),
    OverflowNeg(O),
    DivisionByZero(O),
    RemainderByZero(O),
    ResumedAfterReturn(GeneratorKind),
    ResumedAfterPanic(GeneratorKind),
    MisalignedPointerDereference {
        required: O,
        found: O,
    },
}

Information about an assertion failure.

Variants

BoundsCheck

Fields

len: O

index: O

Overflow(BinOp, O, O)

OverflowNeg(O)

DivisionByZero(O)

RemainderByZero(O)

ResumedAfterReturn(GeneratorKind)

ResumedAfterPanic(GeneratorKind)

MisalignedPointerDereference

Fields

required: O

found: O