Source error classification for operand.rs, memory.rs, and rustc_middle::mir::interpret::allocation.rs. Allocation's source error enum classifies pointer-byte reads as Unsupported and uninitialized reads as UB; raw allocation bounds/mutability assertions are interpreter invariants. The checked memory-access layer separately reports Rust bounds/read-only UB. Typed machine/global/dynamic errors are recovered from AccessState.pendingError before these legacy model-boundary classifications are used.

def Miri.Interpreter.MemoryErrors.allocation : Memory.AllocError → StepError

Equations

• One or more equations did not get rendered due to their size.
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.readPointerAsInt info) = Miri.Interpreter.StepError.unsupported "ReadPointerAsInt"
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.readPartialPointer offset) = Miri.Interpreter.StepError.unsupported "ReadPartialPointer"
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.invalidUninitBytes info) = Miri.Interpreter.MemoryErrors.ub✝ "InvalidUninitBytes" (Miri.Memory.AllocError.invalidUninitBytes info)
• Miri.Interpreter.MemoryErrors.allocation Miri.Memory.AllocError.copyRangesOverlap = Miri.Interpreter.MemoryErrors.ub✝ "overlapping copy_nonoverlapping" Miri.Memory.AllocError.copyRangesOverlap
• Miri.Interpreter.MemoryErrors.allocation Miri.Memory.AllocError.hostMemoryExhausted = Miri.Interpreter.StepError.resourceExhaustion "Miri ran out of memory"
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.scalar error) = Miri.Interpreter.ScalarOps.scalarError error
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.memory reason) = Miri.Interpreter.MemoryErrors.invariant✝ "raw allocation invariant" (Miri.Memory.AllocError.memory reason)
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.provenance reason) = Miri.Interpreter.MemoryErrors.invariant✝ "raw allocation invariant" (Miri.Memory.AllocError.provenance reason)
• Miri.Interpreter.MemoryErrors.allocation (Miri.Memory.AllocError.alignment reason) = Miri.Interpreter.MemoryErrors.invariant✝ "raw allocation invariant" (Miri.Memory.AllocError.alignment reason)
• Miri.Interpreter.MemoryErrors.allocation Miri.Memory.AllocError.readOnlyAllocation = Miri.Interpreter.MemoryErrors.invariant✝ "raw allocation invariant" Miri.Memory.AllocError.readOnlyAllocation

def Miri.Interpreter.MemoryErrors.global : Memory.GlobalAccessError → StepError

Equations

• One or more equations did not get rendered due to their size.
• Miri.Interpreter.MemoryErrors.global (Miri.Memory.GlobalAccessError.notFound allocId) = Miri.Interpreter.MemoryErrors.ub✝ "PointerUseAfterFree" (Miri.Memory.GlobalAccessError.notFound allocId)
• Miri.Interpreter.MemoryErrors.global (Miri.Memory.GlobalAccessError.hookFailure hook message) = Miri.Interpreter.StepError.callback (toString hook ++ toString ": " ++ toString message)

def Miri.Interpreter.MemoryErrors.rawAccess : Memory.MemoryAccessError → StepError

Equations

• One or more equations did not get rendered due to their size.
• Miri.Interpreter.MemoryErrors.rawAccess (Miri.Memory.MemoryAccessError.globalAccess error) = Miri.Interpreter.MemoryErrors.global error

def Miri.Interpreter.MemoryErrors.access : Memory.AccessError → StepError

Equations

• One or more equations did not get rendered due to their size.

def Miri.Interpreter.MemoryErrors.pointerAccess : Memory.PtrAllocationError → StepError

Equations

• Miri.Interpreter.MemoryErrors.pointerAccess (Miri.Memory.PtrAllocationError.access error) = Miri.Interpreter.MemoryErrors.access error
• Miri.Interpreter.MemoryErrors.pointerAccess (Miri.Memory.PtrAllocationError.rawAccess error) = Miri.Interpreter.MemoryErrors.rawAccess error
• Miri.Interpreter.MemoryErrors.pointerAccess (Miri.Memory.PtrAllocationError.hookFailure hook message) = Miri.Interpreter.StepError.callback (toString hook ++ toString ": " ++ toString message)
• Miri.Interpreter.MemoryErrors.pointerAccess (Miri.Memory.PtrAllocationError.cacheUpdate error) = Miri.Interpreter.MemoryErrors.invariant✝ "allocation cache update" error

def Miri.Interpreter.MemoryErrors.operand : MemoryOperandError → StepError

Equations

• One or more equations did not get rendered due to their size.
• Miri.Interpreter.MemoryErrors.operand (Miri.Interpreter.MemoryOperandError.pointerAccess error) = Miri.Interpreter.MemoryErrors.pointerAccess error
• Miri.Interpreter.MemoryErrors.operand (Miri.Interpreter.MemoryOperandError.allocation error) = Miri.Interpreter.MemoryErrors.allocation error
• Miri.Interpreter.MemoryErrors.operand (Miri.Interpreter.MemoryOperandError.immediate error) = Miri.Interpreter.ScalarOps.immediateError error
• Miri.Interpreter.MemoryErrors.operand Miri.Interpreter.MemoryOperandError.invalidUninitBytes = Miri.Interpreter.StepError.undefinedBehavior "InvalidUninitBytes"
• Miri.Interpreter.MemoryErrors.operand (Miri.Interpreter.MemoryOperandError.dynamicLayoutFailure message) = Miri.Interpreter.StepError.unsupported (toString "dynamic layout: " ++ toString message)

def Miri.Interpreter.MemoryErrors.constant : ConstantError → StepError

Equations

• One or more equations did not get rendered due to their size.
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.metadata message) = Miri.Interpreter.StepError.unsupported (toString "constant compiler metadata: " ++ toString message)
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.query message) = Miri.Interpreter.StepError.unsupported (toString "constant compiler query: " ++ toString message)
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.scalar error) = Miri.Interpreter.ScalarOps.scalarError error
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.immediate error) = Miri.Interpreter.ScalarOps.immediateError error
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.globalAccess error) = Miri.Interpreter.MemoryErrors.global error
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.memoryAccess error) = Miri.Interpreter.MemoryErrors.rawAccess error
• Miri.Interpreter.MemoryErrors.constant (Miri.Interpreter.ConstantError.invariant message) = Miri.Interpreter.StepError.invalidProgram message