Bastian Kersting 8196d260e8 Insert null checks for pointer dereferences when debug assertions are enabled ...

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.

2025-01-31 11:13:34 +00:00

..

src

Insert null checks for pointer dereferences when debug assertions are enabled

2025-01-31 11:13:34 +00:00

Cargo.toml

Use strict_provenance

2025-01-25 13:47:07 +01:00