mirror of
https://github.com/rust-lang/rust.git
synced 2025-04-16 05:56:56 +00:00
add a test
This commit is contained in:
parent
b7b5091378
commit
2a9b44d97d
15
src/test/ui/consts/const-eval/partial_ptr_overwrite.rs
Normal file
15
src/test/ui/consts/const-eval/partial_ptr_overwrite.rs
Normal file
@ -0,0 +1,15 @@
|
||||
// Test for the behavior described in <https://github.com/rust-lang/rust/issues/87184>.
|
||||
#![feature(const_mut_refs, const_raw_ptr_deref)]
|
||||
|
||||
const PARTIAL_OVERWRITE: () = {
|
||||
let mut p = &42;
|
||||
unsafe {
|
||||
let ptr: *mut _ = &mut p;
|
||||
*(ptr as *mut u8) = 123; //~ ERROR any use of this value
|
||||
//~| unable to overwrite parts of a pointer
|
||||
//~| WARN previously accepted
|
||||
}
|
||||
let x = *p;
|
||||
};
|
||||
|
||||
fn main() {}
|
20
src/test/ui/consts/const-eval/partial_ptr_overwrite.stderr
Normal file
20
src/test/ui/consts/const-eval/partial_ptr_overwrite.stderr
Normal file
@ -0,0 +1,20 @@
|
||||
error: any use of this value will cause an error
|
||||
--> $DIR/partial_ptr_overwrite.rs:8:9
|
||||
|
|
||||
LL | / const PARTIAL_OVERWRITE: () = {
|
||||
LL | | let mut p = &42;
|
||||
LL | | unsafe {
|
||||
LL | | let ptr: *mut _ = &mut p;
|
||||
LL | | *(ptr as *mut u8) = 123;
|
||||
| | ^^^^^^^^^^^^^^^^^^^^^^^ unable to overwrite parts of a pointer in memory at alloc4
|
||||
... |
|
||||
LL | | let x = *p;
|
||||
LL | | };
|
||||
| |__-
|
||||
|
|
||||
= note: `#[deny(const_err)]` on by default
|
||||
= warning: this was previously accepted by the compiler but is being phased out; it will become a hard error in a future release!
|
||||
= note: for more information, see issue #71800 <https://github.com/rust-lang/rust/issues/71800>
|
||||
|
||||
error: aborting due to previous error
|
||||
|
Loading…
Reference in New Issue
Block a user