☰
In miri::interpret
In miri::interpret
Macros
compile_time_machine
Structs
AllocDecodingSession
AllocDecodingState
AllocId
AllocRange
AllocRef
AllocRefMut
Allocation
ConstAlloc
ConstAllocation
Frame
FrameInfo
GlobalId
ImmTy
InitChunkIter
InitMask
InterpCx
InterpErrorInfo
LitToConstInput
LocalState
MPlaceTy
MemPlace
Memory
OpTy
PlaceTy
Pointer
ProvenanceMap
RefTracking
ScalarSizeMismatch
UninitBytesAccess
Enums
AllocKind
CheckInAllocMsg
ConstValue
CtfeValidationMode
ErrorHandled
FnVal
GlobalAlloc
Immediate
InitChunk
InternKind
InterpError
InvalidProgramInfo
LitToConstError
LocalValue
MemPlaceMeta
MemoryKind
Operand
Place
ResourceExhaustionInfo
Scalar
StackPopCleanup
StackPopJump
StackPopUnwind
UndefinedBehaviorInfo
UnsupportedOpInfo
Traits
AllocMap
Machine
MachineStopType
MayLeak
MutValueVisitor
PointerArithmetic
Provenance
Value
ValueVisitor
Functions
alloc_range
get_slice_bytes
intern_const_alloc_recursive
read_target_uint
specialized_encode_alloc_id
struct_error
write_target_uint
Type Definitions
EvalToAllocationRawResult
EvalToConstValueResult
EvalToValTreeResult
InterpResult
?
Macro
miri
::
interpret
::
compile_time_machine
source
·
[
−
]
pub macro
compile_time_machine(<
$mir
: lifetime,
$tcx
: lifetime>) { ... }