Add test batch 1

3 files changed, 22 insertions, 0 deletions

diff --git a/tests/ui/unsafe/auxiliary/aux-5844.rs b/tests/ui/unsafe/auxiliary/aux-5844.rs
new file mode 100644
index 00000000000..ea83378cad6
--- /dev/null
+++ b/tests/ui/unsafe/auxiliary/aux-5844.rs
@@ -0,0 +1,3 @@
+extern "C" {
+    pub fn rand() -> u32;
+}
diff --git a/tests/ui/unsafe/extern-function-requires-unsafe-5844.rs b/tests/ui/unsafe/extern-function-requires-unsafe-5844.rs
new file mode 100644
index 00000000000..11863ce647a
--- /dev/null
+++ b/tests/ui/unsafe/extern-function-requires-unsafe-5844.rs
@@ -0,0 +1,8 @@
+// https://github.com/rust-lang/rust/issues/5844
+//@aux-build:aux-5844.rs
+
+extern crate aux_5844;
+
+fn main() {
+    aux_5844::rand(); //~ ERROR: requires unsafe
+}
diff --git a/tests/ui/unsafe/extern-function-requires-unsafe-5844.stderr b/tests/ui/unsafe/extern-function-requires-unsafe-5844.stderr
new file mode 100644
index 00000000000..44dee178991
--- /dev/null
+++ b/tests/ui/unsafe/extern-function-requires-unsafe-5844.stderr
@@ -0,0 +1,11 @@
+error[E0133]: call to unsafe function `rand` is unsafe and requires unsafe function or block
+  --> $DIR/extern-function-requires-unsafe-5844.rs:7:5
+   |
+LL |     aux_5844::rand();
+   |     ^^^^^^^^^^^^^^^^ call to unsafe function
+   |
+   = note: consult the function's documentation for information on how to avoid undefined behavior
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0133`.