From 077a7f741fcc1c2f9ea31dbc23b8fee5820c3cb5 Mon Sep 17 00:00:00 2001
From: Yuki Okushi <huyuumi.dev@gmail.com>
Date: Thu, 16 Apr 2020 10:09:34 +0900
Subject: [PATCH] Add test for issue-28575

---
 src/test/ui/intrinsics/issue-28575.rs     |  9 +++++++++
 src/test/ui/intrinsics/issue-28575.stderr | 11 +++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 src/test/ui/intrinsics/issue-28575.rs
 create mode 100644 src/test/ui/intrinsics/issue-28575.stderr

diff --git a/src/test/ui/intrinsics/issue-28575.rs b/src/test/ui/intrinsics/issue-28575.rs
new file mode 100644
index 00000000000..141136d25b2
--- /dev/null
+++ b/src/test/ui/intrinsics/issue-28575.rs
@@ -0,0 +1,9 @@
+#![feature(intrinsics)]
+
+extern "C" {
+    pub static FOO: extern "rust-intrinsic" fn();
+}
+
+fn main() {
+    FOO() //~ ERROR: use of extern static is unsafe
+}
diff --git a/src/test/ui/intrinsics/issue-28575.stderr b/src/test/ui/intrinsics/issue-28575.stderr
new file mode 100644
index 00000000000..66369decf42
--- /dev/null
+++ b/src/test/ui/intrinsics/issue-28575.stderr
@@ -0,0 +1,11 @@
+error[E0133]: use of extern static is unsafe and requires unsafe function or block
+  --> $DIR/issue-28575.rs:8:5
+   |
+LL |     FOO()
+   |     ^^^ use of extern static
+   |
+   = note: extern statics are not controlled by the Rust type system: invalid data, aliasing violations or data races will cause undefined behavior
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0133`.