Module machine 

Global machine state as well as implementation of the interpreter engine Machine trait.

Re-exports

use std::borrow::Cow; 🔒

use std::cell::RefCell; 🔒

use std::path::Path; 🔒

use std::path::PathBuf; 🔒

use std::rc::Rc; 🔒

use std::fmt; 🔒

use std::process; 🔒

use rand::rngs::StdRng; 🔒

use rand::RngExt; 🔒

use rand::SeedableRng; 🔒

use rustc_abi::Align; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_abi::Size; 🔒

use rustc_apfloat::Float; 🔒

use rustc_apfloat::FloatConvert; 🔒

use rustc_ast::Mutability; 🔒

use rustc_ast::expand::allocator; 🔒

use rustc_ast::expand::allocator::SpecialAllocatorMethod; 🔒

use rustc_attr_ir::InlineAttr; 🔒

use rustc_attr_ir::Linkage; 🔒

use rustc_data_structures::either::Either; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_data_structures::static_assert_size; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_log::tracing; 🔒

use rustc_middle::middle::codegen_fn_attrs::TargetFeatureKind; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::query::TyCtxtAt; 🔒

use rustc_middle::ty::layout::HasTyCtxt; 🔒

use rustc_middle::ty::layout::HasTypingEnv; 🔒

use rustc_middle::ty::layout::LayoutCx; 🔒

use rustc_middle::ty::layout::LayoutError; 🔒

use rustc_middle::ty::layout::LayoutOf; 🔒

use rustc_middle::ty::layout::TyAndLayout; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::AtomicOrdering; 🔒

use rustc_middle::ty::Instance; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_session::config::InliningThreshold; 🔒

use rustc_span::def_id::CrateNum; 🔒

use rustc_span::def_id::DefId; 🔒

use rustc_span::Span; 🔒

use rustc_span::Symbol; 🔒

use rustc_symbol_mangling::mangle_internal_symbol; 🔒

use rustc_target::callconv::FnAbi; 🔒

use rustc_target::spec::Arch; 🔒

use rustc_target::spec::Os; 🔒

use crate::alloc_addresses::EvalContextExt; 🔒

use crate::concurrency::data_race; 🔒

use crate::concurrency::data_race::NaReadType; 🔒

use crate::concurrency::data_race::NaWriteType; 🔒

use crate::concurrency::scheduler::DelayedCallbacks; 🔒

use crate::concurrency::AllocDataRaceHandler; 🔒

use crate::concurrency::GenmcCtx; 🔒

use crate::concurrency::GenmcEvalContextExt as _; 🔒

use crate::concurrency::GlobalDataRaceHandler; 🔒

use crate::concurrency::weak_memory; 🔒

use crate::data_structures::range_object_map::RangeObjectMap; 🔒

use crate::helpers::is_no_core; 🔒

use crate::*; 🔒

Structs

AllocExtra

Extra per-allocation data

FrameExtra

Extra data stored with each stack frame

MiriMachine

The machine itself.

PrimitiveLayouts

Precomputed layouts of primitive types

Enums

AlignmentCheck

BacktraceStyle

FloatRoundingErrorMode

IsolatedOp

MiriMemoryKind

Extra memory kinds

Provenance

Pointer provenance.

ProvenanceExtra

The “extra” information a pointer has over a regular AllocId.

RejectOpWith

ValidationMode

Constants

ADDRS_PER_ANON_GLOBAL 🔒

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.

SIGRTMAX

Last real-time signal. signal(7) says it must be between 32 and 64 and specifies SIGRTMAX - SIGRTMIN >= 8 (which is the value of _POSIX_RTSIG_MAX)

SIGRTMIN

First real-time signal. signal(7) says this must be between 32 and 64 and specifies 34 or 35 as typical values.

Traits

MachineCallback

Trait for callbacks handling asynchronous machine operations.

MiriInterpCxExt

A little trait that’s useful to be inherited by extension traits.

Type Aliases

DynMachineCallback

Type alias for boxed machine callbacks with generic argument type.

MemoryKind

MiriInterpCx

A rustc InterpCx for Miri.