Similar to how the alignment is already checked, this adds a check for null pointer dereferences in debug mode. It is implemented similarly to the alignment check as a MirPass. This is related to a 2025H1 project goal for better UB checks in debug mode: https://github.com/rust-lang/rust-project-goals/pull/177. |
||
|---|---|---|
| .. | ||
| addrof_null.rs | ||
| borrowed_mut_null.rs | ||
| borrowed_null.rs | ||
| null_lhs.rs | ||
| null_rhs.rs | ||
| place_without_read.rs | ||
| two_pointers.rs | ||
| zero_sized_access.rs | ||