List of all items

Structs

• AllocDecodingSession
• AllocDecodingState
• AllocExtra
• AllocId
• AllocRange
• AllocRef
• AllocRefMut
• Allocation
• BorTag
• CatchUnwindData
• Clock
• CondvarId
• ConstAlloc
• ConstAllocation
• EnvVars
• Frame
• FrameExtra
• FrameInfo
• GlobalId
• ImmTy
• InitChunkIter
• InitOnceId
• Instant
• InterpCx
• InterpErrorInfo
• Item
• LitToConstInput
• LocalState
• MPlaceTy
• MemPlace
• Memory
• MiriConfig
• MiriMachine
• MonoHashMap
• MutexId
• OpTy
• PlaceTy
• Pointer
• PrimitiveLayouts
• RangeMap
• RefTracking
• RwLockId
• ScalarSizeMismatch
• Stack
• Stacks
• ThreadId
• ThreadManager
• TlsData
• UninitBytesAccess
• borrow_tracker::BorTag
• borrow_tracker::FrameState
• borrow_tracker::GlobalStateInner
• borrow_tracker::stacked_borrows::Stacks
• borrow_tracker::stacked_borrows::diagnostics::AccessOp
• borrow_tracker::stacked_borrows::diagnostics::AllocHistory
• borrow_tracker::stacked_borrows::diagnostics::Creation
• borrow_tracker::stacked_borrows::diagnostics::DeallocOp
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCx
• borrow_tracker::stacked_borrows::diagnostics::DiagnosticCxBuilder
• borrow_tracker::stacked_borrows::diagnostics::Invalidation
• borrow_tracker::stacked_borrows::diagnostics::Protection
• borrow_tracker::stacked_borrows::diagnostics::RetagOp
• borrow_tracker::stacked_borrows::diagnostics::TagHistory
• borrow_tracker::stacked_borrows::item::Item
• borrow_tracker::stacked_borrows::stack::Stack
• borrow_tracker::stacked_borrows::stack::StackCache
• clock::Clock
• clock::Instant
• concurrency::data_race::AtomicMemoryCellClocks
• concurrency::data_race::DataRace
• concurrency::data_race::GlobalState
• concurrency::data_race::MemoryCellClocks
• concurrency::data_race::ThreadClockSet
• concurrency::data_race::ThreadExtraState
• concurrency::data_race::VClockAlloc
• concurrency::init_once::InitOnce
• concurrency::init_once::InitOnceId
• concurrency::init_once::InitOnceWaiter
• concurrency::range_object_map::Elem
• concurrency::range_object_map::RangeObjectMap
• concurrency::sync::Condvar
• concurrency::sync::CondvarId
• concurrency::sync::CondvarWaiter
• concurrency::sync::Futex
• concurrency::sync::FutexWaiter
• concurrency::sync::Mutex
• concurrency::sync::MutexId
• concurrency::sync::RwLock
• concurrency::sync::RwLockId
• concurrency::sync::SynchronizationState
• concurrency::thread::Thread
• concurrency::thread::ThreadId
• concurrency::thread::ThreadManager
• concurrency::thread::TimeoutCallbackInfo
• concurrency::vector_clock::VClock
• concurrency::vector_clock::VectorIdx
• concurrency::weak_memory::LoadInfo
• concurrency::weak_memory::StoreBuffer
• concurrency::weak_memory::StoreBufferAlloc
• concurrency::weak_memory::StoreElement
• eval::MiriConfig
• interpret::AllocDecodingSession
• interpret::AllocDecodingState
• interpret::AllocId
• interpret::AllocRange
• interpret::AllocRef
• interpret::AllocRefMut
• interpret::Allocation
• interpret::ConstAlloc
• interpret::ConstAllocation
• interpret::Frame
• interpret::FrameInfo
• interpret::GlobalId
• interpret::ImmTy
• interpret::InitChunkIter
• interpret::InterpCx
• interpret::InterpErrorInfo
• interpret::LitToConstInput
• interpret::LocalState
• interpret::MPlaceTy
• interpret::MemPlace
• interpret::Memory
• interpret::OpTy
• interpret::PlaceTy
• interpret::Pointer
• interpret::RefTracking
• interpret::ScalarSizeMismatch
• interpret::UninitBytesAccess
• intptrcast::GlobalStateInner
• machine::AllocExtra
• machine::FrameExtra
• machine::MiriMachine
• machine::PrimitiveLayouts
• mono_hash_map::MonoHashMap
• range_map::Elem
• range_map::RangeMap
• shims::env::EnvVars
• shims::panic::CatchUnwindData
• shims::time::UnblockCallback
• shims::tls::RunningDtorState
• shims::tls::TlsData
• shims::tls::TlsDtorsState
• shims::tls::TlsEntry
• shims::unix::fs::DirHandler
• shims::unix::fs::FileHandle
• shims::unix::fs::FileHandler
• shims::unix::fs::FileMetadata
• shims::unix::fs::NullOutput
• shims::unix::fs::OpenDir

