Module miri::alloc_addresses
source · Expand description
This module is responsible for managing the absolute addresses that allocations are located at, and for casting between pointers and integers based on those addresses.
Modules§
- Manages a pool of addresses that can be reused.
Structs§
Enums§
Traits§
Functions§
- Shifts
addr
to make it aligned withalign
by roundingaddr
to the smallest multiple ofalign
that is larger or equal toaddr