Auto merge of #1308 - RalfJung:miri, r=RalfJung

[rust.git] / tests / compile-fail / copy_null.rs

diff --git a/tests/compile-fail/copy_null.rs b/tests/compile-fail/copy_null.rs
index e46e327e6111e3914e9337b05bde112a5e26a144..b14bdc4b3863273f4f38ff006ce6267e7875038d 100644 (file)
--- a/tests/compile-fail/copy_null.rs
+++ b/tests/compile-fail/copy_null.rs
@@ -1,18 +1,13 @@
-// Copyright 2015 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.
+#![feature(intrinsics)]
 
-//error-pattern: invalid use of NULL pointer
+// Directly call intrinsic to avoid debug assertions in libstd
+extern "rust-intrinsic" {
+    fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize);
+}
 
 fn main() {
     let mut data = [0u16; 4];
     let ptr = &mut data[0] as *mut u16;
-    // Even copying 0 elements from NULL should error
-    unsafe { ptr.copy_from(std::ptr::null(), 0); }
+    // Even copying 0 elements from NULL should error.
+    unsafe { copy_nonoverlapping(std::ptr::null(), ptr, 0); } //~ ERROR: invalid use of NULL pointer
 }