miri::borrow_tracker::stacked_borrows

Module diagnostics

Source

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 🔒