src/tools/miri/tests/fail/validity/invalid_char_cast.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// Make sure we find these even with many checks disabled.
//@compile-flags: -Zmiri-disable-alignment-check -Zmiri-disable-stacked-borrows -Zmiri-disable-validation
#![feature(core_intrinsics)]
#![feature(custom_mir)]

use std::intrinsics::mir::*;

#[custom_mir(dialect = "runtime", phase = "optimized")]
fn cast(ptr: *const char) -> u32 {
    mir! {
        {
            RET = *ptr as u32; //~ERROR: interpreting an invalid 32-bit value as a char
            Return()
        }
    }
}

pub fn main() {
    let v = u32::MAX;
    cast(&v as *const u32 as *const char);
}