annotate gcc/sanitizer.def @ 16:04ced10e8804

gcc 7
author kono
date Fri, 27 Oct 2017 22:46:09 +0900
parents
children 84e7813d76e9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
16
kono
parents:
diff changeset
1 /* This file contains the definitions and documentation for the
kono
parents:
diff changeset
2 Address Sanitizer and Thread Sanitizer builtins used in the GNU compiler.
kono
parents:
diff changeset
3 Copyright (C) 2012-2017 Free Software Foundation, Inc.
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 This file is part of GCC.
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 GCC is free software; you can redistribute it and/or modify it under
kono
parents:
diff changeset
8 the terms of the GNU General Public License as published by the Free
kono
parents:
diff changeset
9 Software Foundation; either version 3, or (at your option) any later
kono
parents:
diff changeset
10 version.
kono
parents:
diff changeset
11
kono
parents:
diff changeset
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
kono
parents:
diff changeset
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
kono
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
kono
parents:
diff changeset
15 for more details.
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
kono
parents:
diff changeset
18 along with GCC; see the file COPYING3. If not see
kono
parents:
diff changeset
19 <http://www.gnu.org/licenses/>. */
kono
parents:
diff changeset
20
kono
parents:
diff changeset
21 /* Before including this file, you should define a macro:
kono
parents:
diff changeset
22
kono
parents:
diff changeset
23 DEF_BUILTIN_STUB(ENUM, NAME)
kono
parents:
diff changeset
24 DEF_SANITIZER_BUILTIN (ENUM, NAME, TYPE, ATTRS)
kono
parents:
diff changeset
25
kono
parents:
diff changeset
26 See builtins.def for details.
kono
parents:
diff changeset
27 The builtins are created by the C-family of FEs in c-family/c-common.c,
kono
parents:
diff changeset
28 for other FEs by asan.c. */
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 /* This has to come before all the sanitizer builtins. */
kono
parents:
diff changeset
31 DEF_BUILTIN_STUB(BEGIN_SANITIZER_BUILTINS, (const char *)0)
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 /* Address Sanitizer */
kono
parents:
diff changeset
34 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init",
kono
parents:
diff changeset
35 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
36 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_VERSION_MISMATCH_CHECK,
kono
parents:
diff changeset
37 "__asan_version_mismatch_check_v8",
kono
parents:
diff changeset
38 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
39 /* Do not reorder the BUILT_IN_ASAN_{REPORT,CHECK}* builtins, e.g. cfgcleanup.c
kono
parents:
diff changeset
40 relies on this order. */
kono
parents:
diff changeset
41 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1",
kono
parents:
diff changeset
42 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
43 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2",
kono
parents:
diff changeset
44 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
45 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4",
kono
parents:
diff changeset
46 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
47 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8",
kono
parents:
diff changeset
48 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
49 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16",
kono
parents:
diff changeset
50 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
51 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N, "__asan_report_load_n",
kono
parents:
diff changeset
52 BT_FN_VOID_PTR_PTRMODE,
kono
parents:
diff changeset
53 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
54 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1",
kono
parents:
diff changeset
55 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
56 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2",
kono
parents:
diff changeset
57 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
58 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4",
kono
parents:
diff changeset
59 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
60 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8",
kono
parents:
diff changeset
61 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
62 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16",
kono
parents:
diff changeset
63 BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
64 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N, "__asan_report_store_n",
kono
parents:
diff changeset
65 BT_FN_VOID_PTR_PTRMODE,
kono
parents:
diff changeset
66 ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
67 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1_NOABORT,
kono
parents:
diff changeset
68 "__asan_report_load1_noabort",
kono
parents:
diff changeset
69 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
70 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2_NOABORT,
kono
parents:
diff changeset
71 "__asan_report_load2_noabort",
kono
parents:
diff changeset
72 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
73 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4_NOABORT,
kono
parents:
diff changeset
74 "__asan_report_load4_noabort",
kono
parents:
diff changeset
75 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
76 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8_NOABORT,
kono
parents:
diff changeset
77 "__asan_report_load8_noabort",
kono
parents:
diff changeset
78 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
79 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16_NOABORT,
kono
parents:
diff changeset
80 "__asan_report_load16_noabort",
kono
parents:
diff changeset
81 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
82 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD_N_NOABORT,
kono
parents:
diff changeset
83 "__asan_report_load_n_noabort",
kono
parents:
diff changeset
84 BT_FN_VOID_PTR_PTRMODE,
kono
parents:
diff changeset
85 ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
86 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1_NOABORT,
kono
parents:
diff changeset
87 "__asan_report_store1_noabort",
kono
parents:
diff changeset
88 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
89 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2_NOABORT,
kono
parents:
diff changeset
90 "__asan_report_store2_noabort",
kono
parents:
diff changeset
91 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
92 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4_NOABORT,
kono
parents:
diff changeset
93 "__asan_report_store4_noabort",
kono
parents:
diff changeset
94 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
95 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8_NOABORT,
kono
parents:
diff changeset
96 "__asan_report_store8_noabort",
kono
parents:
diff changeset
97 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
98 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16_NOABORT,
kono
parents:
diff changeset
99 "__asan_report_store16_noabort",
kono
parents:
diff changeset
100 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
101 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE_N_NOABORT,
kono
parents:
diff changeset
102 "__asan_report_store_n_noabort",
kono
parents:
diff changeset
103 BT_FN_VOID_PTR_PTRMODE,
kono
parents:
diff changeset
104 ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
105 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1, "__asan_load1",
kono
parents:
diff changeset
106 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
107 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2, "__asan_load2",
kono
parents:
diff changeset
108 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
109 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4, "__asan_load4",
kono
parents:
diff changeset
110 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
111 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8, "__asan_load8",
kono
parents:
diff changeset
112 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
113 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16, "__asan_load16",
kono
parents:
diff changeset
114 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
115 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN, "__asan_loadN",
kono
parents:
diff changeset
116 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
117 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1, "__asan_store1",
kono
parents:
diff changeset
118 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
119 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2, "__asan_store2",
kono
parents:
diff changeset
120 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
121 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4, "__asan_store4",
kono
parents:
diff changeset
122 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
123 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8, "__asan_store8",
kono
parents:
diff changeset
124 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
125 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16, "__asan_store16",
kono
parents:
diff changeset
126 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
127 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN, "__asan_storeN",
kono
parents:
diff changeset
128 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
129 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD1_NOABORT, "__asan_load1_noabort",
kono
parents:
diff changeset
130 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
131 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD2_NOABORT, "__asan_load2_noabort",
kono
parents:
diff changeset
132 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
133 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD4_NOABORT, "__asan_load4_noabort",
kono
parents:
diff changeset
134 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
135 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD8_NOABORT, "__asan_load8_noabort",
kono
parents:
diff changeset
136 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
137 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOAD16_NOABORT, "__asan_load16_noabort",
kono
parents:
diff changeset
138 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
139 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_LOADN_NOABORT, "__asan_loadN_noabort",
kono
parents:
diff changeset
140 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
141 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE1_NOABORT, "__asan_store1_noabort",
kono
parents:
diff changeset
142 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
143 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE2_NOABORT, "__asan_store2_noabort",
kono
parents:
diff changeset
144 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
145 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE4_NOABORT, "__asan_store4_noabort",
kono
parents:
diff changeset
146 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
147 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE8_NOABORT, "__asan_store8_noabort",
kono
parents:
diff changeset
148 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
149 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STORE16_NOABORT, "__asan_store16_noabort",
kono
parents:
diff changeset
150 BT_FN_VOID_PTR, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
151 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_STOREN_NOABORT, "__asan_storeN_noabort",
kono
parents:
diff changeset
152 BT_FN_VOID_PTR_PTRMODE, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
153 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS,
kono
parents:
diff changeset
154 "__asan_register_globals",
kono
parents:
diff changeset
155 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
156 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS,
kono
parents:
diff changeset
157 "__asan_unregister_globals",
kono
parents:
diff changeset
158 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
159 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN,
kono
parents:
diff changeset
160 "__asan_handle_no_return",
kono
parents:
diff changeset
161 BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
162 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_BEFORE_DYNAMIC_INIT,
kono
parents:
diff changeset
163 "__asan_before_dynamic_init",
kono
parents:
diff changeset
164 BT_FN_VOID_CONST_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
165 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_AFTER_DYNAMIC_INIT,
kono
parents:
diff changeset
166 "__asan_after_dynamic_init",
kono
parents:
diff changeset
167 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
168 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_POISON_STACK_MEMORY,
kono
parents:
diff changeset
169 "__asan_poison_stack_memory",
kono
parents:
diff changeset
170 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
171 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNPOISON_STACK_MEMORY,
kono
parents:
diff changeset
172 "__asan_unpoison_stack_memory",
kono
parents:
diff changeset
173 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
174 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCA_POISON, "__asan_alloca_poison",
kono
parents:
diff changeset
175 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
176 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_ALLOCAS_UNPOISON, "__asan_allocas_unpoison",
kono
parents:
diff changeset
177 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
178
kono
parents:
diff changeset
179 /* Thread Sanitizer */
kono
parents:
diff changeset
180 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init",
kono
parents:
diff changeset
181 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
182 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
kono
parents:
diff changeset
183 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
184 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
kono
parents:
diff changeset
185 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
kono
parents:
diff changeset
187 BT_FN_VOID_PTR_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
188 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
kono
parents:
diff changeset
189 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
190 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
kono
parents:
diff changeset
191 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
192 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
kono
parents:
diff changeset
193 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
194 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
kono
parents:
diff changeset
195 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
196 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
kono
parents:
diff changeset
197 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
198 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
kono
parents:
diff changeset
199 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
200 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
kono
parents:
diff changeset
201 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
kono
parents:
diff changeset
203 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
204 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
kono
parents:
diff changeset
205 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
206 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
kono
parents:
diff changeset
207 BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
208 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ_RANGE, "__tsan_read_range",
kono
parents:
diff changeset
209 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
210 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE_RANGE, "__tsan_write_range",
kono
parents:
diff changeset
211 BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
212
kono
parents:
diff changeset
213 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
kono
parents:
diff changeset
214 "__tsan_atomic8_load",
kono
parents:
diff changeset
215 BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
216 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
kono
parents:
diff changeset
217 "__tsan_atomic16_load",
kono
parents:
diff changeset
218 BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
219 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
kono
parents:
diff changeset
220 "__tsan_atomic32_load",
kono
parents:
diff changeset
221 BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
222 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
kono
parents:
diff changeset
223 "__tsan_atomic64_load",
kono
parents:
diff changeset
224 BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
225 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
kono
parents:
diff changeset
226 "__tsan_atomic128_load",
kono
parents:
diff changeset
227 BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
228
kono
parents:
diff changeset
229 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
kono
parents:
diff changeset
230 "__tsan_atomic8_store",
kono
parents:
diff changeset
231 BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
232 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
kono
parents:
diff changeset
233 "__tsan_atomic16_store",
kono
parents:
diff changeset
234 BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
235 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
kono
parents:
diff changeset
236 "__tsan_atomic32_store",
kono
parents:
diff changeset
237 BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
238 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
kono
parents:
diff changeset
239 "__tsan_atomic64_store",
kono
parents:
diff changeset
240 BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
241 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
kono
parents:
diff changeset
242 "__tsan_atomic128_store",
kono
parents:
diff changeset
243 BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
244
kono
parents:
diff changeset
245 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
kono
parents:
diff changeset
246 "__tsan_atomic8_exchange",
kono
parents:
diff changeset
247 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
248 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
kono
parents:
diff changeset
249 "__tsan_atomic16_exchange",
kono
parents:
diff changeset
250 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
251 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
kono
parents:
diff changeset
252 "__tsan_atomic32_exchange",
kono
parents:
diff changeset
253 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
254 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
kono
parents:
diff changeset
255 "__tsan_atomic64_exchange",
kono
parents:
diff changeset
256 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
257 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
kono
parents:
diff changeset
258 "__tsan_atomic128_exchange",
kono
parents:
diff changeset
259 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
260
kono
parents:
diff changeset
261 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
kono
parents:
diff changeset
262 "__tsan_atomic8_fetch_add",
kono
parents:
diff changeset
263 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
264 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
kono
parents:
diff changeset
265 "__tsan_atomic16_fetch_add",
kono
parents:
diff changeset
266 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
267 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
kono
parents:
diff changeset
268 "__tsan_atomic32_fetch_add",
kono
parents:
diff changeset
269 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
270 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
kono
parents:
diff changeset
271 "__tsan_atomic64_fetch_add",
kono
parents:
diff changeset
272 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
273 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
kono
parents:
diff changeset
274 "__tsan_atomic128_fetch_add",
kono
parents:
diff changeset
275 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
276
kono
parents:
diff changeset
277 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
kono
parents:
diff changeset
278 "__tsan_atomic8_fetch_sub",
kono
parents:
diff changeset
279 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
280 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
kono
parents:
diff changeset
281 "__tsan_atomic16_fetch_sub",
kono
parents:
diff changeset
282 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
283 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
kono
parents:
diff changeset
284 "__tsan_atomic32_fetch_sub",
kono
parents:
diff changeset
285 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
286 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
kono
parents:
diff changeset
287 "__tsan_atomic64_fetch_sub",
kono
parents:
diff changeset
288 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
289 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
kono
parents:
diff changeset
290 "__tsan_atomic128_fetch_sub",
kono
parents:
diff changeset
291 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
292
kono
parents:
diff changeset
293 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
kono
parents:
diff changeset
294 "__tsan_atomic8_fetch_and",
kono
parents:
diff changeset
295 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
296 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
kono
parents:
diff changeset
297 "__tsan_atomic16_fetch_and",
kono
parents:
diff changeset
298 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
299 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
kono
parents:
diff changeset
300 "__tsan_atomic32_fetch_and",
kono
parents:
diff changeset
301 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
302 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
kono
parents:
diff changeset
303 "__tsan_atomic64_fetch_and",
kono
parents:
diff changeset
304 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
305 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
kono
parents:
diff changeset
306 "__tsan_atomic128_fetch_and",
kono
parents:
diff changeset
307 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
308
kono
parents:
diff changeset
309 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
kono
parents:
diff changeset
310 "__tsan_atomic8_fetch_or",
kono
parents:
diff changeset
311 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
312 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
kono
parents:
diff changeset
313 "__tsan_atomic16_fetch_or",
kono
parents:
diff changeset
314 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
315 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
kono
parents:
diff changeset
316 "__tsan_atomic32_fetch_or",
kono
parents:
diff changeset
317 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
318 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
kono
parents:
diff changeset
319 "__tsan_atomic64_fetch_or",
kono
parents:
diff changeset
320 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
321 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
kono
parents:
diff changeset
322 "__tsan_atomic128_fetch_or",
kono
parents:
diff changeset
323 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
324
kono
parents:
diff changeset
325 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
kono
parents:
diff changeset
326 "__tsan_atomic8_fetch_xor",
kono
parents:
diff changeset
327 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
328 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
kono
parents:
diff changeset
329 "__tsan_atomic16_fetch_xor",
kono
parents:
diff changeset
330 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
331 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
kono
parents:
diff changeset
332 "__tsan_atomic32_fetch_xor",
kono
parents:
diff changeset
333 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
334 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
kono
parents:
diff changeset
335 "__tsan_atomic64_fetch_xor",
kono
parents:
diff changeset
336 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
337 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
kono
parents:
diff changeset
338 "__tsan_atomic128_fetch_xor",
kono
parents:
diff changeset
339 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
340
kono
parents:
diff changeset
341 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
kono
parents:
diff changeset
342 "__tsan_atomic8_fetch_nand",
kono
parents:
diff changeset
343 BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
344 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
kono
parents:
diff changeset
345 "__tsan_atomic16_fetch_nand",
kono
parents:
diff changeset
346 BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
347 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
kono
parents:
diff changeset
348 "__tsan_atomic32_fetch_nand",
kono
parents:
diff changeset
349 BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
350 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
kono
parents:
diff changeset
351 "__tsan_atomic64_fetch_nand",
kono
parents:
diff changeset
352 BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
353 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
kono
parents:
diff changeset
354 "__tsan_atomic128_fetch_nand",
kono
parents:
diff changeset
355 BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
356
kono
parents:
diff changeset
357 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
kono
parents:
diff changeset
358 "__tsan_atomic8_compare_exchange_strong",
kono
parents:
diff changeset
359 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
kono
parents:
diff changeset
360 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
361 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
kono
parents:
diff changeset
362 "__tsan_atomic16_compare_exchange_strong",
kono
parents:
diff changeset
363 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
kono
parents:
diff changeset
364 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
365 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
kono
parents:
diff changeset
366 "__tsan_atomic32_compare_exchange_strong",
kono
parents:
diff changeset
367 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
kono
parents:
diff changeset
368 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
369 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
kono
parents:
diff changeset
370 "__tsan_atomic64_compare_exchange_strong",
kono
parents:
diff changeset
371 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
kono
parents:
diff changeset
372 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
373 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
kono
parents:
diff changeset
374 "__tsan_atomic128_compare_exchange_strong",
kono
parents:
diff changeset
375 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
kono
parents:
diff changeset
376 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
377
kono
parents:
diff changeset
378 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
kono
parents:
diff changeset
379 "__tsan_atomic8_compare_exchange_weak",
kono
parents:
diff changeset
380 BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
kono
parents:
diff changeset
381 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
382 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
kono
parents:
diff changeset
383 "__tsan_atomic16_compare_exchange_weak",
kono
parents:
diff changeset
384 BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
kono
parents:
diff changeset
385 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
386 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
kono
parents:
diff changeset
387 "__tsan_atomic32_compare_exchange_weak",
kono
parents:
diff changeset
388 BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
kono
parents:
diff changeset
389 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
390 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
kono
parents:
diff changeset
391 "__tsan_atomic64_compare_exchange_weak",
kono
parents:
diff changeset
392 BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
kono
parents:
diff changeset
393 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
394 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
kono
parents:
diff changeset
395 "__tsan_atomic128_compare_exchange_weak",
kono
parents:
diff changeset
396 BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
kono
parents:
diff changeset
397 ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
398
kono
parents:
diff changeset
399 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
kono
parents:
diff changeset
400 "__tsan_atomic_thread_fence",
kono
parents:
diff changeset
401 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
402 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
kono
parents:
diff changeset
403 "__tsan_atomic_signal_fence",
kono
parents:
diff changeset
404 BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
405
kono
parents:
diff changeset
406 /* Undefined Behavior Sanitizer */
kono
parents:
diff changeset
407 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW,
kono
parents:
diff changeset
408 "__ubsan_handle_divrem_overflow",
kono
parents:
diff changeset
409 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
410 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
411 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS,
kono
parents:
diff changeset
412 "__ubsan_handle_shift_out_of_bounds",
kono
parents:
diff changeset
413 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
414 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
415 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_BUILTIN_UNREACHABLE,
kono
parents:
diff changeset
416 "__ubsan_handle_builtin_unreachable",
kono
parents:
diff changeset
417 BT_FN_VOID_PTR,
kono
parents:
diff changeset
418 ATTR_COLD_CONST_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
419 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MISSING_RETURN,
kono
parents:
diff changeset
420 "__ubsan_handle_missing_return",
kono
parents:
diff changeset
421 BT_FN_VOID_PTR,
kono
parents:
diff changeset
422 ATTR_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
423 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE,
kono
parents:
diff changeset
424 "__ubsan_handle_vla_bound_not_positive",
kono
parents:
diff changeset
425 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
426 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
427 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_V1,
kono
parents:
diff changeset
428 "__ubsan_handle_type_mismatch_v1",
kono
parents:
diff changeset
429 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
430 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
431 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW,
kono
parents:
diff changeset
432 "__ubsan_handle_add_overflow",
kono
parents:
diff changeset
433 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
434 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
435 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW,
kono
parents:
diff changeset
436 "__ubsan_handle_sub_overflow",
kono
parents:
diff changeset
437 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
438 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
439 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW,
kono
parents:
diff changeset
440 "__ubsan_handle_mul_overflow",
kono
parents:
diff changeset
441 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
442 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
443 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW,
kono
parents:
diff changeset
444 "__ubsan_handle_negate_overflow",
kono
parents:
diff changeset
445 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
446 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
447 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE,
kono
parents:
diff changeset
448 "__ubsan_handle_load_invalid_value",
kono
parents:
diff changeset
449 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
450 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
451 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_POINTER_OVERFLOW,
kono
parents:
diff changeset
452 "__ubsan_handle_pointer_overflow",
kono
parents:
diff changeset
453 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
454 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
455 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DIVREM_OVERFLOW_ABORT,
kono
parents:
diff changeset
456 "__ubsan_handle_divrem_overflow_abort",
kono
parents:
diff changeset
457 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
458 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
459 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SHIFT_OUT_OF_BOUNDS_ABORT,
kono
parents:
diff changeset
460 "__ubsan_handle_shift_out_of_bounds_abort",
kono
parents:
diff changeset
461 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
462 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
463 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_VLA_BOUND_NOT_POSITIVE_ABORT,
kono
parents:
diff changeset
464 "__ubsan_handle_vla_bound_not_positive_abort",
kono
parents:
diff changeset
465 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
466 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
467 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_TYPE_MISMATCH_V1_ABORT,
kono
parents:
diff changeset
468 "__ubsan_handle_type_mismatch_v1_abort",
kono
parents:
diff changeset
469 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
470 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
471 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_ADD_OVERFLOW_ABORT,
kono
parents:
diff changeset
472 "__ubsan_handle_add_overflow_abort",
kono
parents:
diff changeset
473 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
474 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
475 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_SUB_OVERFLOW_ABORT,
kono
parents:
diff changeset
476 "__ubsan_handle_sub_overflow_abort",
kono
parents:
diff changeset
477 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
478 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
479 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_MUL_OVERFLOW_ABORT,
kono
parents:
diff changeset
480 "__ubsan_handle_mul_overflow_abort",
kono
parents:
diff changeset
481 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
482 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
483 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NEGATE_OVERFLOW_ABORT,
kono
parents:
diff changeset
484 "__ubsan_handle_negate_overflow_abort",
kono
parents:
diff changeset
485 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
486 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
487 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_LOAD_INVALID_VALUE_ABORT,
kono
parents:
diff changeset
488 "__ubsan_handle_load_invalid_value_abort",
kono
parents:
diff changeset
489 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
490 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
491 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_POINTER_OVERFLOW_ABORT,
kono
parents:
diff changeset
492 "__ubsan_handle_pointer_overflow_abort",
kono
parents:
diff changeset
493 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
494 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
495 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW,
kono
parents:
diff changeset
496 "__ubsan_handle_float_cast_overflow",
kono
parents:
diff changeset
497 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
498 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
499 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_FLOAT_CAST_OVERFLOW_ABORT,
kono
parents:
diff changeset
500 "__ubsan_handle_float_cast_overflow_abort",
kono
parents:
diff changeset
501 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
502 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
503 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS,
kono
parents:
diff changeset
504 "__ubsan_handle_out_of_bounds",
kono
parents:
diff changeset
505 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
506 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
507 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_OUT_OF_BOUNDS_ABORT,
kono
parents:
diff changeset
508 "__ubsan_handle_out_of_bounds_abort",
kono
parents:
diff changeset
509 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
510 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
511 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG,
kono
parents:
diff changeset
512 "__ubsan_handle_nonnull_arg",
kono
parents:
diff changeset
513 BT_FN_VOID_PTR,
kono
parents:
diff changeset
514 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
515 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_ARG_ABORT,
kono
parents:
diff changeset
516 "__ubsan_handle_nonnull_arg_abort",
kono
parents:
diff changeset
517 BT_FN_VOID_PTR,
kono
parents:
diff changeset
518 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
519 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_V1,
kono
parents:
diff changeset
520 "__ubsan_handle_nonnull_return_v1",
kono
parents:
diff changeset
521 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
522 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
523 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_NONNULL_RETURN_V1_ABORT,
kono
parents:
diff changeset
524 "__ubsan_handle_nonnull_return_v1_abort",
kono
parents:
diff changeset
525 BT_FN_VOID_PTR_PTR,
kono
parents:
diff changeset
526 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
527 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_INVALID_BUILTIN,
kono
parents:
diff changeset
528 "__ubsan_handle_invalid_builtin",
kono
parents:
diff changeset
529 BT_FN_VOID_PTR,
kono
parents:
diff changeset
530 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
531 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_INVALID_BUILTIN_ABORT,
kono
parents:
diff changeset
532 "__ubsan_handle_invalid_builtin_abort",
kono
parents:
diff changeset
533 BT_FN_VOID_PTR,
kono
parents:
diff changeset
534 ATTR_COLD_NORETURN_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
535 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS,
kono
parents:
diff changeset
536 "__ubsan_handle_dynamic_type_cache_miss",
kono
parents:
diff changeset
537 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
538 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
539 DEF_SANITIZER_BUILTIN(BUILT_IN_UBSAN_HANDLE_DYNAMIC_TYPE_CACHE_MISS_ABORT,
kono
parents:
diff changeset
540 "__ubsan_handle_dynamic_type_cache_miss_abort",
kono
parents:
diff changeset
541 BT_FN_VOID_PTR_PTR_PTR,
kono
parents:
diff changeset
542 ATTR_COLD_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
543
kono
parents:
diff changeset
544 /* Sanitizer coverage */
kono
parents:
diff changeset
545 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_PC,
kono
parents:
diff changeset
546 "__sanitizer_cov_trace_pc",
kono
parents:
diff changeset
547 BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
548 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP1,
kono
parents:
diff changeset
549 "__sanitizer_cov_trace_cmp1",
kono
parents:
diff changeset
550 BT_FN_VOID_UINT8_UINT8, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
551 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP2,
kono
parents:
diff changeset
552 "__sanitizer_cov_trace_cmp2",
kono
parents:
diff changeset
553 BT_FN_VOID_UINT16_UINT16, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
554 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP4,
kono
parents:
diff changeset
555 "__sanitizer_cov_trace_cmp4",
kono
parents:
diff changeset
556 BT_FN_VOID_UINT32_UINT32, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
557 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMP8,
kono
parents:
diff changeset
558 "__sanitizer_cov_trace_cmp8",
kono
parents:
diff changeset
559 BT_FN_VOID_UINT64_UINT64, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
560 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP1,
kono
parents:
diff changeset
561 "__sanitizer_cov_trace_const_cmp1",
kono
parents:
diff changeset
562 BT_FN_VOID_UINT8_UINT8, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
563 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP2,
kono
parents:
diff changeset
564 "__sanitizer_cov_trace_const_cmp2",
kono
parents:
diff changeset
565 BT_FN_VOID_UINT16_UINT16, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
566 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP4,
kono
parents:
diff changeset
567 "__sanitizer_cov_trace_const_cmp4",
kono
parents:
diff changeset
568 BT_FN_VOID_UINT32_UINT32, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
569 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CONST_CMP8,
kono
parents:
diff changeset
570 "__sanitizer_cov_trace_const_cmp8",
kono
parents:
diff changeset
571 BT_FN_VOID_UINT64_UINT64, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
572 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMPF,
kono
parents:
diff changeset
573 "__sanitizer_cov_trace_cmpf",
kono
parents:
diff changeset
574 BT_FN_VOID_FLOAT_FLOAT, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
575 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_CMPD,
kono
parents:
diff changeset
576 "__sanitizer_cov_trace_cmpd",
kono
parents:
diff changeset
577 BT_FN_VOID_DOUBLE_DOUBLE, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
578 DEF_SANITIZER_BUILTIN(BUILT_IN_SANITIZER_COV_TRACE_SWITCH,
kono
parents:
diff changeset
579 "__sanitizer_cov_trace_switch",
kono
parents:
diff changeset
580 BT_FN_VOID_UINT64_PTR, ATTR_NOTHROW_LEAF_LIST)
kono
parents:
diff changeset
581
kono
parents:
diff changeset
582 /* This has to come after all the sanitizer builtins. */
kono
parents:
diff changeset
583 DEF_BUILTIN_STUB(END_SANITIZER_BUILTINS, (const char *)0)