[ubsan] array-bounds: Ignore params with constant size
This is a follow-up to r320128. Eli pointed out that there is some gray
area in the language standard about whether the constant size is exact,
or a lower bound.
https://reviews.llvm.org/D40940
llvm-svn: 320185
diff --git a/clang/test/CodeGen/ubsan-pass-object-size.c b/clang/test/CodeGen/ubsan-pass-object-size.c
index 67970d2..d5d4f5a 100644
--- a/clang/test/CodeGen/ubsan-pass-object-size.c
+++ b/clang/test/CodeGen/ubsan-pass-object-size.c
@@ -55,8 +55,7 @@
// CHECK-LABEL: define i32 @cat(
int cat(int p[static 10], int n) {
- // CHECK: icmp ult i64 {{.*}}, 10, !nosanitize
- // CHECK: __ubsan_handle_out_of_bounds
+ // CHECK-NOT: __ubsan_handle_out_of_bounds
// CHECK: ret i32
return p[n];
}