From: Alex Crichton <alex@alexcrichton.com>
Date: Tue, 23 Jul 2013 04:48:41 +0000 (-0700)
Subject: Add a test for #5844 (a closed issue now)
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=5c6069141b10f41e2478c335fd4c546e27cc4ce4;p=rust.git

Add a test for #5844 (a closed issue now)
---

diff --git a/src/test/auxiliary/issue_5844_aux.rs b/src/test/auxiliary/issue_5844_aux.rs
new file mode 100644
index 00000000000..78e87f32b79
--- /dev/null
+++ b/src/test/auxiliary/issue_5844_aux.rs
@@ -0,0 +1,16 @@
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+use std::libc;
+
+extern "C" {
+    pub fn rand() -> libc::c_int;
+}
+
diff --git a/src/test/compile-fail/issue-5844.rs b/src/test/compile-fail/issue-5844.rs
new file mode 100644
index 00000000000..9d4c3cfa678
--- /dev/null
+++ b/src/test/compile-fail/issue-5844.rs
@@ -0,0 +1,18 @@
+// Copyright 2013 The Rust Project Developers. See the COPYRIGHT
+// file at the top-level directory of this distribution and at
+// http://rust-lang.org/COPYRIGHT.
+//
+// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+// option. This file may not be copied, modified, or distributed
+// except according to those terms.
+
+//aux-build:issue_5844_aux.rs
+
+extern mod issue_5844_aux;
+
+fn main () {
+    issue_5844_aux::rand(); //~ ERROR: requires unsafe
+}
+