Module memory 

The memory subsystem.

Generally, we use Pointer to denote memory addresses. However, some operations have a “size”-like parameter, and they take Scalar for the address because if the size is 0, then the pointer can also be a (properly aligned, non-null) integer. It is crucial that these operations call check_align before short-circuiting the empty case!

Re-exports

use std::borrow::Borrow; 🔒

use std::borrow::Cow; 🔒

use std::cell::Cell; 🔒

use std::collections::VecDeque; 🔒

use std::assert_matches; 🔒

use std::fmt; 🔒

use std::ptr; 🔒

use rustc_abi::Align; 🔒

use rustc_abi::HasDataLayout; 🔒

use rustc_abi::Size; 🔒

use rustc_ast::Mutability; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_middle::mir::display_allocation; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Instance; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::instrument; 🔒

use tracing::instrument; 🔒

use tracing::trace; 🔒

use super::AllocBytes; 🔒

use super::AllocId; 🔒

use super::AllocInit; 🔒

use super::AllocMap; 🔒

use super::AllocRange; 🔒

use super::Allocation; 🔒

use super::CheckAlignMsg; 🔒

use super::CheckInAllocMsg; 🔒

use super::CtfeProvenance; 🔒

use super::GlobalAlloc; 🔒

use super::InterpCx; 🔒

use super::InterpResult; 🔒

use super::MPlaceTy; 🔒

use super::Machine; 🔒

use super::MayLeak; 🔒

use super::Misalignment; 🔒

use super::Pointer; 🔒

use super::PointerArithmetic; 🔒

use super::Provenance; 🔒

use super::Scalar; 🔒

use super::alloc_range; 🔒

use super::err_ub; 🔒

use super::err_ub_format; 🔒

use super::interp_ok; 🔒

use super::throw_ub; 🔒

use super::throw_ub_format; 🔒

use super::throw_unsup; 🔒

use super::throw_unsup_format; 🔒

use crate::const_eval::ConstEvalErrKind; 🔒

Structs

AllocInfo

Metadata about an AllocId.

AllocRef

A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.

AllocRefMut

A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.

Memory

Enums

AllocKind

The return value of get_alloc_info indicates the “kind” of the allocation.

FnVal

The value of a function pointer.

MemoryKind