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