src/tools/miri/tests/fail/extern_static_in_const.rs


1
2
3
4
5
6
7
8
9
10
11

//! Even referencing an unknown `extern static` already triggers an error.

extern "C" {
    static E: [u8; 0];
}

static X: &'static [u8; 0] = unsafe { &E };

fn main() {
    let _val = X; //~ ERROR: is not supported by Miri
}