Enums

• AlignmentCheck
• AllocError
• AllocKind
• AtomicFenceOrd
• AtomicReadOrd
• AtomicRwOrd
• AtomicWriteOrd
• BacktraceStyle
• BorrowTrackerMethod
• CheckInAllocMsg
• ConstValue
• CtfeValidationMode
• Dlsym
• ErrorHandled
• FnVal
• GlobalAlloc
• Immediate
• InitChunk
• InternKind
• InterpError
• InvalidProgramInfo
• IsolatedOp
• LitToConstError
• LocalValue
• MemPlaceMeta
• MemoryKind
• MiriMemoryKind
• NonHaltingDiagnostic
• Operand
• Permission
• Place
• Provenance
• ProvenanceExtra
• ProvenanceMode
• RejectOpWith
• ResourceExhaustionInfo
• RetagFields
• Scalar
• StackPopCleanup
• StackPopJump
• StackPopUnwind
• TerminationInfo
• Time
• UndefinedBehaviorInfo
• UnsupportedOpInfo
• borrow_tracker::AccessKind
• borrow_tracker::AllocState
• borrow_tracker::BorrowTrackerMethod
• borrow_tracker::ProtectorKind
• borrow_tracker::RetagFields
• borrow_tracker::stacked_borrows::ItemInvalidationCause
• borrow_tracker::stacked_borrows::NewPermission
• borrow_tracker::stacked_borrows::diagnostics::InvalidationCause
• borrow_tracker::stacked_borrows::diagnostics::Operation
• borrow_tracker::stacked_borrows::diagnostics::RetagCause
• borrow_tracker::stacked_borrows::item::Permission
• clock::ClockKind
• clock::InstantKind
• concurrency::data_race::AtomicFenceOrd
• concurrency::data_race::AtomicReadOrd
• concurrency::data_race::AtomicRwOrd
• concurrency::data_race::AtomicWriteOrd
• concurrency::data_race::WriteType
• concurrency::init_once::InitOnceStatus
• concurrency::range_object_map::AccessType
• concurrency::sync::CondvarLock
• concurrency::sync::RwLockMode
• concurrency::thread::SchedulingAction
• concurrency::thread::ThreadJoinStatus
• concurrency::thread::ThreadState
• concurrency::thread::Time
• concurrency::weak_memory::LoadRecency
• diagnostics::DiagLevel
• diagnostics::NonHaltingDiagnostic
• diagnostics::TerminationInfo
• eval::AlignmentCheck
• eval::BacktraceStyle
• eval::IsolatedOp
• eval::MainThreadState
• eval::RejectOpWith
• interpret::AllocError
• interpret::AllocKind
• interpret::CheckInAllocMsg
• interpret::ConstValue
• interpret::CtfeValidationMode
• interpret::ErrorHandled
• interpret::FnVal
• interpret::GlobalAlloc
• interpret::Immediate
• interpret::InitChunk
• interpret::InternKind
• interpret::InterpError
• interpret::InvalidProgramInfo
• interpret::LitToConstError
• interpret::LocalValue
• interpret::MemPlaceMeta
• interpret::MemoryKind
• interpret::Operand
• interpret::Place
• interpret::ResourceExhaustionInfo
• interpret::Scalar
• interpret::StackPopCleanup
• interpret::StackPopJump
• interpret::StackPopUnwind
• interpret::UndefinedBehaviorInfo
• interpret::UnsupportedOpInfo
• intptrcast::ProvenanceMode
• machine::MiriMemoryKind
• machine::Provenance
• machine::ProvenanceExtra
• shims::dlsym::Dlsym
• shims::ffi_support::CArg
• shims::foreign_items::EmulateByNameResult
• shims::intrinsics::atomic::AtomicOp
• shims::os_str::PathConversion
• shims::tls::TlsDtorsStatePriv
• shims::unix::android::dlsym::Dlsym
• shims::unix::dlsym::Dlsym
• shims::unix::freebsd::dlsym::Dlsym
• shims::unix::linux::dlsym::Dlsym
• shims::unix::macos::dlsym::Dlsym
• shims::windows::dlsym::Dlsym
• shims::windows::handle::Handle
• shims::windows::handle::PseudoHandle

