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

   1 //! Even referencing an unknown `extern static` already triggers an error.
   2
   3 extern "C" {
   4     static E: [u8; 0];
   5 }
   6
   7 static X: &'static [u8; 0] = unsafe { &E };
   8
   9 fn main() {
  10     let _val = X; //~ ERROR: is not supported by Miri
  11 }