Skip to content

Commit 5c3fd87

Browse files
ZonotoraZonotora
committed
[clang][UBSan] Update testcases
Update testcases due to new -fsanitize options regarding bitfields
1 parent bc5fe85 commit 5c3fd87

18 files changed

+79
-79
lines changed

‎clang/test/CodeGen/catch-alignment-assumption-array.c

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,10 +21,10 @@ void *caller(void) {
2121
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2222
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 1, i64 0){{.*}}, !nosanitize
2323
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 1, i64 0){{.*}}, !nosanitize
24-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
24+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2525
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2626
// CHECK-SANITIZE: [[CONT]]:
27-
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[ARRAYDECAY]], i64 1) ]
27+
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[ARRAYDECAY]], i64 1) ]
2828
// CHECK-NEXT: ret ptr %[[ARRAYDECAY]]
2929
// CHECK-NEXT: }
3030
return __builtin_assume_aligned(str, 1);

‎clang/test/CodeGen/catch-alignment-assumption-attribute-align_value-on-lvalue.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ char **load_from_ac_struct(struct ac_struct *x) {
2929
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
3030
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
3131
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
32-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
32+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
3333
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
3434
// CHECK-SANITIZE: [[CONT]]:
3535
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[A]], i64 4294967296) ]

‎clang/test/CodeGen/catch-alignment-assumption-attribute-align_value-on-paramvar.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ char **passthrough(__attribute__((align_value(0x100000000))) char **x) {
2121
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2222
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
2323
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
24-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
24+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2525
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2626
// CHECK-SANITIZE: [[CONT]]:
2727
// CHECK-SANITIZE-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RELOADED]], i64 4294967296) ]

‎clang/test/CodeGen/catch-alignment-assumption-attribute-alloc_align-on-function-variable.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ passthrough(char **x, unsigned long alignment) {
8383
// CHECK-SANITIZE-TRAP-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[CALL]] to i64, !nosanitize !2
8484
// CHECK-SANITIZE-TRAP-NEXT: br i1 [[MASKCOND]], label [[CONT:%.*]], label [[TRAP:%.*]], !nosanitize !2
8585
// CHECK-SANITIZE-TRAP: trap:
86-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23) #[[ATTR3:[0-9]+]], !nosanitize !2
86+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24) #[[ATTR3:[0-9]+]], !nosanitize !2
8787
// CHECK-SANITIZE-TRAP-NEXT: unreachable, !nosanitize !2
8888
// CHECK-SANITIZE-TRAP: cont:
8989
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[CALL]], i64 [[TMP1]]) ]

‎clang/test/CodeGen/catch-alignment-assumption-attribute-alloc_align-on-function.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -80,7 +80,7 @@ passthrough(char **x, unsigned long alignment) {
8080
// CHECK-SANITIZE-TRAP-NEXT: [[TMP1:%.*]] = ptrtoint ptr [[CALL]] to i64, !nosanitize !2
8181
// CHECK-SANITIZE-TRAP-NEXT: br i1 [[MASKCOND]], label [[CONT:%.*]], label [[TRAP:%.*]], !nosanitize !2
8282
// CHECK-SANITIZE-TRAP: trap:
83-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23) #[[ATTR3:[0-9]+]], !nosanitize !2
83+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24) #[[ATTR3:[0-9]+]], !nosanitize !2
8484
// CHECK-SANITIZE-TRAP-NEXT: unreachable, !nosanitize !2
8585
// CHECK-SANITIZE-TRAP: cont:
8686
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr [[CALL]], i64 128) ]

‎clang/test/CodeGen/catch-alignment-assumption-attribute-assume_aligned-on-function-two-params.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ char **caller(char **x) {
3333
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
3434
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 42){{.*}}, !nosanitize
3535
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 42){{.*}}, !nosanitize
36-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
36+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
3737
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
3838
// CHECK-SANITIZE: [[CONT]]:
3939
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RETURNED]], i64 4294967296, i64 42) ]

