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
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_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)
175 /* Thread Sanitizer */
176 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init",
177 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
178 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
179 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
180 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
181 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
182 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
183 BT_FN_VOID_PTR_PTR, ATTR_NOTHROW_LEAF_LIST)
184 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
185 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
187 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
188 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
189 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
190 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
191 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
192 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
193 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
194 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
195 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
196 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
197 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
198 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
199 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
200 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
201 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
203 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
204 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ_RANGE, "__tsan_read_range",
205 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
206 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE_RANGE, "__tsan_write_range",
207 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
209 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
210 "__tsan_atomic8_load",
211 BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
212 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
213 "__tsan_atomic16_load",
214 BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
215 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
216 "__tsan_atomic32_load",
217 BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
218 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
219 "__tsan_atomic64_load",
220 BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
221 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
222 "__tsan_atomic128_load",
223 BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
225 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
226 "__tsan_atomic8_store",
227 BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
228 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
229 "__tsan_atomic16_store",
230 BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
231 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
232 "__tsan_atomic32_store",
233 BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
234 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
235 "__tsan_atomic64_store",
236 BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
237 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
238 "__tsan_atomic128_store",
239 BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
241 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
242 "__tsan_atomic8_exchange",
243 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
244 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
245 "__tsan_atomic16_exchange",
246 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
247 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
248 "__tsan_atomic32_exchange",
249 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
250 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
251 "__tsan_atomic64_exchange",
252 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
253 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
254 "__tsan_atomic128_exchange",
255 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
257 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
258 "__tsan_atomic8_fetch_add",
259 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
260 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
261 "__tsan_atomic16_fetch_add",
262 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
263 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
264 "__tsan_atomic32_fetch_add",
265 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
266 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
267 "__tsan_atomic64_fetch_add",
268 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
269 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
270 "__tsan_atomic128_fetch_add",
271 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
273 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
274 "__tsan_atomic8_fetch_sub",
275 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
276 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
277 "__tsan_atomic16_fetch_sub",
278 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
279 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
280 "__tsan_atomic32_fetch_sub",
281 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
282 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
283 "__tsan_atomic64_fetch_sub",
284 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
285 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
286 "__tsan_atomic128_fetch_sub",
287 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
289 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
290 "__tsan_atomic8_fetch_and",
291 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
292 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
293 "__tsan_atomic16_fetch_and",
294 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
295 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
296 "__tsan_atomic32_fetch_and",
297 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
298 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
299 "__tsan_atomic64_fetch_and",
300 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
301 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
302 "__tsan_atomic128_fetch_and",
303 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
305 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
306 "__tsan_atomic8_fetch_or",
307 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
308 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
309 "__tsan_atomic16_fetch_or",
310 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
311 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
312 "__tsan_atomic32_fetch_or",
313 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
314 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
315 "__tsan_atomic64_fetch_or",
316 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
317 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
318 "__tsan_atomic128_fetch_or",
319 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
321 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
322 "__tsan_atomic8_fetch_xor",
323 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
324 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
325 "__tsan_atomic16_fetch_xor",
326 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
327 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
328 "__tsan_atomic32_fetch_xor",
329 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
330 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
331 "__tsan_atomic64_fetch_xor",
332 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
333 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
334 "__tsan_atomic128_fetch_xor",
335 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
337 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
338 "__tsan_atomic8_fetch_nand",
339 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
340 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
341 "__tsan_atomic16_fetch_nand",
342 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
343 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
344 "__tsan_atomic32_fetch_nand",
345 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
346 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
347 "__tsan_atomic64_fetch_nand",
348 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
349 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
350 "__tsan_atomic128_fetch_nand",
351 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
353 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
354 "__tsan_atomic8_compare_exchange_strong",
355 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
356 ATTR_NOTHROW_LEAF_LIST)
357 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
358 "__tsan_atomic16_compare_exchange_strong",
359 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
360 ATTR_NOTHROW_LEAF_LIST)
361 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
362 "__tsan_atomic32_compare_exchange_strong",
363 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
364 ATTR_NOTHROW_LEAF_LIST)
365 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
366 "__tsan_atomic64_compare_exchange_strong",
367 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
368 ATTR_NOTHROW_LEAF_LIST)
369 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
370 "__tsan_atomic128_compare_exchange_strong",
371 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
372 ATTR_NOTHROW_LEAF_LIST)
374 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
375 "__tsan_atomic8_compare_exchange_weak",
376 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
377 ATTR_NOTHROW_LEAF_LIST)
378 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
379 "__tsan_atomic16_compare_exchange_weak",
380 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
381 ATTR_NOTHROW_LEAF_LIST)
382 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
383 "__tsan_atomic32_compare_exchange_weak",
384 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
385 ATTR_NOTHROW_LEAF_LIST)
386 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
387 "__tsan_atomic64_compare_exchange_weak",
388 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
389 ATTR_NOTHROW_LEAF_LIST)
390 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
391 "__tsan_atomic128_compare_exchange_weak",
392 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
393 ATTR_NOTHROW_LEAF_LIST)
395 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
396 "__tsan_atomic_thread_fence",
397 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
398 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
399 "__tsan_atomic_signal_fence",
400 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
402 /* Undefined Behavior Sanitizer */
403 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW,
404 "__ubsan_handle_divrem_overflow",
405 BT_FN_VOID_PTR_PTR_PTR,
406 ATTR_COLD_NOTHROW_LEAF_LIST)
407 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS,
408 "__ubsan_handle_shift_out_of_bounds",
409 BT_FN_VOID_PTR_PTR_PTR,
410 ATTR_COLD_NOTHROW_LEAF_LIST)
411 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE,
412 "__ubsan_handle_builtin_unreachable",
414 ATTR_COLD_CONST_NORETURN_NOTHROW_LEAF_LIST)
415 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN,
416 "__ubsan_handle_missing_return",
418 ATTR_NORETURN_NOTHROW_LEAF_LIST)
419 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE,
420 "__ubsan_handle_vla_bound_not_positive",
422 ATTR_COLD_NOTHROW_LEAF_LIST)
423 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH,
424 "__ubsan_handle_type_mismatch",
426 ATTR_COLD_NOTHROW_LEAF_LIST)
427 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW,
428 "__ubsan_handle_add_overflow",
429 BT_FN_VOID_PTR_PTR_PTR,
430 ATTR_COLD_NOTHROW_LEAF_LIST)
431 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW,
432 "__ubsan_handle_sub_overflow",
433 BT_FN_VOID_PTR_PTR_PTR,
434 ATTR_COLD_NOTHROW_LEAF_LIST)
435 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW,
436 "__ubsan_handle_mul_overflow",
437 BT_FN_VOID_PTR_PTR_PTR,
438 ATTR_COLD_NOTHROW_LEAF_LIST)
439 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW,
440 "__ubsan_handle_negate_overflow",
442 ATTR_COLD_NOTHROW_LEAF_LIST)
443 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE,
444 "__ubsan_handle_load_invalid_value",
446 ATTR_COLD_NOTHROW_LEAF_LIST)
447 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT,
448 "__ubsan_handle_divrem_overflow_abort",
449 BT_FN_VOID_PTR_PTR_PTR,
450 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
451 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT,
452 "__ubsan_handle_shift_out_of_bounds_abort",
453 BT_FN_VOID_PTR_PTR_PTR,
454 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
455 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT,
456 "__ubsan_handle_vla_bound_not_positive_abort",
458 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
459 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_ABORT,
460 "__ubsan_handle_type_mismatch_abort",
462 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
463 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT,
464 "__ubsan_handle_add_overflow_abort",
465 BT_FN_VOID_PTR_PTR_PTR,
466 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
467 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT,
468 "__ubsan_handle_sub_overflow_abort",
469 BT_FN_VOID_PTR_PTR_PTR,
470 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
471 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT,
472 "__ubsan_handle_mul_overflow_abort",
473 BT_FN_VOID_PTR_PTR_PTR,
474 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
475 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT,
476 "__ubsan_handle_negate_overflow_abort",
478 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
479 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT,
480 "__ubsan_handle_load_invalid_value_abort",
482 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
483 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW,
484 "__ubsan_handle_float_cast_overflow",
486 ATTR_COLD_NOTHROW_LEAF_LIST)
487 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT,
488 "__ubsan_handle_float_cast_overflow_abort",
490 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
491 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS,
492 "__ubsan_handle_out_of_bounds",
494 ATTR_COLD_NOTHROW_LEAF_LIST)
495 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT,
496 "__ubsan_handle_out_of_bounds_abort",
498 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
499 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG,
500 "__ubsan_handle_nonnull_arg",
502 ATTR_COLD_NOTHROW_LEAF_LIST)
503 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT,
504 "__ubsan_handle_nonnull_arg_abort",
506 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
507 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN,
508 "__ubsan_handle_nonnull_return",
510 ATTR_COLD_NOTHROW_LEAF_LIST)
511 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_ABORT,
512 "__ubsan_handle_nonnull_return_abort",
514 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
515 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS,
516 "__ubsan_handle_dynamic_type_cache_miss",
517 BT_FN_VOID_PTR_PTR_PTR,
518 ATTR_COLD_NOTHROW_LEAF_LIST)
519 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS_ABORT,
520 "__ubsan_handle_dynamic_type_cache_miss_abort",
521 BT_FN_VOID_PTR_PTR_PTR,
522 ATTR_COLD_NOTHROW_LEAF_LIST)
524 /* Sanitizer coverage */
525 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_PC,
526 "__sanitizer_cov_trace_pc",
527 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
529 /* This has to come after all the sanitizer builtins. */
530 DEF_BUILTIN_STUB(END_SANITIZER_BUILTINS, (const char *)0)