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

   1 //! Even referencing an unknown `extern static` already triggers an error.
   2
   3 extern "C" {
   4     static mut FOO: i32;
   5 }
   6
   7 fn main() {
   8     let _val = unsafe { std::ptr::addr_of!(FOO) }; //~ ERROR: is not supported by Miri
   9 }