ADDRS_PER_ANON_GLOBAL in miri::machine - Rust
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.

Skip to main content

## ADDRS_PER_ANON_GLOBAL

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