1 /* This file contains the definitions and documentation for the
2 Address Sanitizer and Thread Sanitizer builtins used in the GNU compiler.
3 Copyright (C
) 2012-2014 Free Software Foundation
, Inc.
5 This file is part of GCC.
7 GCC is free software
; you can redistribute it and
/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation
; either version
3, or (at your option
) any later
12 GCC is distributed in the hope that it will be useful
, but WITHOUT ANY
13 WARRANTY
; without even the implied warranty of MERCHANTABILITY or
14 FITNESS
FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC
; see the file COPYING3. If not see
19 <http
://www.gnu.org
/licenses
/>.
*/
21 /* Before including this file
, you should define a macro
:
23 DEF_SANITIZER_BUILTIN (ENUM
, NAME
, TYPE, ATTRS
)
25 See builtins.def for details.
26 The builtins are created by the C
-family of FEs in c
-family
/c
-common.c
,
27 for other FEs by asan.c.
*/
29 /* Address Sanitizer
*/
30 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT
, "__asan_init_v3",
31 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
32 /* Do not reorder the BUILT_IN_ASAN_REPORT
* builtins
, e.g. cfgcleanup.c
33 relies on this order.
*/
34 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1
, "__asan_report_load1",
35 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
36 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2
, "__asan_report_load2",
37 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
38 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4
, "__asan_report_load4",
39 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
40 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8
, "__asan_report_load8",
41 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
42 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16
, "__asan_report_load16",
43 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
44 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N
, "__asan_report_load_n",
45 BT_FN_VOID_PTR_PTRMODE
,
46 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
47 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1
, "__asan_report_store1",
48 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
49 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2
, "__asan_report_store2",
50 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
51 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4
, "__asan_report_store4",
52 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
53 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8
, "__asan_report_store8",
54 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
55 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16
, "__asan_report_store16",
56 BT_FN_VOID_PTR
, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
57 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N
, "__asan_report_store_n",
58 BT_FN_VOID_PTR_PTRMODE
,
59 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST
)
60 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS
,
61 "__asan_register_globals",
62 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
63 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS
,
64 "__asan_unregister_globals",
65 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
66 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN
,
67 "__asan_handle_no_return",
68 BT_FN_VOID
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
69 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT
,
70 "__asan_before_dynamic_init",
71 BT_FN_VOID_CONST_PTR
, ATTR_NOTHROW_LEAF_LIST
)
72 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_AFTER_DYNAMIC_INIT
,
73 "__asan_after_dynamic_init",
74 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
76 /* Thread Sanitizer
*/
77 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT
, "__tsan_init",
78 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
79 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY
, "__tsan_func_entry",
80 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
81 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT
, "__tsan_func_exit",
82 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
83 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE
, "__tsan_vptr_update",
84 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
85 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1
, "__tsan_read1",
86 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
87 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2
, "__tsan_read2",
88 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
89 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4
, "__tsan_read4",
90 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
91 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8
, "__tsan_read8",
92 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
93 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16
, "__tsan_read16",
94 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
95 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1
, "__tsan_write1",
96 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
97 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2
, "__tsan_write2",
98 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
99 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4
, "__tsan_write4",
100 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
101 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8
, "__tsan_write8",
102 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
103 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16
, "__tsan_write16",
104 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
106 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD
,
107 "__tsan_atomic8_load",
108 BT_FN_I1_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
109 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD
,
110 "__tsan_atomic16_load",
111 BT_FN_I2_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
112 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD
,
113 "__tsan_atomic32_load",
114 BT_FN_I4_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
115 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD
,
116 "__tsan_atomic64_load",
117 BT_FN_I8_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
118 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD
,
119 "__tsan_atomic128_load",
120 BT_FN_I16_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
122 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE
,
123 "__tsan_atomic8_store",
124 BT_FN_VOID_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
125 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE
,
126 "__tsan_atomic16_store",
127 BT_FN_VOID_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
128 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE
,
129 "__tsan_atomic32_store",
130 BT_FN_VOID_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
131 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE
,
132 "__tsan_atomic64_store",
133 BT_FN_VOID_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
134 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE
,
135 "__tsan_atomic128_store",
136 BT_FN_VOID_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
138 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE
,
139 "__tsan_atomic8_exchange",
140 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
141 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE
,
142 "__tsan_atomic16_exchange",
143 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
144 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE
,
145 "__tsan_atomic32_exchange",
146 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
147 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE
,
148 "__tsan_atomic64_exchange",
149 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
150 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE
,
151 "__tsan_atomic128_exchange",
152 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
154 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD
,
155 "__tsan_atomic8_fetch_add",
156 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
157 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD
,
158 "__tsan_atomic16_fetch_add",
159 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
160 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD
,
161 "__tsan_atomic32_fetch_add",
162 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
163 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD
,
164 "__tsan_atomic64_fetch_add",
165 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
166 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD
,
167 "__tsan_atomic128_fetch_add",
168 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
170 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB
,
171 "__tsan_atomic8_fetch_sub",
172 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
173 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB
,
174 "__tsan_atomic16_fetch_sub",
175 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
176 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB
,
177 "__tsan_atomic32_fetch_sub",
178 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
179 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB
,
180 "__tsan_atomic64_fetch_sub",
181 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
182 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB
,
183 "__tsan_atomic128_fetch_sub",
184 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND
,
187 "__tsan_atomic8_fetch_and",
188 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
189 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND
,
190 "__tsan_atomic16_fetch_and",
191 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
192 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND
,
193 "__tsan_atomic32_fetch_and",
194 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
195 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND
,
196 "__tsan_atomic64_fetch_and",
197 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
198 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND
,
199 "__tsan_atomic128_fetch_and",
200 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR
,
203 "__tsan_atomic8_fetch_or",
204 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
205 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR
,
206 "__tsan_atomic16_fetch_or",
207 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
208 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR
,
209 "__tsan_atomic32_fetch_or",
210 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
211 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR
,
212 "__tsan_atomic64_fetch_or",
213 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
214 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR
,
215 "__tsan_atomic128_fetch_or",
216 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
218 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR
,
219 "__tsan_atomic8_fetch_xor",
220 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
221 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR
,
222 "__tsan_atomic16_fetch_xor",
223 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
224 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR
,
225 "__tsan_atomic32_fetch_xor",
226 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
227 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR
,
228 "__tsan_atomic64_fetch_xor",
229 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
230 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR
,
231 "__tsan_atomic128_fetch_xor",
232 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
234 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND
,
235 "__tsan_atomic8_fetch_nand",
236 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
237 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND
,
238 "__tsan_atomic16_fetch_nand",
239 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
240 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND
,
241 "__tsan_atomic32_fetch_nand",
242 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
243 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND
,
244 "__tsan_atomic64_fetch_nand",
245 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
246 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND
,
247 "__tsan_atomic128_fetch_nand",
248 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
250 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG
,
251 "__tsan_atomic8_compare_exchange_strong",
252 BT_FN_BOOL_VPTR_PTR_I1_INT_INT
,
253 ATTR_NOTHROW_LEAF_LIST
)
254 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG
,
255 "__tsan_atomic16_compare_exchange_strong",
256 BT_FN_BOOL_VPTR_PTR_I2_INT_INT
,
257 ATTR_NOTHROW_LEAF_LIST
)
258 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG
,
259 "__tsan_atomic32_compare_exchange_strong",
260 BT_FN_BOOL_VPTR_PTR_I4_INT_INT
,
261 ATTR_NOTHROW_LEAF_LIST
)
262 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG
,
263 "__tsan_atomic64_compare_exchange_strong",
264 BT_FN_BOOL_VPTR_PTR_I8_INT_INT
,
265 ATTR_NOTHROW_LEAF_LIST
)
266 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG
,
267 "__tsan_atomic128_compare_exchange_strong",
268 BT_FN_BOOL_VPTR_PTR_I16_INT_INT
,
269 ATTR_NOTHROW_LEAF_LIST
)
271 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK
,
272 "__tsan_atomic8_compare_exchange_weak",
273 BT_FN_BOOL_VPTR_PTR_I1_INT_INT
,
274 ATTR_NOTHROW_LEAF_LIST
)
275 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK
,
276 "__tsan_atomic16_compare_exchange_weak",
277 BT_FN_BOOL_VPTR_PTR_I2_INT_INT
,
278 ATTR_NOTHROW_LEAF_LIST
)
279 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK
,
280 "__tsan_atomic32_compare_exchange_weak",
281 BT_FN_BOOL_VPTR_PTR_I4_INT_INT
,
282 ATTR_NOTHROW_LEAF_LIST
)
283 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK
,
284 "__tsan_atomic64_compare_exchange_weak",
285 BT_FN_BOOL_VPTR_PTR_I8_INT_INT
,
286 ATTR_NOTHROW_LEAF_LIST
)
287 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK
,
288 "__tsan_atomic128_compare_exchange_weak",
289 BT_FN_BOOL_VPTR_PTR_I16_INT_INT
,
290 ATTR_NOTHROW_LEAF_LIST
)
292 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE
,
293 "__tsan_atomic_thread_fence",
294 BT_FN_VOID_INT
, ATTR_NOTHROW_LEAF_LIST
)
295 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE
,
296 "__tsan_atomic_signal_fence",
297 BT_FN_VOID_INT
, ATTR_NOTHROW_LEAF_LIST
)
299 /* Undefined Behavior Sanitizer
*/
300 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW
,
301 "__ubsan_handle_divrem_overflow",
302 BT_FN_VOID_PTR_PTR_PTR
,
303 ATTR_COLD_NOTHROW_LEAF_LIST
)
304 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS
,
305 "__ubsan_handle_shift_out_of_bounds",
306 BT_FN_VOID_PTR_PTR_PTR
,
307 ATTR_COLD_NOTHROW_LEAF_LIST
)
308 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE
,
309 "__ubsan_handle_builtin_unreachable",
311 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
312 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN
,
313 "__ubsan_handle_missing_return",
315 ATTR_NORETURN_NOTHROW_LEAF_LIST
)
316 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE
,
317 "__ubsan_handle_vla_bound_not_positive",
319 ATTR_COLD_NOTHROW_LEAF_LIST
)
320 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH
,
321 "__ubsan_handle_type_mismatch",
323 ATTR_COLD_NOTHROW_LEAF_LIST
)
324 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW
,
325 "__ubsan_handle_add_overflow",
326 BT_FN_VOID_PTR_PTR_PTR
,
327 ATTR_COLD_NOTHROW_LEAF_LIST
)
328 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW
,
329 "__ubsan_handle_sub_overflow",
330 BT_FN_VOID_PTR_PTR_PTR
,
331 ATTR_COLD_NOTHROW_LEAF_LIST
)
332 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW
,
333 "__ubsan_handle_mul_overflow",
334 BT_FN_VOID_PTR_PTR_PTR
,
335 ATTR_COLD_NOTHROW_LEAF_LIST
)
336 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW
,
337 "__ubsan_handle_negate_overflow",
339 ATTR_COLD_NOTHROW_LEAF_LIST
)
340 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE
,
341 "__ubsan_handle_load_invalid_value",
343 ATTR_COLD_NOTHROW_LEAF_LIST
)
344 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT
,
345 "__ubsan_handle_divrem_overflow_abort",
346 BT_FN_VOID_PTR_PTR_PTR
,
347 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
348 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT
,
349 "__ubsan_handle_shift_out_of_bounds_abort",
350 BT_FN_VOID_PTR_PTR_PTR
,
351 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
352 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT
,
353 "__ubsan_handle_vla_bound_not_positive_abort",
355 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
356 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_ABORT
,
357 "__ubsan_handle_type_mismatch_abort",
359 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
360 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT
,
361 "__ubsan_handle_add_overflow_abort",
362 BT_FN_VOID_PTR_PTR_PTR
,
363 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
364 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT
,
365 "__ubsan_handle_sub_overflow_abort",
366 BT_FN_VOID_PTR_PTR_PTR
,
367 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
368 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT
,
369 "__ubsan_handle_mul_overflow_abort",
370 BT_FN_VOID_PTR_PTR_PTR
,
371 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
372 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT
,
373 "__ubsan_handle_negate_overflow_abort",
375 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
376 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT
,
377 "__ubsan_handle_load_invalid_value_abort",
379 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
380 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW
,
381 "__ubsan_handle_float_cast_overflow",
383 ATTR_COLD_NOTHROW_LEAF_LIST
)
384 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT
,
385 "__ubsan_handle_float_cast_overflow_abort",
387 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)