Rollup merge of rust-lang#97216 - RalfJung:null-ptr-check, r=oli-obk

Ensure we never consider the null pointer dereferencable

This replaces the checks that are being removed in rust-lang#97188. Those checks were too early and hence incorrect.

Author: JohnTitor

compiler/rustc_const_eval/src/interpret/memory.rs

@@ -441,6 +441,10 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
                         msg,
                     })
                 }
+                // Ensure we never consider the null pointer dereferencable.
+                if M::PointerTag::OFFSET_IS_ADDR {
+                    assert_ne!(ptr.addr(), Size::ZERO);
+                }
                 // Test align. Check this last; if both bounds and alignment are violated
                 // we want the error to be about the bounds.
                 if let Some(align) = align {