Daily bump.
[official-gcc.git] / gcc / sanitizer.def
blob91759a8957ac25f92b97f790a0551c1a508430e8
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-2017 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
10 version.
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
15 for more details.
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_BUILTIN_STUB(ENUM, NAME)
24 DEF_SANITIZER_BUILTIN (ENUM, NAME, TYPE, ATTRS)
26 See builtins.def for details.
27 The builtins are created by the C-family of FEs in c-family/c-common.c,
28 for other FEs by asan.c. */
30 /* This has to come before all the sanitizer builtins. */
31 DEF_BUILTIN_STUB(BEGIN_SANITIZER_BUILTINS, (const char *)0)
33 /* Address Sanitizer */
34 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init",
35 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
36 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_VERSION_MISMATCH_CHECK,
37 "__asan_version_mismatch_check_v8",
38 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
39 /* Do not reorder the BUILT_IN_ASAN_{REPORT,CHECK}* builtins, e.g. cfgcleanup.c
40 relies on this order. */
41 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1",
42 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
43 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2",
44 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
45 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4",
46 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
47 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8",
48 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
49 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16",
50 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
51 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N, "__asan_report_load_n",
52 BT_FN_VOID_PTR_PTRMODE,
53 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
54 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1",
55 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
56 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2",
57 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
58 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4",
59 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
60 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8",
61 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
62 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16",
63 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
64 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N, "__asan_report_store_n",
65 BT_FN_VOID_PTR_PTRMODE,
66 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
67 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1_NOABORT,
68 "__asan_report_load1_noabort",
69 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
70 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2_NOABORT,
71 "__asan_report_load2_noabort",
72 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
73 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4_NOABORT,
74 "__asan_report_load4_noabort",
75 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
76 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8_NOABORT,
77 "__asan_report_load8_noabort",
78 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
79 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16_NOABORT,
80 "__asan_report_load16_noabort",
81 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
82 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N_NOABORT,
83 "__asan_report_load_n_noabort",
84 BT_FN_VOID_PTR_PTRMODE,
85 ATTR_TMPURE_NOTHROW_LEAF_LIST)
86 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1_NOABORT,
87 "__asan_report_store1_noabort",
88 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
89 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2_NOABORT,
90 "__asan_report_store2_noabort",
91 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
92 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4_NOABORT,
93 "__asan_report_store4_noabort",
94 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
95 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8_NOABORT,
96 "__asan_report_store8_noabort",
97 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
98 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16_NOABORT,
99 "__asan_report_store16_noabort",
100 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
101 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N_NOABORT,
102 "__asan_report_store_n_noabort",
103 BT_FN_VOID_PTR_PTRMODE,
104 ATTR_TMPURE_NOTHROW_LEAF_LIST)
105 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1, "__asan_load1",
106 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
107 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2, "__asan_load2",
108 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
109 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4, "__asan_load4",
110 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
111 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8, "__asan_load8",
112 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
113 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16, "__asan_load16",
114 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
115 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN, "__asan_loadN",
116 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
117 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1, "__asan_store1",
118 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
119 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2, "__asan_store2",
120 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
121 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4, "__asan_store4",
122 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
123 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8, "__asan_store8",
124 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
125 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16, "__asan_store16",
126 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
127 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN, "__asan_storeN",
128 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
129 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1_NOABORT, "__asan_load1_noabort",
130 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
131 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2_NOABORT, "__asan_load2_noabort",
132 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
133 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4_NOABORT, "__asan_load4_noabort",
134 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
135 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8_NOABORT, "__asan_load8_noabort",
136 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
137 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16_NOABORT, "__asan_load16_noabort",
138 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
139 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN_NOABORT, "__asan_loadN_noabort",
140 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
141 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1_NOABORT, "__asan_store1_noabort",
142 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
143 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2_NOABORT, "__asan_store2_noabort",
144 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
145 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4_NOABORT, "__asan_store4_noabort",
146 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
147 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8_NOABORT, "__asan_store8_noabort",
148 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
149 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16_NOABORT, "__asan_store16_noabort",
150 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
151 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN_NOABORT, "__asan_storeN_noabort",
152 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
153 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS,
154 "__asan_register_globals",
155 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
156 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS,
157 "__asan_unregister_globals",
158 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
159 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN,
160 "__asan_handle_no_return",
161 BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST)
162 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT,
163 "__asan_before_dynamic_init",
164 BT_FN_VOID_CONST_PTR, ATTR_NOTHROW_LEAF_LIST)
165 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_AFTER_DYNAMIC_INIT,
166 "__asan_after_dynamic_init",
167 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
168 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_POISON_STACK_MEMORY,
169 "__asan_poison_stack_memory",
170 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
171 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNPOISON_STACK_MEMORY,
172 "__asan_unpoison_stack_memory",
173 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
174 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCA_POISON, "__asan_alloca_poison",
175 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
176 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCAS_UNPOISON, "__asan_allocas_unpoison",
177 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
179 /* Thread Sanitizer */
180 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init",
181 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
182 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
183 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
184 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
185 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
187 BT_FN_VOID_PTR_PTR, ATTR_NOTHROW_LEAF_LIST)
188 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
189 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
190 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
191 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
192 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
193 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
194 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
195 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
196 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
197 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
198 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
199 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
200 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
201 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
203 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
204 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
205 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
206 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
207 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
208 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ_RANGE, "__tsan_read_range",
209 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
210 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE_RANGE, "__tsan_write_range",
211 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
213 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
214 "__tsan_atomic8_load",
215 BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
216 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
217 "__tsan_atomic16_load",
218 BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
219 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
220 "__tsan_atomic32_load",
221 BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
222 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
223 "__tsan_atomic64_load",
224 BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
225 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
226 "__tsan_atomic128_load",
227 BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
229 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
230 "__tsan_atomic8_store",
231 BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
232 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
233 "__tsan_atomic16_store",
234 BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
235 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
236 "__tsan_atomic32_store",
237 BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
238 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
239 "__tsan_atomic64_store",
240 BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
241 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
242 "__tsan_atomic128_store",
243 BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
245 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
246 "__tsan_atomic8_exchange",
247 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
248 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
249 "__tsan_atomic16_exchange",
250 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
251 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
252 "__tsan_atomic32_exchange",
253 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
254 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
255 "__tsan_atomic64_exchange",
256 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
257 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
258 "__tsan_atomic128_exchange",
259 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
261 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
262 "__tsan_atomic8_fetch_add",
263 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
264 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
265 "__tsan_atomic16_fetch_add",
266 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
267 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
268 "__tsan_atomic32_fetch_add",
269 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
270 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
271 "__tsan_atomic64_fetch_add",
272 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
273 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
274 "__tsan_atomic128_fetch_add",
275 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
277 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
278 "__tsan_atomic8_fetch_sub",
279 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
280 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
281 "__tsan_atomic16_fetch_sub",
282 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
283 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
284 "__tsan_atomic32_fetch_sub",
285 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
286 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
287 "__tsan_atomic64_fetch_sub",
288 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
289 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
290 "__tsan_atomic128_fetch_sub",
291 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
293 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
294 "__tsan_atomic8_fetch_and",
295 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
296 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
297 "__tsan_atomic16_fetch_and",
298 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
299 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
300 "__tsan_atomic32_fetch_and",
301 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
302 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
303 "__tsan_atomic64_fetch_and",
304 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
305 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
306 "__tsan_atomic128_fetch_and",
307 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
309 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
310 "__tsan_atomic8_fetch_or",
311 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
312 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
313 "__tsan_atomic16_fetch_or",
314 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
315 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
316 "__tsan_atomic32_fetch_or",
317 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
318 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
319 "__tsan_atomic64_fetch_or",
320 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
321 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
322 "__tsan_atomic128_fetch_or",
323 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
325 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
326 "__tsan_atomic8_fetch_xor",
327 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
328 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
329 "__tsan_atomic16_fetch_xor",
330 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
331 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
332 "__tsan_atomic32_fetch_xor",
333 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
334 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
335 "__tsan_atomic64_fetch_xor",
336 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
337 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
338 "__tsan_atomic128_fetch_xor",
339 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
341 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
342 "__tsan_atomic8_fetch_nand",
343 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
344 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
345 "__tsan_atomic16_fetch_nand",
346 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
347 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
348 "__tsan_atomic32_fetch_nand",
349 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
350 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
351 "__tsan_atomic64_fetch_nand",
352 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
353 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
354 "__tsan_atomic128_fetch_nand",
355 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
357 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
358 "__tsan_atomic8_compare_exchange_strong",
359 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
360 ATTR_NOTHROW_LEAF_LIST)
361 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
362 "__tsan_atomic16_compare_exchange_strong",
363 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
364 ATTR_NOTHROW_LEAF_LIST)
365 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
366 "__tsan_atomic32_compare_exchange_strong",
367 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
368 ATTR_NOTHROW_LEAF_LIST)
369 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
370 "__tsan_atomic64_compare_exchange_strong",
371 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
372 ATTR_NOTHROW_LEAF_LIST)
373 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
374 "__tsan_atomic128_compare_exchange_strong",
375 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
376 ATTR_NOTHROW_LEAF_LIST)
378 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
379 "__tsan_atomic8_compare_exchange_weak",
380 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
381 ATTR_NOTHROW_LEAF_LIST)
382 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
383 "__tsan_atomic16_compare_exchange_weak",
384 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
385 ATTR_NOTHROW_LEAF_LIST)
386 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
387 "__tsan_atomic32_compare_exchange_weak",
388 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
389 ATTR_NOTHROW_LEAF_LIST)
390 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
391 "__tsan_atomic64_compare_exchange_weak",
392 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
393 ATTR_NOTHROW_LEAF_LIST)
394 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
395 "__tsan_atomic128_compare_exchange_weak",
396 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
397 ATTR_NOTHROW_LEAF_LIST)
399 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
400 "__tsan_atomic_thread_fence",
401 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
402 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
403 "__tsan_atomic_signal_fence",
404 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
406 /* Undefined Behavior Sanitizer */
407 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW,
408 "__ubsan_handle_divrem_overflow",
409 BT_FN_VOID_PTR_PTR_PTR,
410 ATTR_COLD_NOTHROW_LEAF_LIST)
411 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS,
412 "__ubsan_handle_shift_out_of_bounds",
413 BT_FN_VOID_PTR_PTR_PTR,
414 ATTR_COLD_NOTHROW_LEAF_LIST)
415 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE,
416 "__ubsan_handle_builtin_unreachable",
417 BT_FN_VOID_PTR,
418 ATTR_COLD_CONST_NORETURN_NOTHROW_LEAF_LIST)
419 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN,
420 "__ubsan_handle_missing_return",
421 BT_FN_VOID_PTR,
422 ATTR_NORETURN_NOTHROW_LEAF_LIST)
423 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE,
424 "__ubsan_handle_vla_bound_not_positive",
425 BT_FN_VOID_PTR_PTR,
426 ATTR_COLD_NOTHROW_LEAF_LIST)
427 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH,
428 "__ubsan_handle_type_mismatch",
429 BT_FN_VOID_PTR_PTR,
430 ATTR_COLD_NOTHROW_LEAF_LIST)
431 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW,
432 "__ubsan_handle_add_overflow",
433 BT_FN_VOID_PTR_PTR_PTR,
434 ATTR_COLD_NOTHROW_LEAF_LIST)
435 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW,
436 "__ubsan_handle_sub_overflow",
437 BT_FN_VOID_PTR_PTR_PTR,
438 ATTR_COLD_NOTHROW_LEAF_LIST)
439 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW,
440 "__ubsan_handle_mul_overflow",
441 BT_FN_VOID_PTR_PTR_PTR,
442 ATTR_COLD_NOTHROW_LEAF_LIST)
443 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW,
444 "__ubsan_handle_negate_overflow",
445 BT_FN_VOID_PTR_PTR,
446 ATTR_COLD_NOTHROW_LEAF_LIST)
447 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE,
448 "__ubsan_handle_load_invalid_value",
449 BT_FN_VOID_PTR_PTR,
450 ATTR_COLD_NOTHROW_LEAF_LIST)
451 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT,
452 "__ubsan_handle_divrem_overflow_abort",
453 BT_FN_VOID_PTR_PTR_PTR,
454 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
455 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT,
456 "__ubsan_handle_shift_out_of_bounds_abort",
457 BT_FN_VOID_PTR_PTR_PTR,
458 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
459 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT,
460 "__ubsan_handle_vla_bound_not_positive_abort",
461 BT_FN_VOID_PTR_PTR,
462 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
463 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_ABORT,
464 "__ubsan_handle_type_mismatch_abort",
465 BT_FN_VOID_PTR_PTR,
466 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
467 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT,
468 "__ubsan_handle_add_overflow_abort",
469 BT_FN_VOID_PTR_PTR_PTR,
470 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
471 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT,
472 "__ubsan_handle_sub_overflow_abort",
473 BT_FN_VOID_PTR_PTR_PTR,
474 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
475 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT,
476 "__ubsan_handle_mul_overflow_abort",
477 BT_FN_VOID_PTR_PTR_PTR,
478 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
479 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT,
480 "__ubsan_handle_negate_overflow_abort",
481 BT_FN_VOID_PTR_PTR,
482 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
483 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT,
484 "__ubsan_handle_load_invalid_value_abort",
485 BT_FN_VOID_PTR_PTR,
486 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
487 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW,
488 "__ubsan_handle_float_cast_overflow",
489 BT_FN_VOID_PTR_PTR,
490 ATTR_COLD_NOTHROW_LEAF_LIST)
491 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT,
492 "__ubsan_handle_float_cast_overflow_abort",
493 BT_FN_VOID_PTR_PTR,
494 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
495 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS,
496 "__ubsan_handle_out_of_bounds",
497 BT_FN_VOID_PTR_PTR,
498 ATTR_COLD_NOTHROW_LEAF_LIST)
499 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT,
500 "__ubsan_handle_out_of_bounds_abort",
501 BT_FN_VOID_PTR_PTR,
502 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
503 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG,
504 "__ubsan_handle_nonnull_arg",
505 BT_FN_VOID_PTR,
506 ATTR_COLD_NOTHROW_LEAF_LIST)
507 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT,
508 "__ubsan_handle_nonnull_arg_abort",
509 BT_FN_VOID_PTR,
510 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
511 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN,
512 "__ubsan_handle_nonnull_return",
513 BT_FN_VOID_PTR,
514 ATTR_COLD_NOTHROW_LEAF_LIST)
515 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_ABORT,
516 "__ubsan_handle_nonnull_return_abort",
517 BT_FN_VOID_PTR,
518 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
519 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS,
520 "__ubsan_handle_dynamic_type_cache_miss",
521 BT_FN_VOID_PTR_PTR_PTR,
522 ATTR_COLD_NOTHROW_LEAF_LIST)
523 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS_ABORT,
524 "__ubsan_handle_dynamic_type_cache_miss_abort",
525 BT_FN_VOID_PTR_PTR_PTR,
526 ATTR_COLD_NOTHROW_LEAF_LIST)
528 /* Sanitizer coverage */
529 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_PC,
530 "__sanitizer_cov_trace_pc",
531 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
533 /* This has to come after all the sanitizer builtins. */
534 DEF_BUILTIN_STUB(END_SANITIZER_BUILTINS, (const char *)0)