Constant miri::machine::ADDRS_PER_CONST
source · const ADDRS_PER_CONST: usize = 16;
Expand description
Each const has multiple addresses, but only this many. Since const allocations are never
deallocated, choosing a new AllocId
and thus base address for each evaluation would
produce unbounded memory usage.