Enum flowistry_pdg::rustc::mir::interpret::AllocError

pub enum AllocError {
    ScalarSizeMismatch(ScalarSizeMismatch),
    ReadPointerAsInt(Option<BadBytesAccess>),
    OverwritePartialPointer(Size),
    ReadPartialPointer(Size),
    InvalidUninitBytes(Option<BadBytesAccess>),
}

We have our own error type that does not know about the AllocId; that information is added when converting to InterpError.

Variants

ScalarSizeMismatch(ScalarSizeMismatch)

A scalar had the wrong size.

ReadPointerAsInt(Option<BadBytesAccess>)

Encountered a pointer where we needed raw bytes.

OverwritePartialPointer(Size)

Partially overwriting a pointer.

ReadPartialPointer(Size)

Partially copying a pointer.

InvalidUninitBytes(Option<BadBytesAccess>)

Using uninitialized data where it is not allowed.