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-2023 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.cc
,
28 for other FEs by asan.cc.
*/
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.cc
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
)
178 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_POINTER_COMPARE
, "__sanitizer_ptr_cmp",
179 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
180 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_POINTER_SUBTRACT
, "__sanitizer_ptr_sub",
181 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
183 /* Hardware Address Sanitizer.
*/
184 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_INIT
, "__hwasan_init",
185 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
186 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD1
, "__hwasan_load1",
187 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
188 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD2
, "__hwasan_load2",
189 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
190 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD4
, "__hwasan_load4",
191 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
192 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD8
, "__hwasan_load8",
193 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
194 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD16
, "__hwasan_load16",
195 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
196 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOADN
, "__hwasan_loadN",
197 BT_FN_VOID_PTR_PTRMODE
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
198 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE1
, "__hwasan_store1",
199 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
200 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE2
, "__hwasan_store2",
201 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
202 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE4
, "__hwasan_store4",
203 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
204 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE8
, "__hwasan_store8",
205 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
206 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE16
, "__hwasan_store16",
207 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
208 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STOREN
, "__hwasan_storeN",
209 BT_FN_VOID_PTR_PTRMODE
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
210 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD1_NOABORT
, "__hwasan_load1_noabort",
211 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
212 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD2_NOABORT
, "__hwasan_load2_noabort",
213 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
214 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD4_NOABORT
, "__hwasan_load4_noabort",
215 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
216 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD8_NOABORT
, "__hwasan_load8_noabort",
217 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
218 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOAD16_NOABORT
, "__hwasan_load16_noabort",
219 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
220 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_LOADN_NOABORT
, "__hwasan_loadN_noabort",
221 BT_FN_VOID_PTR_PTRMODE
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
222 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE1_NOABORT
, "__hwasan_store1_noabort",
223 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
224 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE2_NOABORT
, "__hwasan_store2_noabort",
225 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
226 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE4_NOABORT
, "__hwasan_store4_noabort",
227 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
228 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE8_NOABORT
, "__hwasan_store8_noabort",
229 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
230 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STORE16_NOABORT
,
231 "__hwasan_store16_noabort",
232 BT_FN_VOID_PTR
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
233 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_STOREN_NOABORT
, "__hwasan_storeN_noabort",
234 BT_FN_VOID_PTR_PTRMODE
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
235 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_TAG_MISMATCH4
, "__hwasan_tag_mismatch4",
236 BT_FN_VOID_PTR
, ATTR_NOTHROW_LIST
)
237 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_HANDLE_LONGJMP
, "__hwasan_handle_longjmp",
238 BT_FN_VOID_CONST_PTR
, ATTR_NOTHROW_LIST
)
239 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_TAG_PTR
, "__hwasan_tag_pointer",
240 BT_FN_PTR_CONST_PTR_UINT8
, ATTR_TMPURE_NOTHROW_LEAF_LIST
)
241 DEF_SANITIZER_BUILTIN(BUILT_IN_HWASAN_TAG_MEM
, "__hwasan_tag_memory",
242 BT_FN_VOID_PTR_UINT8_PTRMODE
, ATTR_NOTHROW_LIST
)
244 /* Thread Sanitizer
*/
245 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT
, "__tsan_init",
246 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
247 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY
, "__tsan_func_entry",
248 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
249 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT
, "__tsan_func_exit",
250 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
251 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE
, "__tsan_vptr_update",
252 BT_FN_VOID_PTR_PTR
, ATTR_NOTHROW_LEAF_LIST
)
253 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1
, "__tsan_read1",
254 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
255 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2
, "__tsan_read2",
256 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
257 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4
, "__tsan_read4",
258 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
259 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8
, "__tsan_read8",
260 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
261 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16
, "__tsan_read16",
262 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
263 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1
, "__tsan_write1",
264 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
265 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2
, "__tsan_write2",
266 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
267 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4
, "__tsan_write4",
268 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
269 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8
, "__tsan_write8",
270 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
271 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16
, "__tsan_write16",
272 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
273 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ_RANGE
, "__tsan_read_range",
274 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
275 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE_RANGE
, "__tsan_write_range",
276 BT_FN_VOID_PTR_PTRMODE
, ATTR_NOTHROW_LEAF_LIST
)
278 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_READ1
, "__tsan_volatile_read1",
279 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
280 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_READ2
, "__tsan_volatile_read2",
281 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
282 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_READ4
, "__tsan_volatile_read4",
283 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
284 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_READ8
, "__tsan_volatile_read8",
285 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
286 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_READ16
, "__tsan_volatile_read16",
287 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
288 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_WRITE1
, "__tsan_volatile_write1",
289 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
290 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_WRITE2
, "__tsan_volatile_write2",
291 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
292 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_WRITE4
, "__tsan_volatile_write4",
293 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
294 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_WRITE8
, "__tsan_volatile_write8",
295 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
296 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VOLATILE_WRITE16
, "__tsan_volatile_write16",
297 BT_FN_VOID_PTR
, ATTR_NOTHROW_LEAF_LIST
)
299 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD
,
300 "__tsan_atomic8_load",
301 BT_FN_I1_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
302 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD
,
303 "__tsan_atomic16_load",
304 BT_FN_I2_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
305 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD
,
306 "__tsan_atomic32_load",
307 BT_FN_I4_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
308 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD
,
309 "__tsan_atomic64_load",
310 BT_FN_I8_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
311 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD
,
312 "__tsan_atomic128_load",
313 BT_FN_I16_CONST_VPTR_INT
, ATTR_NOTHROW_LEAF_LIST
)
315 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE
,
316 "__tsan_atomic8_store",
317 BT_FN_VOID_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
318 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE
,
319 "__tsan_atomic16_store",
320 BT_FN_VOID_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
321 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE
,
322 "__tsan_atomic32_store",
323 BT_FN_VOID_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
324 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE
,
325 "__tsan_atomic64_store",
326 BT_FN_VOID_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
327 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE
,
328 "__tsan_atomic128_store",
329 BT_FN_VOID_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
331 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE
,
332 "__tsan_atomic8_exchange",
333 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
334 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE
,
335 "__tsan_atomic16_exchange",
336 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
337 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE
,
338 "__tsan_atomic32_exchange",
339 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
340 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE
,
341 "__tsan_atomic64_exchange",
342 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
343 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE
,
344 "__tsan_atomic128_exchange",
345 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
347 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD
,
348 "__tsan_atomic8_fetch_add",
349 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
350 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD
,
351 "__tsan_atomic16_fetch_add",
352 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
353 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD
,
354 "__tsan_atomic32_fetch_add",
355 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
356 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD
,
357 "__tsan_atomic64_fetch_add",
358 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
359 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD
,
360 "__tsan_atomic128_fetch_add",
361 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
363 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB
,
364 "__tsan_atomic8_fetch_sub",
365 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
366 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB
,
367 "__tsan_atomic16_fetch_sub",
368 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
369 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB
,
370 "__tsan_atomic32_fetch_sub",
371 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
372 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB
,
373 "__tsan_atomic64_fetch_sub",
374 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
375 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB
,
376 "__tsan_atomic128_fetch_sub",
377 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
379 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND
,
380 "__tsan_atomic8_fetch_and",
381 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
382 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND
,
383 "__tsan_atomic16_fetch_and",
384 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
385 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND
,
386 "__tsan_atomic32_fetch_and",
387 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
388 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND
,
389 "__tsan_atomic64_fetch_and",
390 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
391 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND
,
392 "__tsan_atomic128_fetch_and",
393 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
395 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR
,
396 "__tsan_atomic8_fetch_or",
397 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
398 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR
,
399 "__tsan_atomic16_fetch_or",
400 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
401 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR
,
402 "__tsan_atomic32_fetch_or",
403 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
404 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR
,
405 "__tsan_atomic64_fetch_or",
406 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
407 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR
,
408 "__tsan_atomic128_fetch_or",
409 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
411 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR
,
412 "__tsan_atomic8_fetch_xor",
413 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
414 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR
,
415 "__tsan_atomic16_fetch_xor",
416 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
417 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR
,
418 "__tsan_atomic32_fetch_xor",
419 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
420 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR
,
421 "__tsan_atomic64_fetch_xor",
422 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
423 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR
,
424 "__tsan_atomic128_fetch_xor",
425 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
427 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND
,
428 "__tsan_atomic8_fetch_nand",
429 BT_FN_I1_VPTR_I1_INT
, ATTR_NOTHROW_LEAF_LIST
)
430 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND
,
431 "__tsan_atomic16_fetch_nand",
432 BT_FN_I2_VPTR_I2_INT
, ATTR_NOTHROW_LEAF_LIST
)
433 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND
,
434 "__tsan_atomic32_fetch_nand",
435 BT_FN_I4_VPTR_I4_INT
, ATTR_NOTHROW_LEAF_LIST
)
436 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND
,
437 "__tsan_atomic64_fetch_nand",
438 BT_FN_I8_VPTR_I8_INT
, ATTR_NOTHROW_LEAF_LIST
)
439 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND
,
440 "__tsan_atomic128_fetch_nand",
441 BT_FN_I16_VPTR_I16_INT
, ATTR_NOTHROW_LEAF_LIST
)
443 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG
,
444 "__tsan_atomic8_compare_exchange_strong",
445 BT_FN_BOOL_VPTR_PTR_I1_INT_INT
,
446 ATTR_NOTHROW_LEAF_LIST
)
447 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG
,
448 "__tsan_atomic16_compare_exchange_strong",
449 BT_FN_BOOL_VPTR_PTR_I2_INT_INT
,
450 ATTR_NOTHROW_LEAF_LIST
)
451 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG
,
452 "__tsan_atomic32_compare_exchange_strong",
453 BT_FN_BOOL_VPTR_PTR_I4_INT_INT
,
454 ATTR_NOTHROW_LEAF_LIST
)
455 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG
,
456 "__tsan_atomic64_compare_exchange_strong",
457 BT_FN_BOOL_VPTR_PTR_I8_INT_INT
,
458 ATTR_NOTHROW_LEAF_LIST
)
459 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG
,
460 "__tsan_atomic128_compare_exchange_strong",
461 BT_FN_BOOL_VPTR_PTR_I16_INT_INT
,
462 ATTR_NOTHROW_LEAF_LIST
)
464 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK
,
465 "__tsan_atomic8_compare_exchange_weak",
466 BT_FN_BOOL_VPTR_PTR_I1_INT_INT
,
467 ATTR_NOTHROW_LEAF_LIST
)
468 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK
,
469 "__tsan_atomic16_compare_exchange_weak",
470 BT_FN_BOOL_VPTR_PTR_I2_INT_INT
,
471 ATTR_NOTHROW_LEAF_LIST
)
472 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK
,
473 "__tsan_atomic32_compare_exchange_weak",
474 BT_FN_BOOL_VPTR_PTR_I4_INT_INT
,
475 ATTR_NOTHROW_LEAF_LIST
)
476 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK
,
477 "__tsan_atomic64_compare_exchange_weak",
478 BT_FN_BOOL_VPTR_PTR_I8_INT_INT
,
479 ATTR_NOTHROW_LEAF_LIST
)
480 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK
,
481 "__tsan_atomic128_compare_exchange_weak",
482 BT_FN_BOOL_VPTR_PTR_I16_INT_INT
,
483 ATTR_NOTHROW_LEAF_LIST
)
485 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE
,
486 "__tsan_atomic_thread_fence",
487 BT_FN_VOID_INT
, ATTR_NOTHROW_LEAF_LIST
)
488 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE
,
489 "__tsan_atomic_signal_fence",
490 BT_FN_VOID_INT
, ATTR_NOTHROW_LEAF_LIST
)
492 /* Undefined Behavior Sanitizer
*/
493 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW
,
494 "__ubsan_handle_divrem_overflow",
495 BT_FN_VOID_PTR_PTR_PTR
,
496 ATTR_COLD_NOTHROW_LEAF_LIST
)
497 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS
,
498 "__ubsan_handle_shift_out_of_bounds",
499 BT_FN_VOID_PTR_PTR_PTR
,
500 ATTR_COLD_NOTHROW_LEAF_LIST
)
501 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE
,
502 "__ubsan_handle_builtin_unreachable",
504 ATTR_COLD_CONST_NORETURN_NOTHROW_LEAF_LIST
)
505 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN
,
506 "__ubsan_handle_missing_return",
508 ATTR_NORETURN_NOTHROW_LEAF_LIST
)
509 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE
,
510 "__ubsan_handle_vla_bound_not_positive",
512 ATTR_COLD_NOTHROW_LEAF_LIST
)
513 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_V1
,
514 "__ubsan_handle_type_mismatch_v1",
516 ATTR_COLD_NOTHROW_LEAF_LIST
)
517 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW
,
518 "__ubsan_handle_add_overflow",
519 BT_FN_VOID_PTR_PTR_PTR
,
520 ATTR_COLD_NOTHROW_LEAF_LIST
)
521 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW
,
522 "__ubsan_handle_sub_overflow",
523 BT_FN_VOID_PTR_PTR_PTR
,
524 ATTR_COLD_NOTHROW_LEAF_LIST
)
525 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW
,
526 "__ubsan_handle_mul_overflow",
527 BT_FN_VOID_PTR_PTR_PTR
,
528 ATTR_COLD_NOTHROW_LEAF_LIST
)
529 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW
,
530 "__ubsan_handle_negate_overflow",
532 ATTR_COLD_NOTHROW_LEAF_LIST
)
533 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE
,
534 "__ubsan_handle_load_invalid_value",
536 ATTR_COLD_NOTHROW_LEAF_LIST
)
537 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_POINTER_OVERFLOW
,
538 "__ubsan_handle_pointer_overflow",
539 BT_FN_VOID_PTR_PTR_PTR
,
540 ATTR_COLD_NOTHROW_LEAF_LIST
)
541 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT
,
542 "__ubsan_handle_divrem_overflow_abort",
543 BT_FN_VOID_PTR_PTR_PTR
,
544 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
545 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT
,
546 "__ubsan_handle_shift_out_of_bounds_abort",
547 BT_FN_VOID_PTR_PTR_PTR
,
548 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
549 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT
,
550 "__ubsan_handle_vla_bound_not_positive_abort",
552 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
553 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_V1_ABORT
,
554 "__ubsan_handle_type_mismatch_v1_abort",
556 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
557 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT
,
558 "__ubsan_handle_add_overflow_abort",
559 BT_FN_VOID_PTR_PTR_PTR
,
560 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
561 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT
,
562 "__ubsan_handle_sub_overflow_abort",
563 BT_FN_VOID_PTR_PTR_PTR
,
564 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
565 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT
,
566 "__ubsan_handle_mul_overflow_abort",
567 BT_FN_VOID_PTR_PTR_PTR
,
568 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
569 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT
,
570 "__ubsan_handle_negate_overflow_abort",
572 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
573 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT
,
574 "__ubsan_handle_load_invalid_value_abort",
576 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
577 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_POINTER_OVERFLOW_ABORT
,
578 "__ubsan_handle_pointer_overflow_abort",
579 BT_FN_VOID_PTR_PTR_PTR
,
580 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
581 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW
,
582 "__ubsan_handle_float_cast_overflow",
584 ATTR_COLD_NOTHROW_LEAF_LIST
)
585 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT
,
586 "__ubsan_handle_float_cast_overflow_abort",
588 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
589 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS
,
590 "__ubsan_handle_out_of_bounds",
592 ATTR_COLD_NOTHROW_LEAF_LIST
)
593 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT
,
594 "__ubsan_handle_out_of_bounds_abort",
596 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
597 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG
,
598 "__ubsan_handle_nonnull_arg",
600 ATTR_COLD_NOTHROW_LEAF_LIST
)
601 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT
,
602 "__ubsan_handle_nonnull_arg_abort",
604 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
605 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_V1
,
606 "__ubsan_handle_nonnull_return_v1",
608 ATTR_COLD_NOTHROW_LEAF_LIST
)
609 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_V1_ABORT
,
610 "__ubsan_handle_nonnull_return_v1_abort",
612 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
613 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_INVALID_BUILTIN
,
614 "__ubsan_handle_invalid_builtin",
616 ATTR_COLD_NOTHROW_LEAF_LIST
)
617 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_INVALID_BUILTIN_ABORT
,
618 "__ubsan_handle_invalid_builtin_abort",
620 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST
)
621 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS
,
622 "__ubsan_handle_dynamic_type_cache_miss",
623 BT_FN_VOID_PTR_PTR_PTR
,
624 ATTR_COLD_NOTHROW_LEAF_LIST
)
625 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS_ABORT
,
626 "__ubsan_handle_dynamic_type_cache_miss_abort",
627 BT_FN_VOID_PTR_PTR_PTR
,
628 ATTR_COLD_NOTHROW_LEAF_LIST
)
630 /* Sanitizer coverage
*/
631 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_PC
,
632 "__sanitizer_cov_trace_pc",
633 BT_FN_VOID
, ATTR_NOTHROW_LEAF_LIST
)
634 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP1
,
635 "__sanitizer_cov_trace_cmp1",
636 BT_FN_VOID_UINT8_UINT8
, ATTR_NOTHROW_LEAF_LIST
)
637 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP2
,
638 "__sanitizer_cov_trace_cmp2",
639 BT_FN_VOID_UINT16_UINT16
, ATTR_NOTHROW_LEAF_LIST
)
640 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP4
,
641 "__sanitizer_cov_trace_cmp4",
642 BT_FN_VOID_UINT32_UINT32
, ATTR_NOTHROW_LEAF_LIST
)
643 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP8
,
644 "__sanitizer_cov_trace_cmp8",
645 BT_FN_VOID_UINT64_UINT64
, ATTR_NOTHROW_LEAF_LIST
)
646 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP1
,
647 "__sanitizer_cov_trace_const_cmp1",
648 BT_FN_VOID_UINT8_UINT8
, ATTR_NOTHROW_LEAF_LIST
)
649 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP2
,
650 "__sanitizer_cov_trace_const_cmp2",
651 BT_FN_VOID_UINT16_UINT16
, ATTR_NOTHROW_LEAF_LIST
)
652 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP4
,
653 "__sanitizer_cov_trace_const_cmp4",
654 BT_FN_VOID_UINT32_UINT32
, ATTR_NOTHROW_LEAF_LIST
)
655 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP8
,
656 "__sanitizer_cov_trace_const_cmp8",
657 BT_FN_VOID_UINT64_UINT64
, ATTR_NOTHROW_LEAF_LIST
)
658 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMPF
,
659 "__sanitizer_cov_trace_cmpf",
660 BT_FN_VOID_FLOAT_FLOAT
, ATTR_NOTHROW_LEAF_LIST
)
661 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMPD
,
662 "__sanitizer_cov_trace_cmpd",
663 BT_FN_VOID_DOUBLE_DOUBLE
, ATTR_NOTHROW_LEAF_LIST
)
664 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_SWITCH
,
665 "__sanitizer_cov_trace_switch",
666 BT_FN_VOID_UINT64_PTR
, ATTR_NOTHROW_LEAF_LIST
)
668 /* This has to come after all the sanitizer builtins.
*/
669 DEF_BUILTIN_STUB(END_SANITIZER_BUILTINS
, (const char *)
0)