test for negative offsets

diff --git a/tests/compile-fail/intrinsics/out_of_bounds_ptr_3.rs b/tests/compile-fail/intrinsics/out_of_bounds_ptr_3.rs
new file mode 100644 (file)
index 0000000..cd0861e
--- /dev/null
+++ b/tests/compile-fail/intrinsics/out_of_bounds_ptr_3.rs
@@ -0,0 +1,7 @@
+// error-pattern: pointer to 1 byte starting at offset -1 is out-of-bounds
+fn main() {
+    let v = [0i8; 4];
+    let x = &v as *const i8;
+    let x = unsafe { x.offset(-1) };
+    panic!("this should never print: {:?}", x);
+}