Module eval 

Main evaluator loop and setting up the initial stack frame.

Re-exports

use std::ffi::OsStr; 🔒

use std::ffi::OsString; 🔒

use std::num::NonZeroI32; 🔒

use std::panic; 🔒

use std::panic::AssertUnwindSafe; 🔒

use std::path::PathBuf; 🔒

use std::rc::Rc; 🔒

use std::task::Poll; 🔒

use std::iter; 🔒

use std::mem; 🔒

use std::thread; 🔒

use rustc_abi::ExternAbi; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_data_structures::fx::FxHashSet; 🔒

use rustc_errors::FatalErrorMarker; 🔒

use rustc_hir::def::Namespace; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::LOCAL_CRATE; 🔒

use rustc_hir_analysis::check::check_function_signature; 🔒

use rustc_middle::middle::exported_symbols::ExportedSymbol; 🔒

use rustc_middle::traits::ObligationCause; 🔒

use rustc_middle::traits::ObligationCauseCode; 🔒

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

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

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

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_session::config::EntryFnType; 🔒

use rustc_target::spec::Os; 🔒

use crate::concurrency::GenmcCtx; 🔒

use crate::diagnostics::report_leaks; 🔒

use crate::helpers::is_no_core; 🔒

use crate::shims::global_ctor; 🔒

use crate::shims::tls; 🔒

use crate::*; 🔒

Structs

MiriConfig

Configuration needed to spawn a Miri instance.

ProgramExitHandler

A state machine that’s run when the program is exiting.

Enums

ExitType

MainThreadState 🔒

The state of the main thread. Implementation detail of on_main_stack_empty.

MiriEntryFnType

ProgramExitState 🔒

Constants

THREAD_YIELDS_AT_EXIT 🔒

When the program exits, we will yield to any other thread that is ready to execute. But we must only do that a finite number of times, or a background thread running loop {} will hang the program.

Functions

args_to_utf16_command_string 🔒

Turns an array of arguments into a Windows command line string.

call_main 🔒

create_ecx

Returns a freshly created InterpCx. Public because this is also used by priroda.

entry_fn

Finds the entry point Miri should execute.

eval_entry

Evaluates the entry function specified by entry_id. Returns Ok(()) if program execution completed with exit code 0. Returns Err(code) if an evaluation error occurred or the program returned a non-0 exit code.