Module check_pointers

Structs

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 🔒

Enums

BorrowCheckMode 🔒

Indicates whether we insert the checks for borrow places of a raw pointer. Concretely places with MutatingUseContext::Borrow or NonMutatingUseContext::SharedBorrow.

Functions

check_pointers 🔒

Utility for adding a check for read/write on every sized, raw pointer.

split_block 🔒