Module miri::helpers

Modules

convert

Structs

UnsafeCellVisitor 🔒

Visiting the memory covered by a MemPlace, being aware of whether we are inside an UnsafeCell or not.

Constants

UNIX_IO_ERROR_TABLE 🔒

Traits

EvalContextExt

Functions

check_arg_count

Check that the number of args is what we expect.

find_children 🔒

Yield all children of the given item, that have the given name.

get_local_crates

Retrieve the list of local crates that should have been passed by cargo-miri in MIRI_LOCAL_CRATES and turn them into CrateNums.

isolation_abort_error

target_os_is_unix

Helper function used inside the shims of foreign functions to check that target_os is a supported UNIX OS.

try_resolve_did 🔒

Gets an instance for a path.

Opaque Types

 🔒