Module helpers Copy item path Source AccessKind Indicates which kind of access is being performed. EvalContextExt ToHost Convert a softfloat type to its corresponding hostfloat type. ToSoft Convert a hostfloat type to its corresponding softfloat type. ToU64 Similarly, a maximum address size of u64 is assumed widely here, so let’s have ergonomic
converion from usize to u64. ToUsize We don’t support 16-bit systems, so let’s have ergonomic conversion from u32 to usize. bool_to_simd_element 🔒 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 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.