]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/sanitizer.def
projects / thirdparty / gcc.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
config/
[thirdparty/gcc.git] / gcc / sanitizer.def
CommitLineData
b45e34ed 1/* This file contains the definitions and documentation for the
2 Address Sanitizer and Thread Sanitizer builtins used in the GNU compiler.
711789cc 3 Copyright (C) 2012-2013 Free Software Foundation, Inc.
b45e34ed 4
5This file is part of GCC.
6
7GCC is free software; you can redistribute it and/or modify it under
8the terms of the GNU General Public License as published by the Free
9Software Foundation; either version 3, or (at your option) any later
10version.
11
12GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or
14FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15for more details.
16
17You should have received a copy of the GNU General Public License
18along with GCC; see the file COPYING3. If not see
19<http://www.gnu.org/licenses/>. */
20
21/* Before including this file, you should define a macro:
22
23 DEF_SANITIZER_BUILTIN (ENUM, NAME, TYPE, ATTRS)
24
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. */
28
29/* Address Sanitizer */
1e80ce41 30DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init_v3",
b45e34ed 31 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
09c97583 32/* Do not reorder the BUILT_IN_ASAN_REPORT* builtins, e.g. cfgcleanup.c
33 relies on this order. */
b45e34ed 34DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1",
c2901651 35 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 36DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2",
c2901651 37 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 38DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4",
c2901651 39 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 40DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8",
c2901651 41 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 42DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16",
c2901651 43 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 44DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1",
c2901651 45 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 46DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2",
c2901651 47 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 48DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4",
c2901651 49 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 50DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8",
c2901651 51 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 52DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16",
c2901651 53 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
b45e34ed 54DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS,
55 "__asan_register_globals",
56 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
57DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS,
58 "__asan_unregister_globals",
59 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
494f4883 60DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN,
61 "__asan_handle_no_return",
c2901651 62 BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST)
b45e34ed 63
64/* Thread Sanitizer */
b077695d 65DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init",
66 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
67DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
68 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
69DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
70 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
71DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
72 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 73DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
b077695d 74 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 75DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
b077695d 76 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 77DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
b077695d 78 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 79DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
b077695d 80 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 81DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
b077695d 82 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 83DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
b077695d 84 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 85DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
b077695d 86 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 87DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
b077695d 88 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 89DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
b077695d 90 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
b45e34ed 91DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
b077695d 92 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
83392e87 93
94DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
95 "__tsan_atomic8_load",
96 BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
97DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
98 "__tsan_atomic16_load",
99 BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
100DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
101 "__tsan_atomic32_load",
102 BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
103DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
104 "__tsan_atomic64_load",
105 BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
106DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
107 "__tsan_atomic128_load",
108 BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
109
110DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
111 "__tsan_atomic8_store",
112 BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
113DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
114 "__tsan_atomic16_store",
115 BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
116DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
117 "__tsan_atomic32_store",
118 BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
119DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
120 "__tsan_atomic64_store",
121 BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
122DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
123 "__tsan_atomic128_store",
124 BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
125
126DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
127 "__tsan_atomic8_exchange",
128 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
129DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
130 "__tsan_atomic16_exchange",
131 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
132DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
133 "__tsan_atomic32_exchange",
134 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
135DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
136 "__tsan_atomic64_exchange",
137 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
138DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
139 "__tsan_atomic128_exchange",
140 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
141
142DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
143 "__tsan_atomic8_fetch_add",
144 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
145DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
146 "__tsan_atomic16_fetch_add",
147 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
148DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
149 "__tsan_atomic32_fetch_add",
150 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
151DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
152 "__tsan_atomic64_fetch_add",
153 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
154DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
155 "__tsan_atomic128_fetch_add",
156 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
157
158DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
159 "__tsan_atomic8_fetch_sub",
160 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
161DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
162 "__tsan_atomic16_fetch_sub",
163 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
164DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
165 "__tsan_atomic32_fetch_sub",
166 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
167DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
168 "__tsan_atomic64_fetch_sub",
169 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
170DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
171 "__tsan_atomic128_fetch_sub",
172 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
173
174DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
175 "__tsan_atomic8_fetch_and",
176 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
177DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
178 "__tsan_atomic16_fetch_and",
179 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
180DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
181 "__tsan_atomic32_fetch_and",
182 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
183DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
184 "__tsan_atomic64_fetch_and",
185 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
186DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
187 "__tsan_atomic128_fetch_and",
188 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
189
190DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
191 "__tsan_atomic8_fetch_or",
192 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
193DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
194 "__tsan_atomic16_fetch_or",
195 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
196DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
197 "__tsan_atomic32_fetch_or",
198 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
199DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
200 "__tsan_atomic64_fetch_or",
201 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
202DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
203 "__tsan_atomic128_fetch_or",
204 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
205
206DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
207 "__tsan_atomic8_fetch_xor",
208 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
209DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
210 "__tsan_atomic16_fetch_xor",
211 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
212DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
213 "__tsan_atomic32_fetch_xor",
214 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
215DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
216 "__tsan_atomic64_fetch_xor",
217 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
218DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
219 "__tsan_atomic128_fetch_xor",
220 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
221
222DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
223 "__tsan_atomic8_fetch_nand",
224 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
225DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
226 "__tsan_atomic16_fetch_nand",
227 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
228DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
229 "__tsan_atomic32_fetch_nand",
230 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
231DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
232 "__tsan_atomic64_fetch_nand",
233 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
234DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
235 "__tsan_atomic128_fetch_nand",
236 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
237
238DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
239 "__tsan_atomic8_compare_exchange_strong",
240 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
241 ATTR_NOTHROW_LEAF_LIST)
242DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
243 "__tsan_atomic16_compare_exchange_strong",
244 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
245 ATTR_NOTHROW_LEAF_LIST)
246DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
247 "__tsan_atomic32_compare_exchange_strong",
248 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
249 ATTR_NOTHROW_LEAF_LIST)
250DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
251 "__tsan_atomic64_compare_exchange_strong",
252 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
253 ATTR_NOTHROW_LEAF_LIST)
254DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
255 "__tsan_atomic128_compare_exchange_strong",
256 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
257 ATTR_NOTHROW_LEAF_LIST)
258
259DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
260 "__tsan_atomic8_compare_exchange_weak",
261 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
262 ATTR_NOTHROW_LEAF_LIST)
263DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
264 "__tsan_atomic16_compare_exchange_weak",
265 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
266 ATTR_NOTHROW_LEAF_LIST)
267DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
268 "__tsan_atomic32_compare_exchange_weak",
269 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
270 ATTR_NOTHROW_LEAF_LIST)
271DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
272 "__tsan_atomic64_compare_exchange_weak",
273 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
274 ATTR_NOTHROW_LEAF_LIST)
275DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
276 "__tsan_atomic128_compare_exchange_weak",
277 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
278 ATTR_NOTHROW_LEAF_LIST)
279
280DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
281 "__tsan_atomic_thread_fence",
282 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
283DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
284 "__tsan_atomic_signal_fence",
285 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
9e46467d 286
287/* Undefined Behavior Sanitizer */
288DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW,
289 "__ubsan_handle_divrem_overflow",
290 BT_FN_VOID_PTR_PTR_PTR,
291 ATTR_COLD_NOTHROW_LEAF_LIST)
292DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS,
293 "__ubsan_handle_shift_out_of_bounds",
294 BT_FN_VOID_PTR_PTR_PTR,
295 ATTR_COLD_NOTHROW_LEAF_LIST)
296DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE,
297 "__ubsan_handle_builtin_unreachable",
298 BT_FN_VOID_PTR,
299 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
2c4c3477 300DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE,
301 "__ubsan_handle_vla_bound_not_positive",
302 BT_FN_VOID_PTR_PTR,
303 ATTR_COLD_NOTHROW_LEAF_LIST)
19b928d9 304DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH,
305 "__ubsan_handle_type_mismatch",
306 BT_FN_VOID_PTR_PTR,
307 ATTR_COLD_NOTHROW_LEAF_LIST)
Mirror of https://gcc.gnu.org/git/gcc.git