Module diagnostics

miri1.84.0-dev

Module diagnostics

Module Items

Structs
Enums
Functions

In miri::borrow_tracker::stacked_borrows

Modules

diagnostics
item
stack

Structs

Stacks

Enums

ItemInvalidationCause
NewPermission

Traits

EvalContextExt
EvalContextPrivExt

Type Aliases

AllocState

miri::borrow_tracker::stacked_borrows

Module diagnostics

Settings

Help

Structs§

AccessOp 🔒
AllocHistory
Creation 🔒
DeallocOp 🔒
DiagnosticCx
DiagnosticCxBuilder
Invalidation 🔒
Protection 🔒
RetagInfo
RetagOp 🔒
TagHistory

Enums§

InvalidationCause 🔒
Operation 🔒
RetagCause

Functions§

err_sb_ub 🔒
Error reporting
error_cause 🔒
operation_summary 🔒