Module interpret 

An interpreter for MIR used in CTFE and by miri.

Re-exports

use std::io::Read; 🔒

use std::io::Write; 🔒

use std::num::NonZero; 🔒

use std::fmt; 🔒

use std::io; 🔒

use rustc_abi::AddressSpace; 🔒

use rustc_abi::Align; 🔒

use rustc_abi::Endian; 🔒

use rustc_abi::HasDataLayout; 🔒

use rustc_abi::Size; 🔒

use rustc_ast::Mutability; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::sharded::ShardedHashMap; 🔒

use rustc_data_structures::sync::AtomicU64; 🔒

use rustc_data_structures::sync::Lock; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LocalDefId; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use rustc_macros::TypeFoldable; 🔒

use rustc_macros::TypeVisitable; 🔒

use rustc_serialize::Decodable; 🔒

use rustc_serialize::Encodable; 🔒

use rustc_span::bug; 🔒

use tracing::debug; 🔒

use tracing::trace; 🔒

pub use err_exhaust;

pub use err_inval;

pub use err_machine_stop;

pub use err_ub;

pub use err_ub_format;

pub use err_unsup;

pub use err_unsup_format;

pub use throw_exhaust;

pub use throw_inval;

pub use throw_machine_stop;

pub use throw_ub;

pub use throw_ub_format;

pub use throw_unsup;

pub use throw_unsup_format;

pub use self::allocation::AllocBytes;

pub use self::allocation::AllocError;

pub use self::allocation::AllocInit;

pub use self::allocation::AllocRange;

pub use self::allocation::AllocResult;

pub use self::allocation::Allocation;

pub use self::allocation::ConstAllocation;

pub use self::allocation::InitChunk;

pub use self::allocation::InitChunkIter;

pub use self::allocation::alloc_range;

pub use self::error::BadBytesAccess;

pub use self::error::CheckAlignMsg;

pub use self::error::CheckInAllocMsg;

pub use self::error::ErrorHandled;

pub use self::error::EvalStaticInitializerRawResult;

pub use self::error::EvalToAllocationRawResult;

pub use self::error::EvalToConstValueResult;

pub use self::error::EvalToValTreeResult;

pub use self::error::InterpErrorInfo;

pub use self::error::InterpErrorKind;

pub use self::error::InterpResult;

pub use self::error::InvalidMetaKind;

pub use self::error::InvalidProgramInfo;

pub use self::error::MachineStopType;

pub use self::error::Misalignment;

pub use self::error::ReportedErrorInfo;

pub use self::error::ResourceExhaustionInfo;

pub use self::error::UndefinedBehaviorInfo;

pub use self::error::UnsupportedOpInfo;

pub use self::error::ValTreeCreationError;

pub use self::error::interp_ok;

pub use self::pointer::CtfeProvenance;

pub use self::pointer::Pointer;

pub use self::pointer::PointerArithmetic;

pub use self::pointer::Provenance;

pub use self::value::Scalar;

use crate::mir; 🔒

use crate::ty::codec::TyDecoder; 🔒

use crate::ty::codec::TyEncoder; 🔒

use crate::ty::print::with_no_trimmed_paths; 🔒

use crate::ty::print::with_no_trimmed_paths; 🔒

use crate::ty; 🔒

use crate::ty::Instance; 🔒

use crate::ty::Ty; 🔒

use crate::ty::TyCtxt; 🔒

Modules

allocation 🔒

The virtual memory representation of the MIR interpreter.

error 🔒

pointer 🔒

queries 🔒

value 🔒

Structs

AllocDecodingSession

AllocDecodingState

AllocId

AllocMap 🔒

GlobalId

Uniquely identifies one of the following:

Enums

AllocDiscriminant 🔒

GlobalAlloc

An allocation in the global (tcx-managed) memory can be either a function pointer, a static, or a “real” allocation with some data in it.

State 🔒

Constants

CTFE_ALLOC_SALT

Functions

read_target_uint

specialized_encode_alloc_id

write_target_uint