1 // RUN: %clang_cc1 -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefix=CHECK
2 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fno-sanitize-recover=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-ANYRECOVER,CHECK-SANITIZE-NORECOVER
3 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fsanitize-recover=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-ANYRECOVER,CHECK-SANITIZE-RECOVER
4 // RUN: %clang_cc1 -fsanitize=implicit-integer-sign-change -fsanitize-trap=implicit-integer-sign-change -emit-llvm %s -o - -triple x86_64-linux-gnu | FileCheck %s --check-prefixes=CHECK,CHECK-SANITIZE,CHECK-SANITIZE-TRAP
5
6 extern "C" { // Disable name mangling.
7
8 // ========================================================================== //
9 // The expected true-negatives.
10 // ========================================================================== //
11
12 // Sanitization is explicitly disabled.
13 // ========================================================================== //
14
15 // CHECK-LABEL: @blacklist_0
blacklist_0(signed int src)16 __attribute__((no_sanitize("undefined"))) unsigned int blacklist_0(signed int src) {
17 // We are not in "undefined" group, so that doesn't work.
18 // CHECK-SANITIZE: call
19 // CHECK: }
20 return src;
21 }
22
23 // CHECK-LABEL: @blacklist_1
blacklist_1(signed int src)24 __attribute__((no_sanitize("integer"))) unsigned int blacklist_1(signed int src) {
25 // CHECK-SANITIZE-NOT: call
26 // CHECK: }
27 return src;
28 }
29
30 // CHECK-LABEL: @blacklist_2
blacklist_2(signed int src)31 __attribute__((no_sanitize("implicit-conversion"))) unsigned int blacklist_2(signed int src) {
32 // CHECK-SANITIZE-NOT: call
33 // CHECK: }
34 return src;
35 }
36
37 // CHECK-LABEL: @blacklist_3
blacklist_3(signed int src)38 __attribute__((no_sanitize("implicit-integer-sign-change"))) unsigned int blacklist_3(signed int src) {
39 // CHECK-SANITIZE-NOT: call
40 // CHECK: }
41 return src;
42 }
43
44 // Explicit sign-changing conversions.
45 // ========================================================================== //
46
47 // CHECK-LABEL: @explicit_signed_int_to_unsigned_int
explicit_signed_int_to_unsigned_int(signed int src)48 unsigned int explicit_signed_int_to_unsigned_int(signed int src) {
49 // CHECK-SANITIZE-NOT: call
50 // CHECK: }
51 return (unsigned int)src;
52 }
53
54 // CHECK-LABEL: @explicit_unsigned_int_to_signed_int
explicit_unsigned_int_to_signed_int(unsigned int src)55 signed int explicit_unsigned_int_to_signed_int(unsigned int src) {
56 // CHECK-SANITIZE-NOT: call
57 // CHECK: }
58 return (signed int)src;
59 }
60
61 // Explicit NOP conversions.
62 // ========================================================================== //
63
64 // CHECK-LABEL: @explicit_unsigned_int_to_unsigned_int
explicit_unsigned_int_to_unsigned_int(unsigned int src)65 unsigned int explicit_unsigned_int_to_unsigned_int(unsigned int src) {
66 // CHECK-SANITIZE-NOT: call
67 // CHECK: }
68 return (unsigned int)src;
69 }
70
71 // CHECK-LABEL: @explicit_signed_int_to_signed_int
explicit_signed_int_to_signed_int(signed int src)72 signed int explicit_signed_int_to_signed_int(signed int src) {
73 // CHECK-SANITIZE-NOT: call
74 // CHECK: }
75 return (signed int)src;
76 }
77
78 // Explicit functional sign-changing casts.
79 // ========================================================================== //
80
81 using UnsignedInt = unsigned int;
82 using SignedInt = signed int;
83
84 // CHECK-LABEL: explicit_functional_unsigned_int_to_signed_int
explicit_functional_unsigned_int_to_signed_int(unsigned int src)85 signed int explicit_functional_unsigned_int_to_signed_int(unsigned int src) {
86 // CHECK-SANITIZE-NOT: call
87 // CHECK: }
88 return SignedInt(src);
89 }
90
91 // CHECK-LABEL: @explicit_functional_signed_int_to_unsigned_int
explicit_functional_signed_int_to_unsigned_int(signed int src)92 unsigned int explicit_functional_signed_int_to_unsigned_int(signed int src) {
93 // CHECK-SANITIZE-NOT: call
94 // CHECK: }
95 return UnsignedInt(src);
96 }
97
98 // Explicit functional NOP casts.
99 // ========================================================================== //
100
101 // CHECK-LABEL: @explicit_functional_unsigned_int_to_unsigned_int
explicit_functional_unsigned_int_to_unsigned_int(unsigned int src)102 unsigned int explicit_functional_unsigned_int_to_unsigned_int(unsigned int src) {
103 // CHECK-SANITIZE-NOT: call
104 // CHECK: }
105 return UnsignedInt(src);
106 }
107
108 // CHECK-LABEL: @explicit_functional_signed_int_to_signed_int
explicit_functional_signed_int_to_signed_int(signed int src)109 signed int explicit_functional_signed_int_to_signed_int(signed int src) {
110 // CHECK-SANITIZE-NOT: call
111 // CHECK: }
112 return SignedInt(src);
113 }
114
115 // Explicit C++-style sign-changing casts.
116 // ========================================================================== //
117
118 // CHECK-LABEL: @explicit_cppstyle_unsigned_int_to_signed_int
explicit_cppstyle_unsigned_int_to_signed_int(unsigned int src)119 signed int explicit_cppstyle_unsigned_int_to_signed_int(unsigned int src) {
120 // CHECK-SANITIZE-NOT: call
121 // CHECK: }
122 return static_cast<signed int>(src);
123 }
124
125 // CHECK-LABEL: @explicit_cppstyle_signed_int_to_unsigned_int
explicit_cppstyle_signed_int_to_unsigned_int(signed int src)126 unsigned int explicit_cppstyle_signed_int_to_unsigned_int(signed int src) {
127 // CHECK-SANITIZE-NOT: call
128 // CHECK: }
129 return static_cast<unsigned int>(src);
130 }
131
132 // Explicit C++-style casts NOP casts.
133 // ========================================================================== //
134
135 // CHECK-LABEL: @explicit_cppstyle_unsigned_int_to_unsigned_int
explicit_cppstyle_unsigned_int_to_unsigned_int(unsigned int src)136 unsigned int explicit_cppstyle_unsigned_int_to_unsigned_int(unsigned int src) {
137 // CHECK-SANITIZE-NOT: call
138 // CHECK: }
139 return static_cast<unsigned int>(src);
140 }
141
142 // CHECK-LABEL: @explicit_cppstyle_signed_int_to_signed_int
explicit_cppstyle_signed_int_to_signed_int(signed int src)143 signed int explicit_cppstyle_signed_int_to_signed_int(signed int src) {
144 // CHECK-SANITIZE-NOT: call
145 // CHECK: }
146 return static_cast<signed int>(src);
147 }
148
149 } // extern "C"
150