]>
Commit | Line | Data |
---|---|---|
0e668eaf JJ |
1 | /* This file contains the definitions and documentation for the |
2 | Address Sanitizer and Thread Sanitizer builtins used in the GNU compiler. | |
23a5b65a | 3 | Copyright (C) 2012-2014 Free Software Foundation, Inc. |
0e668eaf JJ |
4 | |
5 | This file is part of GCC. | |
6 | ||
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. | |
11 | ||
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. | |
16 | ||
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/>. */ | |
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 */ | |
866e32ad | 30 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init_v4", |
0e668eaf | 31 | BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST) |
8946c29e | 32 | /* Do not reorder the BUILT_IN_ASAN_{REPORT,CHECK}* builtins, e.g. cfgcleanup.c |
68a9738a | 33 | relies on this order. */ |
0e668eaf | 34 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1", |
bc77608b | 35 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 36 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2", |
bc77608b | 37 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 38 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4", |
bc77608b | 39 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 40 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8", |
bc77608b | 41 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 42 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16", |
bc77608b | 43 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
40f9f6bb JJ |
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) | |
0e668eaf | 47 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1", |
bc77608b | 48 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 49 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2", |
bc77608b | 50 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 51 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4", |
bc77608b | 52 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 53 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8", |
bc77608b | 54 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
0e668eaf | 55 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16", |
bc77608b | 56 | BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST) |
40f9f6bb JJ |
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) | |
8946c29e YG |
60 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1, "__asan_load1", |
61 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
62 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2, "__asan_load2", | |
63 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
64 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4, "__asan_load4", | |
65 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
66 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8, "__asan_load8", | |
67 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
68 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16, "__asan_load16", | |
69 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
70 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN, "__asan_loadN", | |
71 | BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
72 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1, "__asan_store1", | |
73 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
74 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2, "__asan_store2", | |
75 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
76 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4, "__asan_store4", | |
77 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
78 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8, "__asan_store8", | |
79 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
80 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16, "__asan_store16", | |
81 | BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
82 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN, "__asan_storeN", | |
83 | BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST) | |
0e668eaf JJ |
84 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS, |
85 | "__asan_register_globals", | |
86 | BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST) | |
87 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS, | |
88 | "__asan_unregister_globals", | |
89 | BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST) | |
2b2571c9 JJ |
90 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN, |
91 | "__asan_handle_no_return", | |
bc77608b | 92 | BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST) |
59b36ecf JJ |
93 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT, |
94 | "__asan_before_dynamic_init", | |
95 | BT_FN_VOID_CONST_PTR, ATTR_NOTHROW_LEAF_LIST) | |
96 | DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_AFTER_DYNAMIC_INIT, | |
97 | "__asan_after_dynamic_init", | |
98 | BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST) | |
0e668eaf JJ |
99 | |
100 | /* Thread Sanitizer */ | |
32b4b7f5 DV |
101 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init", |
102 | BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST) | |
103 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry", | |
104 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) | |
105 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit", | |
106 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) | |
107 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update", | |
108 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) | |
0e668eaf | 109 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1", |
32b4b7f5 | 110 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 111 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2", |
32b4b7f5 | 112 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 113 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4", |
32b4b7f5 | 114 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 115 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8", |
32b4b7f5 | 116 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 117 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16", |
32b4b7f5 | 118 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 119 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1", |
32b4b7f5 | 120 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 121 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2", |
32b4b7f5 | 122 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 123 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4", |
32b4b7f5 | 124 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 125 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8", |
32b4b7f5 | 126 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
0e668eaf | 127 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16", |
32b4b7f5 | 128 | BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST) |
c954bddd JJ |
129 | |
130 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD, | |
131 | "__tsan_atomic8_load", | |
132 | BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST) | |
133 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD, | |
134 | "__tsan_atomic16_load", | |
135 | BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST) | |
136 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD, | |
137 | "__tsan_atomic32_load", | |
138 | BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST) | |
139 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD, | |
140 | "__tsan_atomic64_load", | |
141 | BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST) | |
142 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD, | |
143 | "__tsan_atomic128_load", | |
144 | BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST) | |
145 | ||
146 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE, | |
147 | "__tsan_atomic8_store", | |
148 | BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
149 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE, | |
150 | "__tsan_atomic16_store", | |
151 | BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
152 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE, | |
153 | "__tsan_atomic32_store", | |
154 | BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
155 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE, | |
156 | "__tsan_atomic64_store", | |
157 | BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
158 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE, | |
159 | "__tsan_atomic128_store", | |
160 | BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
161 | ||
162 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE, | |
163 | "__tsan_atomic8_exchange", | |
164 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
165 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE, | |
166 | "__tsan_atomic16_exchange", | |
167 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
168 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE, | |
169 | "__tsan_atomic32_exchange", | |
170 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
171 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE, | |
172 | "__tsan_atomic64_exchange", | |
173 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
174 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE, | |
175 | "__tsan_atomic128_exchange", | |
176 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
177 | ||
178 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD, | |
179 | "__tsan_atomic8_fetch_add", | |
180 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
181 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD, | |
182 | "__tsan_atomic16_fetch_add", | |
183 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
184 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD, | |
185 | "__tsan_atomic32_fetch_add", | |
186 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
187 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD, | |
188 | "__tsan_atomic64_fetch_add", | |
189 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
190 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD, | |
191 | "__tsan_atomic128_fetch_add", | |
192 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
193 | ||
194 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB, | |
195 | "__tsan_atomic8_fetch_sub", | |
196 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
197 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB, | |
198 | "__tsan_atomic16_fetch_sub", | |
199 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
200 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB, | |
201 | "__tsan_atomic32_fetch_sub", | |
202 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
203 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB, | |
204 | "__tsan_atomic64_fetch_sub", | |
205 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
206 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB, | |
207 | "__tsan_atomic128_fetch_sub", | |
208 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
209 | ||
210 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND, | |
211 | "__tsan_atomic8_fetch_and", | |
212 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
213 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND, | |
214 | "__tsan_atomic16_fetch_and", | |
215 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
216 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND, | |
217 | "__tsan_atomic32_fetch_and", | |
218 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
219 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND, | |
220 | "__tsan_atomic64_fetch_and", | |
221 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
222 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND, | |
223 | "__tsan_atomic128_fetch_and", | |
224 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
225 | ||
226 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR, | |
227 | "__tsan_atomic8_fetch_or", | |
228 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
229 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR, | |
230 | "__tsan_atomic16_fetch_or", | |
231 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
232 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR, | |
233 | "__tsan_atomic32_fetch_or", | |
234 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
235 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR, | |
236 | "__tsan_atomic64_fetch_or", | |
237 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
238 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR, | |
239 | "__tsan_atomic128_fetch_or", | |
240 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
241 | ||
242 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR, | |
243 | "__tsan_atomic8_fetch_xor", | |
244 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
245 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR, | |
246 | "__tsan_atomic16_fetch_xor", | |
247 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
248 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR, | |
249 | "__tsan_atomic32_fetch_xor", | |
250 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
251 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR, | |
252 | "__tsan_atomic64_fetch_xor", | |
253 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
254 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR, | |
255 | "__tsan_atomic128_fetch_xor", | |
256 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
257 | ||
258 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND, | |
259 | "__tsan_atomic8_fetch_nand", | |
260 | BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST) | |
261 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND, | |
262 | "__tsan_atomic16_fetch_nand", | |
263 | BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST) | |
264 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND, | |
265 | "__tsan_atomic32_fetch_nand", | |
266 | BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST) | |
267 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND, | |
268 | "__tsan_atomic64_fetch_nand", | |
269 | BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST) | |
270 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND, | |
271 | "__tsan_atomic128_fetch_nand", | |
272 | BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST) | |
273 | ||
274 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG, | |
275 | "__tsan_atomic8_compare_exchange_strong", | |
276 | BT_FN_BOOL_VPTR_PTR_I1_INT_INT, | |
277 | ATTR_NOTHROW_LEAF_LIST) | |
278 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG, | |
279 | "__tsan_atomic16_compare_exchange_strong", | |
280 | BT_FN_BOOL_VPTR_PTR_I2_INT_INT, | |
281 | ATTR_NOTHROW_LEAF_LIST) | |
282 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG, | |
283 | "__tsan_atomic32_compare_exchange_strong", | |
284 | BT_FN_BOOL_VPTR_PTR_I4_INT_INT, | |
285 | ATTR_NOTHROW_LEAF_LIST) | |
286 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG, | |
287 | "__tsan_atomic64_compare_exchange_strong", | |
288 | BT_FN_BOOL_VPTR_PTR_I8_INT_INT, | |
289 | ATTR_NOTHROW_LEAF_LIST) | |
290 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG, | |
291 | "__tsan_atomic128_compare_exchange_strong", | |
292 | BT_FN_BOOL_VPTR_PTR_I16_INT_INT, | |
293 | ATTR_NOTHROW_LEAF_LIST) | |
294 | ||
295 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK, | |
296 | "__tsan_atomic8_compare_exchange_weak", | |
297 | BT_FN_BOOL_VPTR_PTR_I1_INT_INT, | |
298 | ATTR_NOTHROW_LEAF_LIST) | |
299 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK, | |
300 | "__tsan_atomic16_compare_exchange_weak", | |
301 | BT_FN_BOOL_VPTR_PTR_I2_INT_INT, | |
302 | ATTR_NOTHROW_LEAF_LIST) | |
303 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK, | |
304 | "__tsan_atomic32_compare_exchange_weak", | |
305 | BT_FN_BOOL_VPTR_PTR_I4_INT_INT, | |
306 | ATTR_NOTHROW_LEAF_LIST) | |
307 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK, | |
308 | "__tsan_atomic64_compare_exchange_weak", | |
309 | BT_FN_BOOL_VPTR_PTR_I8_INT_INT, | |
310 | ATTR_NOTHROW_LEAF_LIST) | |
311 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK, | |
312 | "__tsan_atomic128_compare_exchange_weak", | |
313 | BT_FN_BOOL_VPTR_PTR_I16_INT_INT, | |
314 | ATTR_NOTHROW_LEAF_LIST) | |
315 | ||
316 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE, | |
317 | "__tsan_atomic_thread_fence", | |
318 | BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST) | |
319 | DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE, | |
320 | "__tsan_atomic_signal_fence", | |
321 | BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST) | |
de5a5fa1 MP |
322 | |
323 | /* Undefined Behavior Sanitizer */ | |
324 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW, | |
325 | "__ubsan_handle_divrem_overflow", | |
326 | BT_FN_VOID_PTR_PTR_PTR, | |
327 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
328 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS, | |
329 | "__ubsan_handle_shift_out_of_bounds", | |
330 | BT_FN_VOID_PTR_PTR_PTR, | |
331 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
332 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE, | |
333 | "__ubsan_handle_builtin_unreachable", | |
334 | BT_FN_VOID_PTR, | |
335 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
0a508bb6 JJ |
336 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN, |
337 | "__ubsan_handle_missing_return", | |
338 | BT_FN_VOID_PTR, | |
339 | ATTR_NORETURN_NOTHROW_LEAF_LIST) | |
b906f4ca MP |
340 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE, |
341 | "__ubsan_handle_vla_bound_not_positive", | |
342 | BT_FN_VOID_PTR_PTR, | |
343 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
b9a55b13 MP |
344 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH, |
345 | "__ubsan_handle_type_mismatch", | |
346 | BT_FN_VOID_PTR_PTR, | |
347 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
31e071ae MP |
348 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW, |
349 | "__ubsan_handle_add_overflow", | |
350 | BT_FN_VOID_PTR_PTR_PTR, | |
351 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
352 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW, | |
353 | "__ubsan_handle_sub_overflow", | |
354 | BT_FN_VOID_PTR_PTR_PTR, | |
355 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
356 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW, | |
357 | "__ubsan_handle_mul_overflow", | |
358 | BT_FN_VOID_PTR_PTR_PTR, | |
359 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
360 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW, | |
361 | "__ubsan_handle_negate_overflow", | |
362 | BT_FN_VOID_PTR_PTR, | |
363 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
ac0ff9f2 JJ |
364 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE, |
365 | "__ubsan_handle_load_invalid_value", | |
366 | BT_FN_VOID_PTR_PTR, | |
367 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
1c33c9b7 JJ |
368 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT, |
369 | "__ubsan_handle_divrem_overflow_abort", | |
370 | BT_FN_VOID_PTR_PTR_PTR, | |
371 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
372 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT, | |
373 | "__ubsan_handle_shift_out_of_bounds_abort", | |
374 | BT_FN_VOID_PTR_PTR_PTR, | |
375 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
376 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT, | |
377 | "__ubsan_handle_vla_bound_not_positive_abort", | |
378 | BT_FN_VOID_PTR_PTR, | |
379 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
380 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_ABORT, | |
381 | "__ubsan_handle_type_mismatch_abort", | |
382 | BT_FN_VOID_PTR_PTR, | |
383 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
384 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT, | |
385 | "__ubsan_handle_add_overflow_abort", | |
386 | BT_FN_VOID_PTR_PTR_PTR, | |
387 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
388 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT, | |
389 | "__ubsan_handle_sub_overflow_abort", | |
390 | BT_FN_VOID_PTR_PTR_PTR, | |
391 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
392 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT, | |
393 | "__ubsan_handle_mul_overflow_abort", | |
394 | BT_FN_VOID_PTR_PTR_PTR, | |
395 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
396 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT, | |
397 | "__ubsan_handle_negate_overflow_abort", | |
398 | BT_FN_VOID_PTR_PTR, | |
399 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
400 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT, | |
401 | "__ubsan_handle_load_invalid_value_abort", | |
402 | BT_FN_VOID_PTR_PTR, | |
403 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
85a16bf8 MP |
404 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW, |
405 | "__ubsan_handle_float_cast_overflow", | |
406 | BT_FN_VOID_PTR_PTR, | |
407 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
408 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT, | |
409 | "__ubsan_handle_float_cast_overflow_abort", | |
410 | BT_FN_VOID_PTR_PTR, | |
411 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
0e37a2f3 MP |
412 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS, |
413 | "__ubsan_handle_out_of_bounds", | |
414 | BT_FN_VOID_PTR_PTR, | |
415 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
416 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT, | |
417 | "__ubsan_handle_out_of_bounds_abort", | |
418 | BT_FN_VOID_PTR_PTR, | |
419 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
126edc3f JJ |
420 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG, |
421 | "__ubsan_handle_nonnull_arg", | |
422 | BT_FN_VOID_PTR_PTRMODE, | |
423 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
424 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT, | |
425 | "__ubsan_handle_nonnull_arg_abort", | |
426 | BT_FN_VOID_PTR_PTRMODE, | |
427 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) | |
428 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN, | |
429 | "__ubsan_handle_nonnull_return", | |
430 | BT_FN_VOID_PTR, | |
431 | ATTR_COLD_NOTHROW_LEAF_LIST) | |
432 | DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_ABORT, | |
433 | "__ubsan_handle_nonnull_return_abort", | |
434 | BT_FN_VOID_PTR, | |
435 | ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST) |