From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Wed, 17 Apr 2024 14:02:58 +0200
Subject: Adding upstream version 1.64.0+dfsg1.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile | 16 ++++++++++++++++
 .../run-make-fulldeps/sanitizer-dylib-link/library.rs    |  5 +++++
 .../run-make-fulldeps/sanitizer-dylib-link/program.rs    |  7 +++++++
 3 files changed, 28 insertions(+)
 create mode 100644 src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile
 create mode 100644 src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs
 create mode 100644 src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs

(limited to 'src/test/run-make-fulldeps/sanitizer-dylib-link')

diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile b/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile
new file mode 100644
index 000000000..b9a3f8295
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/Makefile
@@ -0,0 +1,16 @@
+# needs-sanitizer-support
+# needs-sanitizer-address
+
+-include ../tools.mk
+
+LOG := $(TMPDIR)/log.txt
+
+# This test builds a shared object, then an executable that links it as a native
+# rust library (contrast to an rlib). The shared library and executable both
+# are compiled with address sanitizer, and we assert that a fault in the dylib
+# is correctly detected.
+
+all:
+	$(RUSTC) -g -Z sanitizer=address --crate-type dylib --target $(TARGET) library.rs
+	$(RUSTC) -g -Z sanitizer=address --crate-type bin --target $(TARGET) -llibrary program.rs
+	LD_LIBRARY_PATH=$(TMPDIR) $(TMPDIR)/program 2>&1 | $(CGREP) stack-buffer-overflow
diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs b/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs
new file mode 100644
index 000000000..f2a52cb5c
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/library.rs
@@ -0,0 +1,5 @@
+#[no_mangle]
+pub extern "C" fn overflow() {
+    let xs = [0, 1, 2, 3];
+    let _y = unsafe { *xs.as_ptr().offset(4) };
+}
diff --git a/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs b/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs
new file mode 100644
index 000000000..ef053aa2e
--- /dev/null
+++ b/src/test/run-make-fulldeps/sanitizer-dylib-link/program.rs
@@ -0,0 +1,7 @@
+extern "C" {
+    fn overflow();
+}
+
+fn main() {
+    unsafe { overflow() }
+}
-- 
cgit v1.2.3