Skip to content

Commit 04f6229

Browse files
thurstondthurstond
committed
[NFCI][ubsan] Precommit tests for -fsanitize-annotate-debug-info
These tests will track progress on extending llvm#139809 from CFI to more UBSan checks.
1 parent fc9ce03 commit 04f6229

File tree

2 files changed

+169
-0
lines changed

2 files changed

+169
-0
lines changed

‎clang/test/CodeGen/ubsan-function-debuginfo.c‎

Lines changed: 74 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,74 @@
1+
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
2+
// RUN: %clang_cc1 -emit-llvm -triple x86_64 -std=c17 -fsanitize=function %s -o - \
3+
// RUN: -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -debug-info-kind=limited \
4+
// RUN: -fsanitize-annotate-debug-info=function \
5+
// RUN: | FileCheck %s
6+
7+
// CHECK-LABEL: define dso_local void @call_no_prototype(
8+
// CHECK-SAME: ptr noundef [[F:%.*]]) #[[ATTR0:[0-9]+]] !dbg [[DBG4:![0-9]+]] !func_sanitize [[META12:![0-9]+]] {
9+
// CHECK-NEXT: [[ENTRY:.*:]]
10+
// CHECK-NEXT: [[F_ADDR:%.*]] = alloca ptr, align 8
11+
// CHECK-NEXT: store ptr [[F]], ptr [[F_ADDR]], align 8
12+
// CHECK-NEXT: #dbg_declare(ptr [[F_ADDR]], [[META13:![0-9]+]], !DIExpression(), [[META14:![0-9]+]])
13+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[F_ADDR]], align 8, !dbg [[DBG15:![0-9]+]]
14+
// CHECK-NEXT: call void (...) [[TMP0]](), !dbg [[DBG15]]
15+
// CHECK-NEXT: ret void, !dbg [[DBG16:![0-9]+]]
16+
//
17+
void call_no_prototype(void (*f)()) { f(); }
18+
19+
// CHECK-LABEL: define dso_local void @call_prototype(
20+
// CHECK-SAME: ptr noundef [[F:%.*]]) #[[ATTR0]] !dbg [[DBG17:![0-9]+]] !func_sanitize [[META23:![0-9]+]] {
21+
// CHECK-NEXT: [[ENTRY:.*:]]
22+
// CHECK-NEXT: [[F_ADDR:%.*]] = alloca ptr, align 8
23+
// CHECK-NEXT: store ptr [[F]], ptr [[F_ADDR]], align 8
24+
// CHECK-NEXT: #dbg_declare(ptr [[F_ADDR]], [[META24:![0-9]+]], !DIExpression(), [[META25:![0-9]+]])
25+
// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[F_ADDR]], align 8, !dbg [[DBG26:![0-9]+]]
26+
// CHECK-NEXT: [[TMP1:%.*]] = getelementptr <{ i32, i32 }>, ptr [[TMP0]], i32 -1, i32 0, !dbg [[DBG26]], !nosanitize [[META11:![0-9]+]]
27+
// CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[TMP1]], align 4, !dbg [[DBG26]], !nosanitize [[META11]]
28+
// CHECK-NEXT: [[TMP3:%.*]] = icmp eq i32 [[TMP2]], -1056584962, !dbg [[DBG26]], !nosanitize [[META11]]
29+
// CHECK-NEXT: br i1 [[TMP3]], label %[[TYPECHECK:.*]], label %[[CONT1:.*]], !dbg [[DBG26]], !nosanitize [[META11]]
30+
// CHECK: [[TYPECHECK]]:
31+
// CHECK-NEXT: [[TMP4:%.*]] = getelementptr <{ i32, i32 }>, ptr [[TMP0]], i32 -1, i32 1, !dbg [[DBG26]], !nosanitize [[META11]]
32+
// CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[TMP4]], align 8, !dbg [[DBG26]], !nosanitize [[META11]]
33+
// CHECK-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP5]], 905068220, !dbg [[DBG26]], !nosanitize [[META11]]
34+
// CHECK-NEXT: br i1 [[TMP6]], label %[[CONT:.*]], label %[[HANDLER_FUNCTION_TYPE_MISMATCH:.*]], !dbg [[DBG26]], !prof [[PROF27:![0-9]+]], !nosanitize [[META11]]
35+
// CHECK: [[HANDLER_FUNCTION_TYPE_MISMATCH]]:
36+
// CHECK-NEXT: [[TMP7:%.*]] = ptrtoint ptr [[TMP0]] to i64, !dbg [[DBG26]], !nosanitize [[META11]]
37+
// CHECK-NEXT: call void @__ubsan_handle_function_type_mismatch_abort(ptr @[[GLOB1:[0-9]+]], i64 [[TMP7]]) #[[ATTR2:[0-9]+]], !dbg [[DBG26]], !nosanitize [[META11]]
38+
// CHECK-NEXT: unreachable, !dbg [[DBG26]], !nosanitize [[META11]]
39+
// CHECK: [[CONT]]:
40+
// CHECK-NEXT: br label %[[CONT1]], !dbg [[DBG26]], !nosanitize [[META11]]
41+
// CHECK: [[CONT1]]:
42+
// CHECK-NEXT: call void [[TMP0]](), !dbg [[DBG26]]
43+
// CHECK-NEXT: ret void, !dbg [[DBG28:![0-9]+]]
44+
//
45+
void call_prototype(void (*f)(void)) { f(); }
46+
//.
47+
// CHECK: [[META0:![0-9]+]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META1:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, splitDebugInlining: false, nameTableKind: None)
48+
// CHECK: [[META1]] = !DIFile(filename: "<stdin>", directory: {{.*}})
49+
// CHECK: [[DBG4]] = distinct !DISubprogram(name: "call_no_prototype", scope: [[META5:![0-9]+]], file: [[META5]], line: 16, type: [[META6:![0-9]+]], scopeLine: 16, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: [[META0]], retainedNodes: [[META11]])
50+
// CHECK: [[META5]] = !DIFile(filename: "{{.*}}ubsan-function-debuginfo.c", directory: {{.*}})
51+
// CHECK: [[META6]] = !DISubroutineType(types: [[META7:![0-9]+]])
52+
// CHECK: [[META7]] = !{null, [[META8:![0-9]+]]}
53+
// CHECK: [[META8]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[META9:![0-9]+]], size: 64)
54+
// CHECK: [[META9]] = !DISubroutineType(types: [[META10:![0-9]+]])
55+
// CHECK: [[META10]] = !{null, null}
56+
// CHECK: [[META11]] = !{}
57+
// CHECK: [[META12]] = !{i32 -1056584962, i32 187769638}
58+
// CHECK: [[META13]] = !DILocalVariable(name: "f", arg: 1, scope: [[DBG4]], file: [[META5]], line: 16, type: [[META8]])
59+
// CHECK: [[META14]] = !DILocation(line: 16, column: 31, scope: [[DBG4]])
60+
// CHECK: [[DBG15]] = !DILocation(line: 16, column: 39, scope: [[DBG4]])
61+
// CHECK: [[DBG16]] = !DILocation(line: 16, column: 44, scope: [[DBG4]])
62+
// CHECK: [[DBG17]] = distinct !DISubprogram(name: "call_prototype", scope: [[META5]], file: [[META5]], line: 43, type: [[META18:![0-9]+]], scopeLine: 43, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: [[META0]], retainedNodes: [[META11]])
63+
// CHECK: [[META18]] = !DISubroutineType(types: [[META19:![0-9]+]])
64+
// CHECK: [[META19]] = !{null, [[META20:![0-9]+]]}
65+
// CHECK: [[META20]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: [[META21:![0-9]+]], size: 64)
66+
// CHECK: [[META21]] = !DISubroutineType(types: [[META22:![0-9]+]])
67+
// CHECK: [[META22]] = !{null}
68+
// CHECK: [[META23]] = !{i32 -1056584962, i32 -747727454}
69+
// CHECK: [[META24]] = !DILocalVariable(name: "f", arg: 1, scope: [[DBG17]], file: [[META5]], line: 43, type: [[META20]])
70+
// CHECK: [[META25]] = !DILocation(line: 43, column: 28, scope: [[DBG17]])
71+
// CHECK: [[DBG26]] = !DILocation(line: 43, column: 40, scope: [[DBG17]])
72+
// CHECK: [[PROF27]] = !{!"branch_weights", i32 1048575, i32 1}
73+
// CHECK: [[DBG28]] = !DILocation(line: 43, column: 45, scope: [[DBG17]])
74+
//.

