1 files changed, 9 insertions, 0 deletions
diff --git a/src/tools/miri/tests/fail/extern_static.rs b/src/tools/miri/tests/fail/extern_static.rs
new file mode 100644
index 00000000000..f8805db8d14
--- /dev/null
+++ b/src/tools/miri/tests/fail/extern_static.rs
@@ -0,0 +1,9 @@
+//! Even referencing an unknown `extern static` already triggers an error.
+
+extern "C" {
+    static mut FOO: i32;
+}
+
+fn main() {
+    let _val = unsafe { std::ptr::addr_of!(FOO) }; //~ ERROR: is not supported by Miri
+}