Module miri::eval

source ·
Expand description

Main evaluator loop and setting up the initial stack frame.


Configuration needed to spawn a Miri instance.


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


When the main thread would exit, 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.


Turns an array of arguments into a Windows command line string.
Returns a freshly created InterpCx. Public because this is also used by priroda.
Evaluates the entry function specified by entry_id. Returns Some(return_code) if program executed completed. Returns None if an evaluation error occurred.