An interpreter for MIR used in CTFE and by miri.
The virtual memory representation of the MIR interpreter.
Represents the result of const evaluation via the
Uniquely identifies one of the following:
A bitmask where each bit refers to the byte with the same index. If the bit is
Packages the kind of error we got from the const code interpreter
up with a Rust-level backtrace of where the error occurred.
Thsese should always be constructed by calling
Input argument for
Represents a pointer in the Miri engine.
Details of an access to uninitialized bytes where it is not allowed.
Details of why a pointer had to be in-bounds.
Represents a constant value in Rust.
An allocation in the global (tcx-managed) memory can be either a function pointer, a static, or a “real” allocation with some data in it.
Error information for when the program we executed turned out not to actually be a valid program. This cannot happen in stand-alone Miri, but it can happen during CTFE/ConstProp where we work on generic code or execution does not have all information available.
Error type for
Error information for when the program exhausted the resources granted to it by the interpreter.
Error information for when the program caused Undefined Behavior.
Error information for when the program did something that might (or might not) be correct to do according to the Rust spec, but due to limitations in the interpreter, the operation could not be carried out. These limitations can differ between CTFE and the Miri engine, e.g., CTFE does not support dereferencing pointers at integral addresses.
A trait for machine-specific errors (or other “machine stop” conditions).
Gets the bytes of a constant slice value.