‎clang/test/CodeGen/catch-alignment-assumption-attribute-assume_aligned-on-function.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -33,7 +33,7 @@ char **caller(char **x) {
3333
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
3434
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 128, i64 0){{.*}}, !nosanitize
3535
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 128, i64 0){{.*}}, !nosanitize
36-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
36+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
3737
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
3838
// CHECK-SANITIZE: [[CONT]]:
3939
// CHECK-SANITIZE-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RETURNED]], i64 128) ]

‎clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-polymorphism.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -47,7 +47,7 @@ void *f(C *c) {
4747
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
4848
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 8, i64 0){{.*}}, !nosanitize
4949
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 8, i64 0){{.*}}, !nosanitize
50-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
50+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
5151
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
5252
// CHECK-SANITIZE: [[CONT1]]:
5353
// CHECK-SANITIZE-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[CAST_RESULT]], i64 8) ]

‎clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params-variable.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ void *caller(char **x, unsigned long offset) {
2424
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2525
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 %[[OFFSET_RELOADED]]){{.*}}, !nosanitize
2626
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 %[[OFFSET_RELOADED]]){{.*}}, !nosanitize
27-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
27+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2828
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2929
// CHECK-SANITIZE: [[CONT]]:
3030
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RELOADED]], i64 4294967296, i64 %[[OFFSET_RELOADED]]) ]

‎clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-three-params.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ void *caller(char **x) {
2121
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2222
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 42){{.*}}, !nosanitize
2323
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 42){{.*}}, !nosanitize
24-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
24+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2525
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2626
// CHECK-SANITIZE: [[CONT]]:
2727
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RELOADED]], i64 4294967296, i64 42) ]

‎clang/test/CodeGen/catch-alignment-assumption-builtin_assume_aligned-two-params.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ void *caller(char **x) {
2020
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2121
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
2222
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
23-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
23+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2424
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2525
// CHECK-SANITIZE: [[CONT]]:
2626
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[X_RELOADED]], i64 4294967296) ]

‎clang/test/CodeGen/catch-alignment-assumption-openmp.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ void func(char *data) {
2020
// CHECK-SANITIZE: [[HANDLER_ALIGNMENT_ASSUMPTION]]:
2121
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_alignment_assumption_abort(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
2222
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_alignment_assumption(ptr @[[LINE_100_ALIGNMENT_ASSUMPTION]], i64 %[[PTRINT_DUP]], i64 4294967296, i64 0){{.*}}, !nosanitize
23-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 23){{.*}}, !nosanitize
23+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 24){{.*}}, !nosanitize
2424
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
2525
// CHECK-SANITIZE: [[CONT]]:
2626
// CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(ptr %[[DATA_RELOADED]], i64 4294967296) ]

‎clang/test/CodeGen/catch-nullptr-and-nonzero-offset-when-nullptr-is-defined.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ char *add_unsigned(char *base, unsigned long offset) {
5454
// CHECK-SANITIZE: [[HANDLER_POINTER_OVERFLOW]]:
5555
// CHECK-SANITIZE-NORECOVER-NEXT: call void @__ubsan_handle_pointer_overflow_abort(ptr @[[LINE_100]], i64 %[[BASE_RELOADED_INT]], i64 %[[COMPUTED_GEP]])
5656
// CHECK-SANITIZE-RECOVER-NEXT: call void @__ubsan_handle_pointer_overflow(ptr @[[LINE_100]], i64 %[[BASE_RELOADED_INT]], i64 %[[COMPUTED_GEP]])
57-
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 19){{.*}}, !nosanitize
57+
// CHECK-SANITIZE-TRAP-NEXT: call void @llvm.ubsantrap(i8 20){{.*}}, !nosanitize
5858
// CHECK-SANITIZE-UNREACHABLE-NEXT: unreachable, !nosanitize
5959
// CHECK-SANITIZE: [[CONT]]:
6060
// CHECK-NEXT: ret ptr %[[ADD_PTR]]

0 commit comments

Comments
 (0)