Interpreter allocation/dynamic-value bounds come from the actual target pointer storage width. They are not an independently configurable memory policy and are not the LLVM ABI's smaller obj_size_bound on 64-bit targets. Source: rustc_middle/mir/interpret/pointer.rs:13–40.

def Miri.Input.CompilerExecutionBounds.maximum (runtime : ABI.RuntimeTargetDataLayout) : Except Interpreter.StepError ABI.Size

Equations

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