]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 89bdbd0 dd9f31d)
Rollup merge of #97323 - 5225225:strict_init_checks, r=oli-obk
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Wed, 25 May 2022 05:31:44 +0000 (07:31 +0200)
committerGitHub <noreply@github.com>
Wed, 25 May 2022 05:31:44 +0000 (07:31 +0200)
commit02c0c768c1cc39e9b372bc85368ab58664463623
tree8b5955d17d93a6cd2fe79de93753c0bb5c5f56catree | snapshot
parent89bdbd0294ddb4ecfa4b75ccd8446d4d5c4d60e9commit | diff
parentdd9f31d000a33c52383f9af9e1dbf44f754590c3commit | diff
Rollup merge of #97323 - 5225225:strict_init_checks, r=oli-obk

Introduce stricter checks for might_permit_raw_init under a debug flag

This is intended to be a version of the strict checks tried out in #79296, but also checking number validity (under the assumption that `let _ = std::mem::uninitialized::<u32>()` is UB, which seems to be what https://github.com/rust-lang/unsafe-code-guidelines/issues/71 is leaning towards.)
Empowering everyone to build reliable and efficient software.