Enum rustc_middle::mir::interpret::error::InterpError

pub enum InterpError<'tcx> {
    UndefinedBehavior(UndefinedBehaviorInfo<'tcx>),
    Unsupported(UnsupportedOpInfo),
    InvalidProgram(InvalidProgramInfo<'tcx>),
    ResourceExhaustion(ResourceExhaustionInfo),
    MachineStop(Box<dyn MachineStopType>),
}

Variants

UndefinedBehavior(UndefinedBehaviorInfo<'tcx>)

The program caused undefined behavior.

Unsupported(UnsupportedOpInfo)

The program did something the interpreter does not support (some of these might be UB but the interpreter is not sure).

InvalidProgram(InvalidProgramInfo<'tcx>)

The program was invalid (ill-typed, bad MIR, not sufficiently monomorphized, ...).

ResourceExhaustion(ResourceExhaustionInfo)

The program exhausted the interpreter's resources (stack/heap too big, execution takes too long, ...).

MachineStop(Box<dyn MachineStopType>)

Stop execution for a machine-controlled reason. This is never raised by the core engine itself.

Implementations

impl<'_> InterpError<'_>

pub fn allocates(&self) -> bool

Some errors allocate to be created as they contain free-form strings. And sometimes we want to be sure that did not happen as it is a waste of resources.

Trait Implementations

impl<'_> Debug for InterpError<'_>

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

Formats the value using the given formatter.

impl<'_> Display for InterpError<'_>

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

Formats the value using the given formatter.

impl<'tcx> From<InterpError<'tcx>> for InterpErrorInfo<'tcx>

pub fn from(kind: InterpError<'tcx>) -> Self

Performs the conversion.