Constant miri::machine::ADDRS_PER_ANON_GLOBAL
source · const ADDRS_PER_ANON_GLOBAL: usize = 32;
Expand description
Each anonymous global (constant, vtable, function pointer, …) 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.