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.
Re-exports§
use std::cell::RefCell;🔒use rustc_abi::Align;🔒use rustc_abi::Size;🔒use rustc_data_structures::fx::FxHashMap;🔒use rustc_data_structures::fx::FxHashSet;🔒use rustc_middle::ty::TyCtxt;🔒pub use self::address_generator::AddressGenerator;use self::reuse_pool::ReusePool;🔒use crate::alloc::MiriAllocParams;🔒use crate::concurrency::VClock;🔒use crate::diagnostics::SpanDedupDiagnostic;🔒use crate::*;🔒
Modules§
- address_
generator 🔒 - reuse_
pool 🔒 - Manages a pool of addresses that can be reused.