From 95eb77c18e8532d490efbedff6424d369b7e83df Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 16 Sep 2018 16:47:37 +0200
Subject: [PATCH] add some compile-fail tests

---
 tests/compile-fail/copy_null.rs      | 18 ++++++++++++++++++
 tests/compile-fail/copy_unaligned.rs | 18 ++++++++++++++++++
 2 files changed, 36 insertions(+)
 create mode 100644 tests/compile-fail/copy_null.rs
 create mode 100644 tests/compile-fail/copy_unaligned.rs

diff --git a/tests/compile-fail/copy_null.rs b/tests/compile-fail/copy_null.rs
new file mode 100644
index 000000000000..e46e327e6111
--- /dev/null
+++ b/tests/compile-fail/copy_null.rs
@@ -0,0 +1,18 @@
+// 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.
+
+//error-pattern: invalid use of NULL pointer
+
+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); }
+}
diff --git a/tests/compile-fail/copy_unaligned.rs b/tests/compile-fail/copy_unaligned.rs
new file mode 100644
index 000000000000..0f04dc68db90
--- /dev/null
+++ b/tests/compile-fail/copy_unaligned.rs
@@ -0,0 +1,18 @@
+// 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.
+
+//error-pattern: tried to access memory with alignment 1, but alignment 2 is required
+
+fn main() {
+    let mut data = [0u16; 8];
+    let ptr = (&mut data[0] as *mut u16 as *mut u8).wrapping_add(1) as *mut u16;
+    // Even copying 0 elements to something unaligned should error
+    unsafe { ptr.copy_from(&data[5], 0); }
+}