Module provenance_
gc
miri
1.85.0
(4d91de4e4 2025-02-17)
Module provenance_
gc
Module Items
Macros
Structs
Traits
Functions
Type Aliases
In crate miri
Modules
alloc_addresses
alloc_bytes
borrow_tracker
clock
concurrency
diagnostics
eval
helpers
intrinsics
machine
math
mono_hash_map
operator
provenance_gc
range_map
shims
Macros
callback
Structs
AllocExtra
BorTag
CatchUnwindData
Clock
CondvarId
DynSym
FrameExtra
InitOnceId
Instant
Item
LiveAllocs
MiriAllocBytes
MiriConfig
MiriMachine
MonoHashMap
MutexRef
PrimitiveLayouts
RangeMap
RwLockId
Stack
Stacks
SynchronizationObjects
ThreadId
ThreadManager
TlsData
Tree
Enums
AccessKind
AlignmentCheck
AtomicFenceOrd
AtomicReadOrd
AtomicRwOrd
AtomicWriteOrd
BacktraceStyle
BlockReason
BorrowTrackerMethod
EmulateItemResult
EnvVars
IoError
IsolatedOp
MiriMemoryKind
NonHaltingDiagnostic
Permission
Provenance
ProvenanceExtra
ProvenanceMode
RejectOpWith
RetagFields
TerminationInfo
TimeoutAnchor
TimeoutClock
ValidationMode
Constants
MAX_CPUS
MIRI_DEFAULT_ARGS
Traits
MiriInterpCxExt
UnblockCallback
VisitProvenance
Functions
create_ecx
eval_entry
report_error
Type Aliases
ImmTy
MPlaceTy
MemoryKind
MiriInterpCx
OpTy
PlaceTy
Pointer
Scalar
StackEmptyCallback
StrictPointer
VisitWith
miri
Module
provenance_gc
Copy item path
Settings
Help
Summary
Source
Macros
§
no_
provenance
🔒
Structs
§
Live
Allocs
Traits
§
Eval
Context
Ext
Visit
Provenance
Functions
§
remove_
unreachable_
allocs
🔒
remove_
unreachable_
tags
🔒
Type Aliases
§
Visit
With