Traits

• AllocMap
• Machine
• MachineStopType
• MayLeak
• MiriInterpCxExt
• MutValueVisitor
• PointerArithmetic
• Provenance
• SyncId
• Value
• ValueVisitor
• VisitTags
• borrow_tracker::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextExt
• borrow_tracker::stacked_borrows::EvalContextPrivExt
• concurrency::data_race::EvalContextExt
• concurrency::data_race::EvalContextPrivExt
• concurrency::init_once::EvalContextExt
• concurrency::init_once::EvalContextExtPriv
• concurrency::sync::EvalContextExt
• concurrency::sync::EvalContextExtPriv
• concurrency::sync::SyncId
• concurrency::thread::EvalContextExt
• concurrency::thread::EvalContextPrivExt
• concurrency::thread::MachineCallback
• concurrency::weak_memory::EvalContextExt
• diagnostics::EvalContextExt
• helpers::EvalContextExt
• helpers::convert::Truncate
• helpers::convert::implementations::NarrowerThan
• interpret::AllocMap
• interpret::Machine
• interpret::MachineStopType
• interpret::MayLeak
• interpret::MutValueVisitor
• interpret::PointerArithmetic
• interpret::Provenance
• interpret::Value
• interpret::ValueVisitor
• machine::MiriInterpCxExt
• operator::EvalContextExt
• shims::EvalContextExt
• shims::backtrace::EvalContextExt
• shims::dlsym::EvalContextExt
• shims::env::EvalContextExt
• shims::ffi_support::EvalContextExt
• shims::foreign_items::EvalContextExt
• shims::intrinsics::EvalContextExt
• shims::intrinsics::atomic::EvalContextExt
• shims::intrinsics::atomic::EvalContextPrivExt
• shims::intrinsics::simd::EvalContextExt
• shims::os_str::EvalContextExt
• shims::panic::EvalContextExt
• shims::time::EvalContextExt
• shims::tls::EvalContextPrivExt
• shims::unix::android::dlsym::EvalContextExt
• shims::unix::android::foreign_items::EvalContextExt
• shims::unix::dlsym::EvalContextExt
• shims::unix::foreign_items::EvalContextExt
• shims::unix::freebsd::dlsym::EvalContextExt
• shims::unix::freebsd::foreign_items::EvalContextExt
• shims::unix::fs::EvalContextExt
• shims::unix::fs::EvalContextExtPrivate
• shims::unix::fs::FileDescriptor
• shims::unix::linux::dlsym::EvalContextExt
• shims::unix::linux::foreign_items::EvalContextExt
• shims::unix::macos::dlsym::EvalContextExt
• shims::unix::macos::foreign_items::EvalContextExt
• shims::unix::sync::EvalContextExt
• shims::unix::thread::EvalContextExt
• shims::windows::dlsym::EvalContextExt
• shims::windows::foreign_items::EvalContextExt
• shims::windows::handle::EvalContextExt
• shims::windows::sync::EvalContextExt
• shims::windows::sync::EvalContextExtPriv
• shims::windows::thread::EvalContextExt
• tag_gc::EvalContextExt
• tag_gc::VisitTags

Macros

• compile_time_machine
• concurrency::sync::declare_id
• helpers::convert::implementations::impl_narrower_than
• interpret::compile_time_machine

Functions

