1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/sanitize/address.rs b/src/test/ui/sanitize/address.rs
new file mode 100644
index 000000000..9a26a351d
--- /dev/null
+++ b/src/test/ui/sanitize/address.rs
@@ -0,0 +1,20 @@
+// needs-sanitizer-support
+// needs-sanitizer-address
+//
+// compile-flags: -Z sanitizer=address -O -g
+//
+// run-fail
+// error-pattern: AddressSanitizer: stack-buffer-overflow
+// error-pattern: 'xs' (line 15) <== Memory access at offset
+
+#![feature(bench_black_box)]
+
+use std::hint::black_box;
+
+fn main() {
+    let xs = [0, 1, 2, 3];
+    // Avoid optimizing everything out.
+    let xs = black_box(xs.as_ptr());
+    let code = unsafe { *xs.offset(4) };
+    std::process::exit(code);
+}