From 390899e8b9c9b3b415a630e663418f1ad7e10c4d Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 26 Jul 2020 15:55:15 +0200
Subject: [PATCH] test referencing unsupported extern static

---
 tests/compile-fail/extern_static.rs | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/compile-fail/extern_static.rs

diff --git a/tests/compile-fail/extern_static.rs b/tests/compile-fail/extern_static.rs
new file mode 100644
index 00000000000..650dfd0ac78
--- /dev/null
+++ b/tests/compile-fail/extern_static.rs
@@ -0,0 +1,10 @@
+#![feature(raw_ref_op)]
+//! Even referencing an unknown `extern static` already triggers an error.
+
+extern "C" {
+    static mut FOO: i32;
+}
+
+fn main() {
+    let _val = unsafe { &raw const FOO }; //~ ERROR is not supported by Miri
+}
-- 
2.44.0