• alloc_range
• borrow_tracker::stacked_borrows::diagnostics::error_cause
• borrow_tracker::stacked_borrows::diagnostics::operation_summary
• borrow_tracker::stacked_borrows::err_sb_ub
• create_ecx
• diagnostics::prune_stacktrace
• diagnostics::report_error
• diagnostics::report_msg
• eval::args_to_utf16_command_string
• eval::create_ecx
• eval::eval_entry
• eval_entry
• get_slice_bytes
• helpers::check_arg_count
• helpers::get_local_crates
• helpers::isolation_abort_error
• helpers::target_os_is_unix
• helpers::try_resolve_did
• intern_const_alloc_recursive
• interpret::alloc_range
• interpret::get_slice_bytes
• interpret::intern_const_alloc_recursive
• interpret::read_target_uint
• interpret::specialized_encode_alloc_id
• interpret::struct_error
• interpret::write_target_uint
• read_target_uint
• report_error
• shims::env::alloc_env_var_as_c_str
• shims::env::alloc_env_var_as_wide_str
• shims::env::windows_check_buffer_size
• shims::intrinsics::simd::bool_to_simd_element
• shims::intrinsics::simd::fmax_op
• shims::intrinsics::simd::fmin_op
• shims::intrinsics::simd::simd_bitmask_index
• shims::intrinsics::simd::simd_element_to_bool
• shims::os_str::bytes_to_os_str
• shims::os_str::os_str_to_bytes
• shims::time::system_time_to_duration
• shims::unix::fs::extract_sec_and_nsec
• shims::unix::fs::maybe_sync_file
• shims::unix::linux::foreign_items::getrandom
• shims::unix::linux::sync::futex
• shims::unix::sync::cond_get_clock_id
• shims::unix::sync::cond_get_id
• shims::unix::sync::cond_reset_id
• shims::unix::sync::cond_set_clock_id
• shims::unix::sync::condattr_get_clock_id
• shims::unix::sync::condattr_set_clock_id
• shims::unix::sync::is_mutex_kind_default
• shims::unix::sync::is_mutex_kind_normal
• shims::unix::sync::mutex_get_id
• shims::unix::sync::mutex_get_kind
• shims::unix::sync::mutex_reset_id
• shims::unix::sync::mutex_set_kind
• shims::unix::sync::mutexattr_get_kind
• shims::unix::sync::mutexattr_set_kind
• shims::unix::sync::post_cond_signal
• shims::unix::sync::reacquire_cond_mutex
• shims::unix::sync::release_cond_mutex_and_block
• shims::unix::sync::rwlock_get_id
• specialized_encode_alloc_id
• struct_error
• write_target_uint

Type Definitions

• AllocResult
• CallId
• EvalToAllocationRawResult
• EvalToConstValueResult
• EvalToValTreeResult
• InterpResult
• MiriInterpCx
• StackEmptyCallback
• borrow_tracker::CallId
• borrow_tracker::GlobalState
• borrow_tracker::stacked_borrows::AllocState
• concurrency::data_race::AllocState
• concurrency::range_object_map::Position
• concurrency::thread::StackEmptyCallback
• concurrency::thread::TimeoutCallback
• concurrency::vector_clock::VTimestamp
• concurrency::weak_memory::AllocState
• interpret::AllocResult
• interpret::EvalToAllocationRawResult
• interpret::EvalToConstValueResult
• interpret::EvalToValTreeResult
• interpret::InterpResult
• intptrcast::GlobalState
• machine::MiriInterpCx
• shims::tls::TlsKey

Constants

• MIRI_DEFAULT_ARGS
• PAGE_SIZE
• STACK_ADDR
• STACK_SIZE
• borrow_tracker::stacked_borrows::item::PERM_MASK
• borrow_tracker::stacked_borrows::item::PERM_SHIFT
• borrow_tracker::stacked_borrows::item::PROTECTED_MASK
• borrow_tracker::stacked_borrows::item::PROTECTED_SHIFT
• borrow_tracker::stacked_borrows::item::TAG_MASK
• borrow_tracker::stacked_borrows::stack::CACHE_LEN
• clock::NANOSECONDS_PER_BASIC_BLOCK
• concurrency::vector_clock::SMALL_VECTOR
• concurrency::weak_memory::STORE_BUFFER_LIMIT
• eval::MAIN_THREAD_YIELDS_AT_SHUTDOWN
• helpers::UNIX_IO_ERROR_TABLE
• machine::PAGE_SIZE
• machine::STACK_ADDR
• machine::STACK_SIZE
• shims::unix::UID
• shims::unix::sync::PTHREAD_MUTEX_NORMAL_FLAG
• shims::windows::sync::CONDVAR_ID_OFFSET
• shims::windows::sync::INIT_ONCE_ID_OFFSET
• shims::windows::sync::SRWLOCK_ID_OFFSET