Enum flowistry_pdg::rustc::mir::interpret::ResourceExhaustionInfo

pub enum ResourceExhaustionInfo {
    StackFrameLimitReached,
    MemoryExhausted,
    AddressSpaceFull,
}

Error information for when the program exhausted the resources granted to it by the interpreter.

Variants

StackFrameLimitReached

The stack grew too big.

MemoryExhausted

There is not enough memory (on the host) to perform an allocation.

AddressSpaceFull

The address space (of the target) is full.