diff --git a/src/test/auxiliary/issue_5844_aux.rs b/src/test/auxiliary/issue_5844_aux.rs new file mode 100644 index 0000000000000..78e87f32b79b3 --- /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 or the MIT license +// , 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 0000000000000..9d4c3cfa6784e --- /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 or the MIT license +// , 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 +} +