Imported Upstream version 4.8.1
[platform/upstream/gcc48.git] / gcc / sanitizer.def
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-2013 Free Software Foundation, Inc.
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 */
30 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_INIT, "__asan_init_v1",
31                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
32 /* Do not reorder the BUILT_IN_ASAN_REPORT* builtins, e.g. cfgcleanup.c
33    relies on this order.  */
34 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD1, "__asan_report_load1",
35                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
36 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD2, "__asan_report_load2",
37                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
38 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD4, "__asan_report_load4",
39                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
40 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD8, "__asan_report_load8",
41                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
42 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_LOAD16, "__asan_report_load16",
43                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
44 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE1, "__asan_report_store1",
45                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
46 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE2, "__asan_report_store2",
47                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
48 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE4, "__asan_report_store4",
49                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
50 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE8, "__asan_report_store8",
51                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
52 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REPORT_STORE16, "__asan_report_store16",
53                       BT_FN_VOID_PTR, ATTR_TMPURE_NORETURN_NOTHROW_LEAF_LIST)
54 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_REGISTER_GLOBALS,
55                       "__asan_register_globals",
56                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
57 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_UNREGISTER_GLOBALS,
58                       "__asan_unregister_globals",
59                       BT_FN_VOID_PTR_PTRMODE, ATTR_NOTHROW_LEAF_LIST)
60 DEF_SANITIZER_BUILTIN(BUILT_IN_ASAN_HANDLE_NO_RETURN,
61                       "__asan_handle_no_return",
62                       BT_FN_VOID, ATTR_TMPURE_NOTHROW_LEAF_LIST)
63
64 /* Thread Sanitizer */
65 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_INIT, "__tsan_init", 
66                       BT_FN_VOID, ATTR_NOTHROW_LEAF_LIST)
67 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_ENTRY, "__tsan_func_entry",
68                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
69 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_FUNC_EXIT, "__tsan_func_exit",
70                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
71 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_VPTR_UPDATE, "__tsan_vptr_update",
72                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
73 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ1, "__tsan_read1",
74                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
75 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ2, "__tsan_read2",
76                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
77 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ4, "__tsan_read4",
78                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
79 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ8, "__tsan_read8",
80                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
81 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_READ16, "__tsan_read16",
82                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
83 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE1, "__tsan_write1",
84                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
85 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE2, "__tsan_write2",
86                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
87 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE4, "__tsan_write4",
88                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
89 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE8, "__tsan_write8",
90                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
91 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_WRITE16, "__tsan_write16",
92                       BT_FN_VOID_PTR, ATTR_NOTHROW_LEAF_LIST)
93
94 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_LOAD,
95                       "__tsan_atomic8_load",
96                       BT_FN_I1_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
97 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_LOAD,
98                       "__tsan_atomic16_load",
99                       BT_FN_I2_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
100 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_LOAD,
101                       "__tsan_atomic32_load",
102                       BT_FN_I4_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
103 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_LOAD,
104                       "__tsan_atomic64_load",
105                       BT_FN_I8_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
106 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_LOAD,
107                       "__tsan_atomic128_load",
108                       BT_FN_I16_CONST_VPTR_INT, ATTR_NOTHROW_LEAF_LIST)
109
110 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_STORE,
111                       "__tsan_atomic8_store",
112                       BT_FN_VOID_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
113 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_STORE,
114                       "__tsan_atomic16_store",
115                       BT_FN_VOID_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
116 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_STORE,
117                       "__tsan_atomic32_store",
118                       BT_FN_VOID_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
119 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_STORE,
120                       "__tsan_atomic64_store",
121                       BT_FN_VOID_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
122 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_STORE,
123                       "__tsan_atomic128_store",
124                       BT_FN_VOID_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
125
126 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_EXCHANGE,
127                       "__tsan_atomic8_exchange",
128                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
129 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_EXCHANGE,
130                       "__tsan_atomic16_exchange",
131                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
132 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_EXCHANGE,
133                       "__tsan_atomic32_exchange",
134                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
135 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_EXCHANGE,
136                       "__tsan_atomic64_exchange",
137                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
138 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_EXCHANGE,
139                       "__tsan_atomic128_exchange",
140                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
141
142 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_ADD,
143                       "__tsan_atomic8_fetch_add",
144                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
145 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_ADD,
146                       "__tsan_atomic16_fetch_add",
147                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
148 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_ADD,
149                       "__tsan_atomic32_fetch_add",
150                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
151 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_ADD,
152                       "__tsan_atomic64_fetch_add",
153                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
154 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_ADD,
155                       "__tsan_atomic128_fetch_add",
156                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
157
158 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_SUB,
159                       "__tsan_atomic8_fetch_sub",
160                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
161 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_SUB,
162                       "__tsan_atomic16_fetch_sub",
163                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
164 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_SUB,
165                       "__tsan_atomic32_fetch_sub",
166                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
167 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_SUB,
168                       "__tsan_atomic64_fetch_sub",
169                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
170 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_SUB,
171                       "__tsan_atomic128_fetch_sub",
172                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
173
174 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_AND,
175                       "__tsan_atomic8_fetch_and",
176                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
177 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_AND,
178                       "__tsan_atomic16_fetch_and",
179                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
180 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_AND,
181                       "__tsan_atomic32_fetch_and",
182                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
183 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_AND,
184                       "__tsan_atomic64_fetch_and",
185                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
186 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_AND,
187                       "__tsan_atomic128_fetch_and",
188                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
189
190 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_OR,
191                       "__tsan_atomic8_fetch_or",
192                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
193 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_OR,
194                       "__tsan_atomic16_fetch_or",
195                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
196 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_OR,
197                       "__tsan_atomic32_fetch_or",
198                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
199 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_OR,
200                       "__tsan_atomic64_fetch_or",
201                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
202 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_OR,
203                       "__tsan_atomic128_fetch_or",
204                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
205
206 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_XOR,
207                       "__tsan_atomic8_fetch_xor",
208                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
209 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_XOR,
210                       "__tsan_atomic16_fetch_xor",
211                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
212 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_XOR,
213                       "__tsan_atomic32_fetch_xor",
214                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
215 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_XOR,
216                       "__tsan_atomic64_fetch_xor",
217                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
218 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_XOR,
219                       "__tsan_atomic128_fetch_xor",
220                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
221
222 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_FETCH_NAND,
223                       "__tsan_atomic8_fetch_nand",
224                       BT_FN_I1_VPTR_I1_INT, ATTR_NOTHROW_LEAF_LIST)
225 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_FETCH_NAND,
226                       "__tsan_atomic16_fetch_nand",
227                       BT_FN_I2_VPTR_I2_INT, ATTR_NOTHROW_LEAF_LIST)
228 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_FETCH_NAND,
229                       "__tsan_atomic32_fetch_nand",
230                       BT_FN_I4_VPTR_I4_INT, ATTR_NOTHROW_LEAF_LIST)
231 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_FETCH_NAND,
232                       "__tsan_atomic64_fetch_nand",
233                       BT_FN_I8_VPTR_I8_INT, ATTR_NOTHROW_LEAF_LIST)
234 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_FETCH_NAND,
235                       "__tsan_atomic128_fetch_nand",
236                       BT_FN_I16_VPTR_I16_INT, ATTR_NOTHROW_LEAF_LIST)
237
238 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_STRONG,
239                       "__tsan_atomic8_compare_exchange_strong",
240                       BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
241                       ATTR_NOTHROW_LEAF_LIST)
242 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_STRONG,
243                       "__tsan_atomic16_compare_exchange_strong",
244                       BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
245                       ATTR_NOTHROW_LEAF_LIST)
246 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_STRONG,
247                       "__tsan_atomic32_compare_exchange_strong",
248                       BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
249                       ATTR_NOTHROW_LEAF_LIST)
250 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_STRONG,
251                       "__tsan_atomic64_compare_exchange_strong",
252                       BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
253                       ATTR_NOTHROW_LEAF_LIST)
254 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_STRONG,
255                       "__tsan_atomic128_compare_exchange_strong",
256                       BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
257                       ATTR_NOTHROW_LEAF_LIST)
258
259 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC8_COMPARE_EXCHANGE_WEAK,
260                       "__tsan_atomic8_compare_exchange_weak",
261                       BT_FN_BOOL_VPTR_PTR_I1_INT_INT,
262                       ATTR_NOTHROW_LEAF_LIST)
263 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC16_COMPARE_EXCHANGE_WEAK,
264                       "__tsan_atomic16_compare_exchange_weak",
265                       BT_FN_BOOL_VPTR_PTR_I2_INT_INT,
266                       ATTR_NOTHROW_LEAF_LIST)
267 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC32_COMPARE_EXCHANGE_WEAK,
268                       "__tsan_atomic32_compare_exchange_weak",
269                       BT_FN_BOOL_VPTR_PTR_I4_INT_INT,
270                       ATTR_NOTHROW_LEAF_LIST)
271 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC64_COMPARE_EXCHANGE_WEAK,
272                       "__tsan_atomic64_compare_exchange_weak",
273                       BT_FN_BOOL_VPTR_PTR_I8_INT_INT,
274                       ATTR_NOTHROW_LEAF_LIST)
275 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC128_COMPARE_EXCHANGE_WEAK,
276                       "__tsan_atomic128_compare_exchange_weak",
277                       BT_FN_BOOL_VPTR_PTR_I16_INT_INT,
278                       ATTR_NOTHROW_LEAF_LIST)
279
280 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_THREAD_FENCE,
281                       "__tsan_atomic_thread_fence",
282                       BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)
283 DEF_SANITIZER_BUILTIN(BUILT_IN_TSAN_ATOMIC_SIGNAL_FENCE,
284                       "__tsan_atomic_signal_fence",
285                       BT_FN_VOID_INT, ATTR_NOTHROW_LEAF_LIST)