Module ub_checks

🔬This is a nightly-only experimental API. (ub_checks)

Provides the assert_unsafe_precondition macro as well as some utility functions that cover common preconditions.

Re-exports

pub use assert_unsafe_precondition;Experimental

pub use intrinsics::ub_checks as check_library_ub;Experimental

Functions

check_language_ub 🔒 Experimental

Determines whether we should check for language UB.

is_valid_allocation_size 🔒 Experimental

maybe_is_aligned_and_not_null 🔒 Experimental

Checks whether ptr is properly aligned with respect to the given alignment, and if is_zst == false, that ptr is not null.

maybe_is_nonoverlapping 🔒 Experimental

Checks whether the regions of memory starting at src and dst of size count * size do not overlap.