Skip to main content Module check_pointers Copy item path Source use rustc_attr_ir::lang_items::LangItem ; 🔒 use rustc_index::IndexVec ; 🔒 use rustc_middle::mir::visit::MutatingUseContext ; 🔒 use rustc_middle::mir::visit::NonMutatingUseContext ; 🔒 use rustc_middle::mir::visit::PlaceContext ; 🔒 use rustc_middle::mir::visit::Visitor ; 🔒 use rustc_middle::ty ; 🔒 use rustc_middle::ty::Ty ; 🔒 use rustc_middle::ty::TyCtxt ; 🔒 use tracing::debug ; 🔒 use tracing::trace ; 🔒 use rustc_middle::mir ::*; 🔒 PointerCheck 🔒 Details of a pointer check, the condition on which we decide whether to
fail the assert and an AssertKind that defines the behavior on failure. PointerFinder 🔒 BorrowedFieldProjectionMode 🔒 When checking for borrows of field projections (&(*ptr).a), we might want
to check for the field type (type of .a in the example). This enum defines
the variations (pass the pointer Ty or the field Ty ). check_pointers 🔒 Utility for adding a check for read/write on every sized, raw pointer. split_block 🔒