Module eval

Source
Expand description

Main evaluator loop and setting up the initial stack frame.

Structsยง

MiriConfig
Configuration needed to spawn a Miri instance.

Enumsยง

AlignmentCheck
BacktraceStyle
IsolatedOp
MainThreadState ๐Ÿ”’
The state of the main thread. Implementation detail of on_main_stack_empty.
MiriEntryFnType
RejectOpWith
ValidationMode

Constantsยง

MAIN_THREAD_YIELDS_AT_SHUTDOWN ๐Ÿ”’
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.

Functionsยง

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