‎clang/test/CodeGen/unsigned-promotion-debuginfo.c‎

Lines changed: 95 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,95 @@
1+
// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --version 5
2+
// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -o - %s \
3+
// RUN: -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -debug-info-kind=limited \
4+
// RUN: -fsanitize-annotate-debug-info=signed-integer-overflow \
5+
// RUN: -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CHECKS
6+
7+
// RUN: %clang_cc1 -triple x86_64-linux-gnu -emit-llvm -o - %s \
8+
// RUN: -fdebug-prefix-map=%S/= -fno-ident -fdebug-compilation-dir=%S -debug-info-kind=limited \
9+
// RUN: -fsanitize-annotate-debug-info=signed-integer-overflow \
10+
// RUN: -fsanitize=unsigned-integer-overflow | FileCheck %s --check-prefix=CHECKU
11+
12+
unsigned short si, sj, sk;
13+
14+
// CHECKS-LABEL: define dso_local void @testshortmul(
15+
// CHECKS-SAME: ) #[[ATTR0:[0-9]+]] !dbg [[DBG13:![0-9]+]] {
16+
// CHECKS-NEXT: [[ENTRY:.*:]]
17+
// CHECKS-NEXT: [[TMP0:%.*]] = load i16, ptr @sj, align 2, !dbg [[DBG16:![0-9]+]]
18+
// CHECKS-NEXT: [[CONV:%.*]] = zext i16 [[TMP0]] to i32, !dbg [[DBG16]]
19+
// CHECKS-NEXT: [[TMP1:%.*]] = load i16, ptr @sk, align 2, !dbg [[DBG17:![0-9]+]]
20+
// CHECKS-NEXT: [[CONV1:%.*]] = zext i16 [[TMP1]] to i32, !dbg [[DBG17]]
21+
// CHECKS-NEXT: [[TMP2:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[CONV]], i32 [[CONV1]]), !dbg [[DBG18:![0-9]+]], !nosanitize [[META19:![0-9]+]]
22+
// CHECKS-NEXT: [[TMP3:%.*]] = extractvalue { i32, i1 } [[TMP2]], 0, !dbg [[DBG18]], !nosanitize [[META19]]
23+
// CHECKS-NEXT: [[TMP4:%.*]] = extractvalue { i32, i1 } [[TMP2]], 1, !dbg [[DBG18]], !nosanitize [[META19]]
24+
// CHECKS-NEXT: [[TMP5:%.*]] = xor i1 [[TMP4]], true, !dbg [[DBG18]], !nosanitize [[META19]]
25+
// CHECKS-NEXT: br i1 [[TMP5]], label %[[CONT:.*]], label %[[HANDLER_MUL_OVERFLOW:.*]], !dbg [[DBG18]], !prof [[PROF20:![0-9]+]], !nosanitize [[META19]]
26+
// CHECKS: [[HANDLER_MUL_OVERFLOW]]:
27+
// CHECKS-NEXT: [[TMP6:%.*]] = zext i32 [[CONV]] to i64, !dbg [[DBG18]], !nosanitize [[META19]]
28+
// CHECKS-NEXT: [[TMP7:%.*]] = zext i32 [[CONV1]] to i64, !dbg [[DBG18]], !nosanitize [[META19]]
29+
// CHECKS-NEXT: call void @__ubsan_handle_mul_overflow_abort(ptr @[[GLOB1:[0-9]+]], i64 [[TMP6]], i64 [[TMP7]]) #[[ATTR3:[0-9]+]], !dbg [[DBG18]], !nosanitize [[META19]]
30+
// CHECKS-NEXT: unreachable, !dbg [[DBG18]], !nosanitize [[META19]]
31+
// CHECKS: [[CONT]]:
32+
// CHECKS-NEXT: [[CONV2:%.*]] = trunc i32 [[TMP3]] to i16, !dbg [[DBG16]]
33+
// CHECKS-NEXT: store i16 [[CONV2]], ptr @si, align 2, !dbg [[DBG21:![0-9]+]]
34+
// CHECKS-NEXT: ret void, !dbg [[DBG22:![0-9]+]]
35+
//
36+
// CHECKU-LABEL: define dso_local void @testshortmul(
37+
// CHECKU-SAME: ) #[[ATTR0:[0-9]+]] !dbg [[DBG13:![0-9]+]] {
38+
// CHECKU-NEXT: [[ENTRY:.*:]]
39+
// CHECKU-NEXT: [[TMP0:%.*]] = load i16, ptr @sj, align 2, !dbg [[DBG16:![0-9]+]]
40+
// CHECKU-NEXT: [[CONV:%.*]] = zext i16 [[TMP0]] to i32, !dbg [[DBG16]]
41+
// CHECKU-NEXT: [[TMP1:%.*]] = load i16, ptr @sk, align 2, !dbg [[DBG17:![0-9]+]]
42+
// CHECKU-NEXT: [[CONV1:%.*]] = zext i16 [[TMP1]] to i32, !dbg [[DBG17]]
43+
// CHECKU-NEXT: [[MUL:%.*]] = mul nsw i32 [[CONV]], [[CONV1]], !dbg [[DBG18:![0-9]+]]
44+
// CHECKU-NEXT: [[CONV2:%.*]] = trunc i32 [[MUL]] to i16, !dbg [[DBG16]]
45+
// CHECKU-NEXT: store i16 [[CONV2]], ptr @si, align 2, !dbg [[DBG19:![0-9]+]]
46+
// CHECKU-NEXT: ret void, !dbg [[DBG20:![0-9]+]]
47+
//
48+
void testshortmul(void) {
49+
50+
//
51+
si = sj * sk;
52+
}
53+
//.
54+
// CHECKS: [[META0:![0-9]+]] = !DIGlobalVariableExpression(var: [[META1:![0-9]+]], expr: !DIExpression())
55+
// CHECKS: [[META1]] = distinct !DIGlobalVariable(name: "sj", scope: [[META2:![0-9]+]], file: [[META7:![0-9]+]], line: 12, type: [[META8:![0-9]+]], isLocal: false, isDefinition: true)
56+
// CHECKS: [[META2]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META3:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, globals: [[META4:![0-9]+]], splitDebugInlining: false, nameTableKind: None)
57+
// CHECKS: [[META3]] = !DIFile(filename: "<stdin>", directory: {{.*}})
58+
// CHECKS: [[META4]] = !{[[META5:![0-9]+]], [[META0]], [[META9:![0-9]+]]}
59+
// CHECKS: [[META5]] = !DIGlobalVariableExpression(var: [[META6:![0-9]+]], expr: !DIExpression())
60+
// CHECKS: [[META6]] = distinct !DIGlobalVariable(name: "si", scope: [[META2]], file: [[META7]], line: 12, type: [[META8]], isLocal: false, isDefinition: true)
61+
// CHECKS: [[META7]] = !DIFile(filename: "{{.*}}unsigned-promotion-debuginfo.c", directory: {{.*}})
62+
// CHECKS: [[META8]] = !DIBasicType(name: "unsigned short", size: 16, encoding: DW_ATE_unsigned)
63+
// CHECKS: [[META9]] = !DIGlobalVariableExpression(var: [[META10:![0-9]+]], expr: !DIExpression())
64+
// CHECKS: [[META10]] = distinct !DIGlobalVariable(name: "sk", scope: [[META2]], file: [[META7]], line: 12, type: [[META8]], isLocal: false, isDefinition: true)
65+
// CHECKS: [[DBG13]] = distinct !DISubprogram(name: "testshortmul", scope: [[META7]], file: [[META7]], line: 48, type: [[META14:![0-9]+]], scopeLine: 48, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: [[META2]])
66+
// CHECKS: [[META14]] = !DISubroutineType(types: [[META15:![0-9]+]])
67+
// CHECKS: [[META15]] = !{null}
68+
// CHECKS: [[DBG16]] = !DILocation(line: 51, column: 8, scope: [[DBG13]])
69+
// CHECKS: [[DBG17]] = !DILocation(line: 51, column: 13, scope: [[DBG13]])
70+
// CHECKS: [[DBG18]] = !DILocation(line: 51, column: 11, scope: [[DBG13]])
71+
// CHECKS: [[META19]] = !{}
72+
// CHECKS: [[PROF20]] = !{!"branch_weights", i32 1048575, i32 1}
73+
// CHECKS: [[DBG21]] = !DILocation(line: 51, column: 6, scope: [[DBG13]])
74+
// CHECKS: [[DBG22]] = !DILocation(line: 52, column: 1, scope: [[DBG13]])
75+
//.
76+
// CHECKU: [[META0:![0-9]+]] = !DIGlobalVariableExpression(var: [[META1:![0-9]+]], expr: !DIExpression())
77+
// CHECKU: [[META1]] = distinct !DIGlobalVariable(name: "sj", scope: [[META2:![0-9]+]], file: [[META7:![0-9]+]], line: 12, type: [[META8:![0-9]+]], isLocal: false, isDefinition: true)
78+
// CHECKU: [[META2]] = distinct !DICompileUnit(language: DW_LANG_C11, file: [[META3:![0-9]+]], isOptimized: false, runtimeVersion: 0, emissionKind: FullDebug, globals: [[META4:![0-9]+]], splitDebugInlining: false, nameTableKind: None)
79+
// CHECKU: [[META3]] = !DIFile(filename: "<stdin>", directory: {{.*}})
80+
// CHECKU: [[META4]] = !{[[META5:![0-9]+]], [[META0]], [[META9:![0-9]+]]}
81+
// CHECKU: [[META5]] = !DIGlobalVariableExpression(var: [[META6:![0-9]+]], expr: !DIExpression())
82+
// CHECKU: [[META6]] = distinct !DIGlobalVariable(name: "si", scope: [[META2]], file: [[META7]], line: 12, type: [[META8]], isLocal: false, isDefinition: true)
83+
// CHECKU: [[META7]] = !DIFile(filename: "{{.*}}unsigned-promotion-debuginfo.c", directory: {{.*}})
84+
// CHECKU: [[META8]] = !DIBasicType(name: "unsigned short", size: 16, encoding: DW_ATE_unsigned)
85+
// CHECKU: [[META9]] = !DIGlobalVariableExpression(var: [[META10:![0-9]+]], expr: !DIExpression())
86+
// CHECKU: [[META10]] = distinct !DIGlobalVariable(name: "sk", scope: [[META2]], file: [[META7]], line: 12, type: [[META8]], isLocal: false, isDefinition: true)
87+
// CHECKU: [[DBG13]] = distinct !DISubprogram(name: "testshortmul", scope: [[META7]], file: [[META7]], line: 48, type: [[META14:![0-9]+]], scopeLine: 48, flags: DIFlagPrototyped, spFlags: DISPFlagDefinition, unit: [[META2]])
88+
// CHECKU: [[META14]] = !DISubroutineType(types: [[META15:![0-9]+]])
89+
// CHECKU: [[META15]] = !{null}
90+
// CHECKU: [[DBG16]] = !DILocation(line: 51, column: 8, scope: [[DBG13]])
91+
// CHECKU: [[DBG17]] = !DILocation(line: 51, column: 13, scope: [[DBG13]])
92+
// CHECKU: [[DBG18]] = !DILocation(line: 51, column: 11, scope: [[DBG13]])
93+
// CHECKU: [[DBG19]] = !DILocation(line: 51, column: 6, scope: [[DBG13]])
94+
// CHECKU: [[DBG20]] = !DILocation(line: 52, column: 1, scope: [[DBG13]])
95+
//.

0 commit comments

Comments
 (0)