Skip to main content

Module helpers

miri

Module helpers 

Source

Re-exports§

use std::num::NonZero; 🔒
use std::sync::Mutex; 🔒
use std::assert_matches; 🔒
use std::cmp; 🔒
use std::iter; 🔒
use rand::Rng; 🔒
use rustc_abi::Align; 🔒
use rustc_abi::ExternAbi; 🔒
use rustc_abi::FieldIdx; 🔒
use rustc_abi::FieldsShape; 🔒
use rustc_abi::Size; 🔒
use rustc_abi::Variants; 🔒
use rustc_data_structures::fx::FxBuildHasher; 🔒
use rustc_data_structures::fx::FxHashSet; 🔒
use rustc_hir::def::DefKind; 🔒
use rustc_hir::def::Namespace; 🔒
use rustc_hir::def_id::CRATE_DEF_INDEX; 🔒
use rustc_hir::def_id::CrateNum; 🔒
use rustc_hir::def_id::DefId; 🔒
use rustc_hir::def_id::LOCAL_CRATE; 🔒
use rustc_middle::middle::codegen_fn_attrs::CodegenFnAttrFlags; 🔒
use rustc_middle::middle::dependency_format::Linkage; 🔒
use rustc_middle::middle::exported_symbols::ExportedSymbol; 🔒
use rustc_middle::ty::layout::LayoutOf; 🔒
use rustc_middle::ty::layout::TyAndLayout; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::FnSigKind; 🔒
use rustc_middle::ty::IntTy; 🔒
use rustc_middle::ty::Ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::UintTy; 🔒
use rustc_span::Span; 🔒
use rustc_span::Symbol; 🔒
use rustc_structures::CrateType; 🔒
use rustc_symbol_mangling::mangle_internal_symbol; 🔒
use rustc_target::spec::Os; 🔒
use crate::*; 🔒

Traits§

EvalContextExt
ToU64
Similarly, a maximum address size of u64 is assumed widely here, so let’s have ergonomic conversion from usize to u64.
ToUsize
We don’t support 16-bit systems, so let’s have ergonomic conversion from u32 to usize.

Functions§

bool_to_simd_element 🔒
is_no_core
Check whether the local crate has the #![no_core] attribute.
isolation_abort_error
iter_exported_symbols
Call f for each exported symbol.
path_ty_layout
Gets the layout of a type at a path.
resolve_path
Gets an instance for a path.
try_resolve_did 🔒
Gets an instance for a path.
try_resolve_path
Gets an instance for a path; fails gracefully if the path does not exist.
windows_check_buffer_size 🔒
Check whether an operation that writes to a target buffer was successful. Accordingly select return value. Local helper function to be used in Windows shims.