[clang] 210ecfd - [NFC] test interaction between array-bounds and hwaddress (#128218)

[via cfe-commits]

Author: Florian Mayer
Date: 2025-02-21T12:49:32-08:00
New Revision: 210ecfdf35ed2cd260b401fe834dd810fd2190d0

URL: https://github.com/llvm/llvm-project/commit/210ecfdf35ed2cd260b401fe834dd810fd2190d0
DIFF: https://github.com/llvm/llvm-project/commit/210ecfdf35ed2cd260b401fe834dd810fd2190d0.diff

LOG: [NFC] test interaction between array-bounds and hwaddress (#128218)

we want the stack safety analysis to be able to skip array accesses that
are already checked by array-bounds.

Added: 
    clang/test/CodeGen/hwasan-stack-safety-analysis-with-array-bounds.c

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/clang/test/CodeGen/hwasan-stack-safety-analysis-with-array-bounds.c b/clang/test/CodeGen/hwasan-stack-safety-analysis-with-array-bounds.c
new file mode 100644
index 0000000000000..cd12879fb410d
--- /dev/null
+++ b/clang/test/CodeGen/hwasan-stack-safety-analysis-with-array-bounds.c
@@ -0,0 +1,26 @@
+// REQUIRES: aarch64-registered-target
+
+// RUN: %clang -fsanitize-trap=undefined -fsanitize=hwaddress,array-bounds -target aarch64-linux-gnu -S -emit-llvm -mllvm -hwasan-use-stack-safety=true -mllvm -hwasan-generate-tags-with-calls -O2 %s -o - | FileCheck %s --check-prefixes=CHECK,SAFETY
+// RUN: %clang -fsanitize-trap=undefined -fsanitize=hwaddress,array-bounds -target aarch64-linux-gnu -S -emit-llvm -mllvm -hwasan-use-stack-safety=false -mllvm -hwasan-generate-tags-with-calls -O2 %s -o - | FileCheck %s --check-prefixes=CHECK,NOSAFETY
+
+// Make sure that HWAsan does not re-check what has been validated by array-bounds
+
+void f(char*);
+
+int foo(unsigned int idx) {
+  char buf[10];
+  f(buf);
+  return buf[idx];
+  // CHECK-LABEL: {{.*}}foo
+  // NOSAFETY: call void @llvm.hwasan.check.memaccess.shortgranules
+  // SAFETY-NOT: call void @llvm.hwasan.check.memaccess.shortgranules
+}
+
+int bar(int idx) {
+  char buf[10];
+  f(buf);
+  return buf[idx];
+  // CHECK-LABEL: {{.*}}bar
+  // NOSAFETY: call void @llvm.hwasan.check.memaccess.shortgranules
+  // SAFETY-NOT: call void @llvm.hwasan.check.memaccess.shortgranules
+}