about summary refs log tree commit diff
path: root/src/tools/miri/tests/fail/extern_static.rs
blob: 0cbf1646be9d825bd61daa56b83194e9891e6130 (plain)
1
2
3
4
5
6
7
8
9
//! Even referencing an unknown `extern static` already triggers an error.

extern "C" {
    static mut FOO: i32;
}

fn main() {
    let _val = std::ptr::addr_of!(FOO); //~ ERROR: is not supported by Miri
}