miri::machine

Constant 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.