diff options
| author | bors <bors@rust-lang.org> | 2025-09-24 18:35:58 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-09-24 18:35:58 +0000 |
| commit | caccb4d0368bd918ef6668af8e13834d07040417 (patch) | |
| tree | a0d193440aa5f0f1781db2028555338c0f7cf475 /tests/ui/consts/const-eval/ub-nonnull.rs | |
| parent | 15283f6fe95e5b604273d13a428bab5fc0788f5a (diff) | |
| parent | ec378dc7732e7a2657539072cfd25c68f8802509 (diff) | |
| download | rust-caccb4d0368bd918ef6668af8e13834d07040417.tar.gz rust-caccb4d0368bd918ef6668af8e13834d07040417.zip | |
Auto merge of #146999 - matthiaskrgr:rollup-0gbkm82, r=matthiaskrgr
Rollup of 8 pull requests Successful merges: - rust-lang/rust#146711 (fix 2 borrowck issues) - rust-lang/rust#146857 (revert change removing `has_infer` check. Commit conservatively patch…) - rust-lang/rust#146897 (fix ICE in rustdoc::invalid_html_tags) - rust-lang/rust#146915 (Make missed precondition-free float intrinsics safe) - rust-lang/rust#146932 (Switch next-solver related rustc dependencies of r-a to crates.io ones) - rust-lang/rust#146959 (temporary-lifetime-extension-tuple-ctor.rs: make usable on all editions) - rust-lang/rust#146964 (library: std: sys: pal: uefi: Add some comments) - rust-lang/rust#146969 (const-eval: better wording for errors involving maybe-null pointers) r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'tests/ui/consts/const-eval/ub-nonnull.rs')
| -rw-r--r-- | tests/ui/consts/const-eval/ub-nonnull.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/ui/consts/const-eval/ub-nonnull.rs b/tests/ui/consts/const-eval/ub-nonnull.rs index 91646842624..851f3996cd1 100644 --- a/tests/ui/consts/const-eval/ub-nonnull.rs +++ b/tests/ui/consts/const-eval/ub-nonnull.rs @@ -57,4 +57,8 @@ const NULL_FAT_PTR: NonNull<dyn Send> = unsafe { mem::transmute((0_usize, meta)) }; +static S: u32 = 0; // just a static to construct a maybe-null pointer off of +const MAYBE_NULL_PTR: NonNull<()> = unsafe { mem::transmute((&raw const S).wrapping_add(4)) }; +//~^ ERROR invalid value + fn main() {} |