]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 9ddae15 0b781b0)
Rollup merge of #97216 - RalfJung:null-ptr-check, r=oli-obk
authorYuki Okushi <jtitor@2k36.org>
Wed, 1 Jun 2022 14:36:46 +0000 (23:36 +0900)
committerGitHub <noreply@github.com>
Wed, 1 Jun 2022 14:36:46 +0000 (23:36 +0900)
commit2ab919ad9c993634bccae78504524f505ce1e5c0
treebe3cd1dbd7532420e36a6a5c8ef049bfde48f145tree | snapshot
parent9ddae155322de3ed2f348629925a18538e96020ccommit | diff
parent0b781b04cb1168095807f86e3b0dfadebf3a1ed2commit | diff
Rollup merge of #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 https://github.com/rust-lang/rust/pull/97188. Those checks were too early and hence incorrect.
compiler/rustc_const_eval/src/interpret/memory.rs diff1 | diff2 | blob | history
Empowering everyone to build reliable and efficient software.