From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- src/test/ui/sanitize/address.rs | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 src/test/ui/sanitize/address.rs (limited to 'src/test/ui/sanitize/address.rs') 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); +} -- cgit v1.2.3