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

• AsAny
  A trait to work around not having trait object upcasting: Add AsAny as supertrait and your trait objects can be turned into &dyn Any on which you can then call downcast.
• 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.