shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
we want the stack safety analysis to be able to skip array accesses that
are already checked by array-bounds.
This commit is contained in:
Florian Mayer 2025-02-21 12:49:32 -08:00 committed by GitHub
parent 3fad640f06
commit 210ecfdf35
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 26 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
clang/test/CodeGen/hwasan-stack-safety-analysis-with-array-bounds.c Normal file
View File

@ -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
}