]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/c-family/c-common.h
[Patch AArch64] Fixup floating point division with -march=armv8-a+nosimd
[thirdparty/gcc.git] / gcc / c-family / c-common.h
CommitLineData
7f4edbcb 1/* Definitions for c-common.c.
cbe34bb5 2 Copyright (C) 1987-2017 Free Software Foundation, Inc.
7f4edbcb 3
1322177d 4This file is part of GCC.
7f4edbcb 5
1322177d
LB
6GCC is free software; you can redistribute it and/or modify it under
7the terms of the GNU General Public License as published by the Free
9dcd6f09 8Software Foundation; either version 3, or (at your option) any later
1322177d 9version.
7f4edbcb 10
1322177d
LB
11GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12WARRANTY; without even the implied warranty of MERCHANTABILITY or
13FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14for more details.
7f4edbcb
BS
15
16You should have received a copy of the GNU General Public License
9dcd6f09
NC
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
7f4edbcb 19
0e5921e8
ZW
20#ifndef GCC_C_COMMON_H
21#define GCC_C_COMMON_H
22
8f17b5c5 23#include "splay-tree.h"
2a967f3d 24#include "cpplib.h"
40e23961 25#include "alias.h"
532aafad 26#include "tree.h"
40e23961 27#include "fold-const.h"
8f17b5c5 28
59cc9210
SB
29/* In order for the format checking to accept the C frontend
30 diagnostic framework extensions, you must include this file before
718f9c0f 31 diagnostic-core.h, not after. The C front end formats are a subset of those
59cc9210
SB
32 for C++, so they are the appropriate set to use in common code;
33 cp-tree.h overrides this for C++. */
718f9c0f
MLI
34#if defined(GCC_DIAGNOSTIC_CORE_H)
35#error \
36In order for the format checking to accept the C front end diagnostic \
37framework extensions, you must include this file before diagnostic-core.h \
38never after.
39#endif
59cc9210
SB
40#ifndef GCC_DIAG_STYLE
41#define GCC_DIAG_STYLE __gcc_cdiag__
42#endif
43#include "diagnostic-core.h"
44
f2c5f623 45/* Usage of TREE_LANG_FLAG_?:
3af07c22 46 0: IDENTIFIER_MARKED (used by search routines).
928c19bb 47 C_MAYBE_CONST_EXPR_INT_OPERANDS (in C_MAYBE_CONST_EXPR, for C)
f2c5f623 48 1: C_DECLARED_LABEL_FLAG (in LABEL_DECL)
325c3691 49 STATEMENT_LIST_STMT_EXPR (in STATEMENT_LIST)
928c19bb 50 C_MAYBE_CONST_EXPR_NON_CONST (in C_MAYBE_CONST_EXPR, for C)
6de9cd9a 51 2: unused
174283a3 52 3: STATEMENT_LIST_HAS_LABEL (in STATEMENT_LIST)
325c3691 53 4: unused
f2c5f623
BC
54*/
55
0e5921e8 56/* Reserved identifiers. This is the union of all the keywords for C,
40f03658 57 C++, and Objective-C. All the type modifiers have to be in one
0e5921e8 58 block at the beginning, because they are used as mask bits. There
bbceee64 59 are 28 type modifiers; if we add many more we will have to redesign
0e5921e8 60 the mask mechanism. */
f09f1de5
MM
61
62enum rid
63{
0e5921e8 64 /* Modifiers: */
2ba84f36 65 /* C, in empirical order of frequency. */
0e5921e8
ZW
66 RID_STATIC = 0,
67 RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
68 RID_REGISTER, RID_TYPEDEF, RID_SHORT, RID_INLINE,
69 RID_VOLATILE, RID_SIGNED, RID_AUTO, RID_RESTRICT,
267bac10 70 RID_NORETURN, RID_ATOMIC,
0e5921e8
ZW
71
72 /* C extensions */
ab22c1fa 73 RID_COMPLEX, RID_THREAD, RID_SAT,
0e5921e8
ZW
74
75 /* C++ */
76 RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
77
1973201f
NP
78 /* ObjC ("PQ" reserved words - they do not appear after a '@' and
79 are keywords only in specific contexts) */
b8363a24 80 RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
0e5921e8 81
668ea4b1
IS
82 /* ObjC ("PATTR" reserved words - they do not appear after a '@'
83 and are keywords only as property attributes) */
200290f2
NP
84 RID_GETTER, RID_SETTER,
85 RID_READONLY, RID_READWRITE,
86 RID_ASSIGN, RID_RETAIN, RID_COPY,
200290f2 87 RID_NONATOMIC,
668ea4b1 88
fa5da7de
JM
89 /* C (reserved and imaginary types not implemented, so any use is a
90 syntax error) */
91 RID_IMAGINARY,
92
0e5921e8
ZW
93 /* C */
94 RID_INT, RID_CHAR, RID_FLOAT, RID_DOUBLE, RID_VOID,
95 RID_ENUM, RID_STRUCT, RID_UNION, RID_IF, RID_ELSE,
96 RID_WHILE, RID_DO, RID_FOR, RID_SWITCH, RID_CASE,
97 RID_DEFAULT, RID_BREAK, RID_CONTINUE, RID_RETURN, RID_GOTO,
98 RID_SIZEOF,
99
100 /* C extensions */
101 RID_ASM, RID_TYPEOF, RID_ALIGNOF, RID_ATTRIBUTE, RID_VA_ARG,
da5b307a 102 RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_CHOOSE_EXPR,
f90e8e2e 103 RID_TYPES_COMPATIBLE_P, RID_BUILTIN_COMPLEX, RID_BUILTIN_SHUFFLE,
3ca0dc60 104 RID_BUILTIN_TGMATH,
9a8ce21f 105 RID_DFLOAT32, RID_DFLOAT64, RID_DFLOAT128,
c65699ef
JM
106
107 /* TS 18661-3 keywords, in the same sequence as the TI_* values. */
108 RID_FLOAT16,
109 RID_FLOATN_NX_FIRST = RID_FLOAT16,
110 RID_FLOAT32,
111 RID_FLOAT64,
112 RID_FLOAT128,
113 RID_FLOAT32X,
114 RID_FLOAT64X,
115 RID_FLOAT128X,
116#define CASE_RID_FLOATN_NX \
117 case RID_FLOAT16: case RID_FLOAT32: case RID_FLOAT64: case RID_FLOAT128: \
118 case RID_FLOAT32X: case RID_FLOAT64X: case RID_FLOAT128X
119
74893f25 120 RID_FRACT, RID_ACCUM, RID_AUTO_TYPE, RID_BUILTIN_CALL_WITH_STATIC_CHAIN,
0e5921e8 121
1ee62b92
PG
122 /* "__GIMPLE", for the GIMPLE-parsing extension to the C frontend. */
123 RID_GIMPLE,
124
125 /* "__PHI", for parsing PHI function in GIMPLE FE. */
126 RID_PHI,
127
c2e84327
DM
128 /* "__RTL", for the RTL-parsing extension to the C frontend. */
129 RID_RTL,
130
48b0b196 131 /* C11 */
433cc7b0 132 RID_ALIGNAS, RID_GENERIC,
d19fa6b5 133
eea1139b
ILT
134 /* This means to warn that this is a C++ keyword, and then treat it
135 as a normal identifier. */
136 RID_CXX_COMPAT_WARN,
137
0a35513e
AH
138 /* GNU transactional memory extension */
139 RID_TRANSACTION_ATOMIC, RID_TRANSACTION_RELAXED, RID_TRANSACTION_CANCEL,
140
0ba8a114
NS
141 /* Too many ways of getting the name of a function as a string */
142 RID_FUNCTION_NAME, RID_PRETTY_FUNCTION_NAME, RID_C99_FUNCTION_NAME,
143
1973201f
NP
144 /* C++ (some of these are keywords in Objective-C as well, but only
145 if they appear after a '@') */
0e5921e8
ZW
146 RID_BOOL, RID_WCHAR, RID_CLASS,
147 RID_PUBLIC, RID_PRIVATE, RID_PROTECTED,
148 RID_TEMPLATE, RID_NULL, RID_CATCH,
149 RID_DELETE, RID_FALSE, RID_NAMESPACE,
c22cacf3
MS
150 RID_NEW, RID_OFFSETOF, RID_OPERATOR,
151 RID_THIS, RID_THROW, RID_TRUE,
152 RID_TRY, RID_TYPENAME, RID_TYPEID,
b6baa67d 153 RID_USING, RID_CHAR16, RID_CHAR32,
0e5921e8
ZW
154
155 /* casts */
156 RID_CONSTCAST, RID_DYNCAST, RID_REINTCAST, RID_STATCAST,
157
cb68ec50 158 /* C++ extensions */
e16f1cc7
JJ
159 RID_ADDRESSOF, RID_BASES,
160 RID_BUILTIN_LAUNDER, RID_DIRECT_BASES,
cb68ec50
PC
161 RID_HAS_NOTHROW_ASSIGN, RID_HAS_NOTHROW_CONSTRUCTOR,
162 RID_HAS_NOTHROW_COPY, RID_HAS_TRIVIAL_ASSIGN,
163 RID_HAS_TRIVIAL_CONSTRUCTOR, RID_HAS_TRIVIAL_COPY,
342cfb3e
JJ
164 RID_HAS_TRIVIAL_DESTRUCTOR, RID_HAS_UNIQUE_OBJ_REPRESENTATIONS,
165 RID_HAS_VIRTUAL_DESTRUCTOR,
af88f557
JJ
166 RID_IS_ABSTRACT, RID_IS_AGGREGATE,
167 RID_IS_BASE_OF, RID_IS_CLASS,
cb68ec50 168 RID_IS_EMPTY, RID_IS_ENUM,
b3908fcc
JW
169 RID_IS_FINAL, RID_IS_LITERAL_TYPE,
170 RID_IS_POD, RID_IS_POLYMORPHIC,
971e17ff 171 RID_IS_SAME_AS,
b3908fcc 172 RID_IS_STD_LAYOUT, RID_IS_TRIVIAL,
dd5d5481 173 RID_IS_TRIVIALLY_ASSIGNABLE, RID_IS_TRIVIALLY_CONSTRUCTIBLE,
b752325e 174 RID_IS_TRIVIALLY_COPYABLE,
b3908fcc 175 RID_IS_UNION, RID_UNDERLYING_TYPE,
b42cc3ca 176 RID_IS_ASSIGNABLE, RID_IS_CONSTRUCTIBLE,
cb68ec50 177
b3908fcc 178 /* C++11 */
0a766368 179 RID_CONSTEXPR, RID_DECLTYPE, RID_NOEXCEPT, RID_NULLPTR, RID_STATIC_ASSERT,
218f0015 180
971e17ff
AS
181 /* C++ concepts */
182 RID_CONCEPT, RID_REQUIRES,
183
b8fd7909
JM
184 /* C++ transactional memory. */
185 RID_ATOMIC_NOEXCEPT, RID_ATOMIC_CANCEL, RID_SYNCHRONIZED,
186
939b37da 187 /* Cilk Plus keywords. */
9a771876 188 RID_CILK_SPAWN, RID_CILK_SYNC, RID_CILK_FOR,
939b37da 189
1973201f
NP
190 /* Objective-C ("AT" reserved words - they are only keywords when
191 they follow '@') */
3a3589b4 192 RID_AT_ENCODE, RID_AT_END,
0e5921e8 193 RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
c37d8c30 194 RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC, RID_AT_PACKAGE,
c22cacf3 195 RID_AT_PROTOCOL, RID_AT_SELECTOR,
264fa2db 196 RID_AT_THROW, RID_AT_TRY, RID_AT_CATCH,
92902b1b 197 RID_AT_FINALLY, RID_AT_SYNCHRONIZED,
668ea4b1 198 RID_AT_OPTIONAL, RID_AT_REQUIRED, RID_AT_PROPERTY,
da57d1b9 199 RID_AT_SYNTHESIZE, RID_AT_DYNAMIC,
264fa2db 200 RID_AT_INTERFACE,
0e5921e8
ZW
201 RID_AT_IMPLEMENTATION,
202
36c5e70a
BE
203 /* Named address support, mapping the keyword to a particular named address
204 number. Named address space 0 is reserved for the generic address. If
205 there are more than 254 named addresses, the addr_space_t type will need
206 to be grown from an unsigned char to unsigned short. */
207 RID_ADDR_SPACE_0, /* generic address */
208 RID_ADDR_SPACE_1,
209 RID_ADDR_SPACE_2,
210 RID_ADDR_SPACE_3,
211 RID_ADDR_SPACE_4,
212 RID_ADDR_SPACE_5,
213 RID_ADDR_SPACE_6,
214 RID_ADDR_SPACE_7,
215 RID_ADDR_SPACE_8,
216 RID_ADDR_SPACE_9,
217 RID_ADDR_SPACE_10,
218 RID_ADDR_SPACE_11,
219 RID_ADDR_SPACE_12,
220 RID_ADDR_SPACE_13,
221 RID_ADDR_SPACE_14,
222 RID_ADDR_SPACE_15,
223
224 RID_FIRST_ADDR_SPACE = RID_ADDR_SPACE_0,
225 RID_LAST_ADDR_SPACE = RID_ADDR_SPACE_15,
226
78a7c317
DD
227 /* __intN keywords. The _N_M here doesn't correspond to the intN
228 in the keyword; use the bitsize in int_n_t_data_t[M] for that.
229 For example, if int_n_t_data_t[0].bitsize is 13, then RID_INT_N_0
230 is for __int13. */
231
232 /* Note that the range to use is RID_FIRST_INT_N through
233 RID_FIRST_INT_N + NUM_INT_N_ENTS - 1 and c-parser.c has a list of
234 all RID_INT_N_* in a case statement. */
235
236 RID_INT_N_0,
237 RID_INT_N_1,
238 RID_INT_N_2,
239 RID_INT_N_3,
240
241 RID_FIRST_INT_N = RID_INT_N_0,
242 RID_LAST_INT_N = RID_INT_N_3,
243
0e5921e8
ZW
244 RID_MAX,
245
246 RID_FIRST_MODIFIER = RID_STATIC,
b8363a24
ZW
247 RID_LAST_MODIFIER = RID_ONEWAY,
248
36a85135
JM
249 RID_FIRST_CXX11 = RID_CONSTEXPR,
250 RID_LAST_CXX11 = RID_STATIC_ASSERT,
b8363a24
ZW
251 RID_FIRST_AT = RID_AT_ENCODE,
252 RID_LAST_AT = RID_AT_IMPLEMENTATION,
253 RID_FIRST_PQ = RID_IN,
668ea4b1 254 RID_LAST_PQ = RID_ONEWAY,
200290f2
NP
255 RID_FIRST_PATTR = RID_GETTER,
256 RID_LAST_PATTR = RID_NONATOMIC
f09f1de5
MM
257};
258
b8363a24 259#define OBJC_IS_AT_KEYWORD(rid) \
3f75a254
JM
260 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_AT && \
261 (unsigned int) (rid) <= (unsigned int) RID_LAST_AT)
b8363a24
ZW
262
263#define OBJC_IS_PQ_KEYWORD(rid) \
3f75a254
JM
264 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_PQ && \
265 (unsigned int) (rid) <= (unsigned int) RID_LAST_PQ)
b8363a24 266
668ea4b1
IS
267#define OBJC_IS_PATTR_KEYWORD(rid) \
268 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_PATTR && \
269 (unsigned int) (rid) <= (unsigned int) RID_LAST_PATTR)
270
1973201f
NP
271/* OBJC_IS_CXX_KEYWORD recognizes the 'CXX_OBJC' keywords (such as
272 'class') which are shared in a subtle way between Objective-C and
273 C++. When the lexer is lexing in Objective-C/Objective-C++, if it
274 finds '@' followed by one of these identifiers (eg, '@class'), it
275 recognizes the whole as an Objective-C keyword. If the identifier
276 is found elsewhere, it follows the rules of the C/C++ language.
277 */
278#define OBJC_IS_CXX_KEYWORD(rid) \
b8fd7909 279 (rid == RID_CLASS || rid == RID_SYNCHRONIZED \
1973201f
NP
280 || rid == RID_PUBLIC || rid == RID_PROTECTED || rid == RID_PRIVATE \
281 || rid == RID_TRY || rid == RID_THROW || rid == RID_CATCH)
282
f09f1de5
MM
283/* The elements of `ridpointers' are identifier nodes for the reserved
284 type names and storage classes. It is indexed by a RID_... value. */
3f75a254 285extern GTY ((length ("(int) RID_MAX"))) tree *ridpointers;
f09f1de5 286
7f4edbcb
BS
287/* Standard named or nameless data types of the C compiler. */
288
289enum c_tree_index
290{
b6baa67d
KVH
291 CTI_CHAR16_TYPE,
292 CTI_CHAR32_TYPE,
7f4edbcb 293 CTI_WCHAR_TYPE,
207bf79d 294 CTI_UNDERLYING_WCHAR_TYPE,
c5ab7f91 295 CTI_WINT_TYPE,
cd732418
JM
296 CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
297 CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
b15ad712
JM
298 CTI_INTMAX_TYPE,
299 CTI_UINTMAX_TYPE,
7f4edbcb
BS
300 CTI_WIDEST_INT_LIT_TYPE,
301 CTI_WIDEST_UINT_LIT_TYPE,
302
207bf79d
JM
303 /* Types for <stdint.h>, that may not be defined on all
304 targets. */
305 CTI_SIG_ATOMIC_TYPE,
306 CTI_INT8_TYPE,
307 CTI_INT16_TYPE,
308 CTI_INT32_TYPE,
309 CTI_INT64_TYPE,
310 CTI_UINT8_TYPE,
311 CTI_UINT16_TYPE,
312 CTI_UINT32_TYPE,
313 CTI_UINT64_TYPE,
314 CTI_INT_LEAST8_TYPE,
315 CTI_INT_LEAST16_TYPE,
316 CTI_INT_LEAST32_TYPE,
317 CTI_INT_LEAST64_TYPE,
318 CTI_UINT_LEAST8_TYPE,
319 CTI_UINT_LEAST16_TYPE,
320 CTI_UINT_LEAST32_TYPE,
321 CTI_UINT_LEAST64_TYPE,
322 CTI_INT_FAST8_TYPE,
323 CTI_INT_FAST16_TYPE,
324 CTI_INT_FAST32_TYPE,
325 CTI_INT_FAST64_TYPE,
326 CTI_UINT_FAST8_TYPE,
327 CTI_UINT_FAST16_TYPE,
328 CTI_UINT_FAST32_TYPE,
329 CTI_UINT_FAST64_TYPE,
330 CTI_INTPTR_TYPE,
331 CTI_UINTPTR_TYPE,
332
7f4edbcb 333 CTI_CHAR_ARRAY_TYPE,
b6baa67d
KVH
334 CTI_CHAR16_ARRAY_TYPE,
335 CTI_CHAR32_ARRAY_TYPE,
7f4edbcb 336 CTI_WCHAR_ARRAY_TYPE,
7f4edbcb
BS
337 CTI_STRING_TYPE,
338 CTI_CONST_STRING_TYPE,
339
19552aa5 340 /* Type for boolean expressions (bool in C++, int in C). */
de7df9eb
JM
341 CTI_TRUTHVALUE_TYPE,
342 CTI_TRUTHVALUE_TRUE,
343 CTI_TRUTHVALUE_FALSE,
344
7f4edbcb 345 CTI_DEFAULT_FUNCTION_TYPE,
7f4edbcb 346
2ba84f36 347 /* These are not types, but we have to look them up all the time. */
0ba8a114
NS
348 CTI_FUNCTION_NAME_DECL,
349 CTI_PRETTY_FUNCTION_NAME_DECL,
350 CTI_C99_FUNCTION_NAME_DECL,
351 CTI_SAVED_FUNCTION_NAME_DECLS,
c22cacf3 352
b2f97e4a
MM
353 CTI_NULL,
354
7f4edbcb
BS
355 CTI_MAX
356};
357
5950c3c9
BE
358#define C_CPP_HASHNODE(id) \
359 (&(((struct c_common_identifier *) (id))->node))
d75d71e0
ILT
360#define C_RID_CODE(id) \
361 ((enum rid) (((struct c_common_identifier *) (id))->node.rid_code))
362#define C_SET_RID_CODE(id, code) \
363 (((struct c_common_identifier *) (id))->node.rid_code = (unsigned char) code)
2a967f3d
NB
364
365/* Identifier part common to the C front ends. Inherits from
366 tree_identifier, despite appearances. */
d1b38208 367struct GTY(()) c_common_identifier {
4f60111f 368 struct tree_common common;
17211ab5 369 struct cpp_hashnode node;
2a967f3d
NB
370};
371
eea1139b
ILT
372/* An entry in the reserved keyword table. */
373
374struct c_common_resword
375{
376 const char *const word;
377 ENUM_BITFIELD(rid) const rid : 16;
378 const unsigned int disable : 16;
379};
380
8fba1830
BRF
381/* Mode used to build pointers (VOIDmode means ptr_mode). */
382
383extern machine_mode c_default_pointer_mode;
384
34429675
JM
385/* Extra cpp_ttype values for C++. */
386
34429675
JM
387/* A token type for template-ids. If a template-id is processed while
388 parsing tentatively, it is replaced with a CPP_TEMPLATE_ID token;
389 the value of the CPP_TEMPLATE_ID is whatever was returned by
390 cp_parser_template_id. */
391#define CPP_TEMPLATE_ID ((enum cpp_ttype) (CPP_KEYWORD + 1))
392
393/* A token type for nested-name-specifiers. If a
394 nested-name-specifier is processed while parsing tentatively, it is
395 replaced with a CPP_NESTED_NAME_SPECIFIER token; the value of the
396 CPP_NESTED_NAME_SPECIFIER is whatever was returned by
397 cp_parser_nested_name_specifier_opt. */
398#define CPP_NESTED_NAME_SPECIFIER ((enum cpp_ttype) (CPP_TEMPLATE_ID + 1))
399
400/* A token type for pre-parsed C++0x decltype. */
401#define CPP_DECLTYPE ((enum cpp_ttype) (CPP_NESTED_NAME_SPECIFIER + 1))
402
5f83e90b
JM
403/* A token type for pre-parsed primary-expression (lambda- or statement-). */
404#define CPP_PREPARSED_EXPR ((enum cpp_ttype) (CPP_DECLTYPE + 1))
405
34429675 406/* The number of token types, including C++-specific ones. */
5f83e90b 407#define N_CP_TTYPES ((int) (CPP_PREPARSED_EXPR + 1))
34429675 408
eea1139b
ILT
409/* Disable mask. Keywords are disabled if (reswords[i].disable &
410 mask) is _true_. Thus for keywords which are present in all
411 languages the disable field is zero. */
412
413#define D_CONLY 0x001 /* C only (not in C++). */
414#define D_CXXONLY 0x002 /* C++ only (not in C). */
415#define D_C99 0x004 /* In C, C99 only. */
36a85135 416#define D_CXX11 0x008 /* In C++, C++11 only. */
eea1139b
ILT
417#define D_EXT 0x010 /* GCC extension. */
418#define D_EXT89 0x020 /* GCC extension incorporated in C99. */
419#define D_ASM 0x040 /* Disabled by -fno-asm. */
420#define D_OBJC 0x080 /* In Objective C and neither C nor C++. */
421#define D_CXX_OBJC 0x100 /* In Objective C, and C++, but not C. */
422#define D_CXXWARN 0x200 /* In C warn with -Wcxx-compat. */
971e17ff 423#define D_CXX_CONCEPTS 0x400 /* In C++, only with concepts. */
b8fd7909 424#define D_TRANSMEM 0X800 /* C++ transactional memory TS. */
971e17ff
AS
425
426#define D_CXX_CONCEPTS_FLAGS D_CXXONLY | D_CXX_CONCEPTS
eea1139b
ILT
427
428/* The reserved keyword table. */
429extern const struct c_common_resword c_common_reswords[];
430
431/* The number of items in the reserved keyword table. */
432extern const unsigned int num_c_common_reswords;
433
b6baa67d
KVH
434#define char16_type_node c_global_trees[CTI_CHAR16_TYPE]
435#define char32_type_node c_global_trees[CTI_CHAR32_TYPE]
7f4edbcb 436#define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
207bf79d 437#define underlying_wchar_type_node c_global_trees[CTI_UNDERLYING_WCHAR_TYPE]
c5ab7f91 438#define wint_type_node c_global_trees[CTI_WINT_TYPE]
cd732418
JM
439#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
440#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
b15ad712
JM
441#define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
442#define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
7f4edbcb
BS
443#define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
444#define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
445
207bf79d
JM
446#define sig_atomic_type_node c_global_trees[CTI_SIG_ATOMIC_TYPE]
447#define int8_type_node c_global_trees[CTI_INT8_TYPE]
448#define int16_type_node c_global_trees[CTI_INT16_TYPE]
449#define int32_type_node c_global_trees[CTI_INT32_TYPE]
450#define int64_type_node c_global_trees[CTI_INT64_TYPE]
451#define uint8_type_node c_global_trees[CTI_UINT8_TYPE]
ac868f29 452#define c_uint16_type_node c_global_trees[CTI_UINT16_TYPE]
207bf79d
JM
453#define c_uint32_type_node c_global_trees[CTI_UINT32_TYPE]
454#define c_uint64_type_node c_global_trees[CTI_UINT64_TYPE]
455#define int_least8_type_node c_global_trees[CTI_INT_LEAST8_TYPE]
456#define int_least16_type_node c_global_trees[CTI_INT_LEAST16_TYPE]
457#define int_least32_type_node c_global_trees[CTI_INT_LEAST32_TYPE]
458#define int_least64_type_node c_global_trees[CTI_INT_LEAST64_TYPE]
459#define uint_least8_type_node c_global_trees[CTI_UINT_LEAST8_TYPE]
460#define uint_least16_type_node c_global_trees[CTI_UINT_LEAST16_TYPE]
461#define uint_least32_type_node c_global_trees[CTI_UINT_LEAST32_TYPE]
462#define uint_least64_type_node c_global_trees[CTI_UINT_LEAST64_TYPE]
463#define int_fast8_type_node c_global_trees[CTI_INT_FAST8_TYPE]
464#define int_fast16_type_node c_global_trees[CTI_INT_FAST16_TYPE]
465#define int_fast32_type_node c_global_trees[CTI_INT_FAST32_TYPE]
466#define int_fast64_type_node c_global_trees[CTI_INT_FAST64_TYPE]
467#define uint_fast8_type_node c_global_trees[CTI_UINT_FAST8_TYPE]
468#define uint_fast16_type_node c_global_trees[CTI_UINT_FAST16_TYPE]
469#define uint_fast32_type_node c_global_trees[CTI_UINT_FAST32_TYPE]
470#define uint_fast64_type_node c_global_trees[CTI_UINT_FAST64_TYPE]
471#define intptr_type_node c_global_trees[CTI_INTPTR_TYPE]
472#define uintptr_type_node c_global_trees[CTI_UINTPTR_TYPE]
473
de7df9eb
JM
474#define truthvalue_type_node c_global_trees[CTI_TRUTHVALUE_TYPE]
475#define truthvalue_true_node c_global_trees[CTI_TRUTHVALUE_TRUE]
476#define truthvalue_false_node c_global_trees[CTI_TRUTHVALUE_FALSE]
19552aa5 477
7f4edbcb 478#define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
b6baa67d
KVH
479#define char16_array_type_node c_global_trees[CTI_CHAR16_ARRAY_TYPE]
480#define char32_array_type_node c_global_trees[CTI_CHAR32_ARRAY_TYPE]
7f4edbcb 481#define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
7f4edbcb
BS
482#define string_type_node c_global_trees[CTI_STRING_TYPE]
483#define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
484
485#define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
7f4edbcb 486
0ba8a114
NS
487#define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
488#define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
489#define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
490#define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
63ad61ed 491
b2f97e4a
MM
492/* The node for C++ `__null'. */
493#define null_node c_global_trees[CTI_NULL]
494
e2500fed 495extern GTY(()) tree c_global_trees[CTI_MAX];
ab76ca54 496
8f17b5c5
MM
497/* Mark which labels are explicitly declared.
498 These may be shadowed, and may be referenced from nested functions. */
499#define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
500
a79683d5 501enum c_language_kind
ab76ca54 502{
d73326ca 503 clk_c = 0, /* C90, C94, C99 or C11 */
37fa72e9
NB
504 clk_objc = 1, /* clk_c with ObjC features. */
505 clk_cxx = 2, /* ANSI/ISO C++ */
506 clk_objcxx = 3 /* clk_cxx with ObjC features. */
a79683d5 507};
ab76ca54 508
37fa72e9
NB
509/* To test for a specific language use c_language, defined by each
510 front end. For "ObjC features" or "not C++" use the macros. */
511extern c_language_kind c_language;
512
15a15e8d
RH
513#define c_dialect_cxx() ((c_language & clk_cxx) != 0)
514#define c_dialect_objc() ((c_language & clk_objc) != 0)
37fa72e9 515
dd865ef6 516/* The various name of operator that appears in error messages. */
a79683d5 517enum ref_operator {
dd865ef6
SZ
518 /* NULL */
519 RO_NULL,
520 /* array indexing */
521 RO_ARRAY_INDEXING,
522 /* unary * */
523 RO_UNARY_STAR,
524 /* -> */
525 RO_ARROW,
526 /* implicit conversion */
5e54f81d
MG
527 RO_IMPLICIT_CONVERSION,
528 /* ->* */
529 RO_ARROW_STAR
a79683d5 530};
dd865ef6 531
ae499cce
MM
532/* Information about a statement tree. */
533
d1b38208 534struct GTY(()) stmt_tree_s {
38e01f9e 535 /* A stack of statement lists being collected. */
9771b263 536 vec<tree, va_gc> *x_cur_stmt_list;
325c3691 537
da7d8304 538 /* In C++, Nonzero if we should treat statements as full
04f7a48e 539 expressions. In particular, this variable is non-zero if at the
ae499cce
MM
540 end of a statement we should destroy any temporaries created
541 during that statement. Similarly, if, at the end of a block, we
542 should destroy any local variables in this block. Normally, this
da7d8304 543 variable is nonzero, since those are the normal semantics of
ae499cce
MM
544 C++.
545
ae499cce 546 This flag has no effect in C. */
21c7361e 547 int stmts_are_full_exprs_p;
ae499cce
MM
548};
549
550typedef struct stmt_tree_s *stmt_tree;
551
552/* Global state pertinent to the current function. Some C dialects
553 extend this structure with additional fields. */
554
d1b38208 555struct GTY(()) c_language_function {
ae499cce
MM
556 /* While we are parsing the function, this contains information
557 about the statement-tree that we are building. */
558 struct stmt_tree_s x_stmt_tree;
3797cb21
DS
559
560 /* Vector of locally defined typedefs, for
561 -Wunused-local-typedefs. */
9771b263 562 vec<tree, va_gc> *local_typedefs;
ae499cce
MM
563};
564
38e01f9e
NF
565#define stmt_list_stack (current_stmt_tree ()->x_cur_stmt_list)
566
35fd3193 567/* When building a statement-tree, this is the current statement list
9771b263
DN
568 being collected. */
569#define cur_stmt_list (stmt_list_stack->last ())
38e01f9e 570
9771b263 571#define building_stmt_list_p() (stmt_list_stack && !stmt_list_stack->is_empty())
8f17b5c5
MM
572
573/* Language-specific hooks. */
574
4684cd27
MM
575/* If non-NULL, this function is called after a precompile header file
576 is loaded. */
577extern void (*lang_post_pch_load) (void);
578
f75fbaf7
ZW
579extern void push_file_scope (void);
580extern void pop_file_scope (void);
35b1a6fa 581extern stmt_tree current_stmt_tree (void);
325c3691 582extern tree push_stmt_list (void);
325c3691 583extern tree pop_stmt_list (tree);
35b1a6fa 584extern tree add_stmt (tree);
325c3691 585extern void push_cleanup (tree, tree, bool);
641da50a 586
32e8bb8e 587extern tree build_modify_expr (location_t, tree, tree, enum tree_code,
c2255bc4 588 location_t, tree, tree);
36536d79
BI
589extern tree build_array_notation_expr (location_t, tree, tree, enum tree_code,
590 location_t, tree, tree);
591extern tree build_array_notation_ref (location_t, tree, tree, tree, tree, tree);
dd865ef6 592extern tree build_indirect_ref (location_t, tree, ref_operator);
35b1a6fa 593
58f9752a 594extern bool has_c_linkage (const_tree decl);
1807ffc1 595extern bool c_decl_implicit (const_tree);
17211ab5 596\f
4078b403
NB
597/* Switches common to the C front ends. */
598
63973df3
NB
599/* Nonzero means don't output line number information. */
600
601extern char flag_no_line_commands;
602
603/* Nonzero causes -E output not to be done, but directives such as
604 #define that have side effects are still obeyed. */
605
606extern char flag_no_output;
607
93d45d9e
JM
608/* Nonzero means dump macros in some fashion; contains the 'D', 'M',
609 'N' or 'U' of the command line switch. */
63973df3
NB
610
611extern char flag_dump_macros;
612
613/* Nonzero means pass #include lines through to the output. */
614
615extern char flag_dump_includes;
616
c0d578e6
GK
617/* Nonzero means process PCH files while preprocessing. */
618
619extern bool flag_pch_preprocess;
620
17211ab5
GK
621/* The file name to which we should write a precompiled header, or
622 NULL if no header will be written in this compile. */
623
624extern const char *pch_file;
625
3df89291
NB
626/* Nonzero if an ISO standard was selected. It rejects macros in the
627 user's namespace. */
17211ab5 628
3df89291
NB
629extern int flag_iso;
630
4078b403 631/* C/ObjC language option variables. */
b34c7881 632
2683ed8d 633
4078b403
NB
634/* Nonzero means allow type mismatches in conditional expressions;
635 just make their values `void'. */
74ff4629 636
4078b403 637extern int flag_cond_mismatch;
6c36d76b 638
eaf299c6 639/* Nonzero means enable C89 Amendment 1 features. */
b8458e3e
JM
640
641extern int flag_isoc94;
642
48b0b196 643/* Nonzero means use the ISO C99 (or C11) dialect of C. */
ab76ca54
MM
644
645extern int flag_isoc99;
646
48b0b196 647/* Nonzero means use the ISO C11 dialect of C. */
2778d766 648
48b0b196 649extern int flag_isoc11;
2778d766 650
6614fd40 651/* Nonzero means that we have builtin functions, and main is an int. */
93e2382f
JM
652
653extern int flag_hosted;
654
4078b403
NB
655/* ObjC language option variables. */
656
657
4078b403
NB
658/* Tells the compiler that this is a special run. Do not perform any
659 compiling, instead we are to test some platform dependent features
660 and output a C header file with appropriate definitions. */
661
662extern int print_struct_values;
663
abc88a08 664/* Tells the compiler what is the constant string class for ObjC. */
4078b403 665
fd350d24 666extern const char *constant_string_class_name;
4078b403 667
4078b403
NB
668
669/* C++ language option variables. */
670
a75f1574
JM
671/* The reference version of the ABI for -Wabi. */
672
673extern int warn_abi_version;
4078b403 674
62984918 675/* Return TRUE if one of {flag_abi_version,flag_abi_compat_version} is
a75f1574
JM
676 less than N and the other is at least N. */
677#define abi_compat_version_crosses(N) \
62984918
JM
678 (abi_version_at_least(N) \
679 != (flag_abi_compat_version == 0 \
680 || flag_abi_compat_version >= (N)))
681
a75f1574
JM
682/* Return TRUE if one of {flag_abi_version,warn_abi_version} is
683 less than N and the other is at least N, for use by -Wabi. */
684#define abi_version_crosses(N) \
685 (abi_version_at_least(N) \
686 != (warn_abi_version == 0 \
687 || warn_abi_version >= (N)))
688
4078b403
NB
689/* Nonzero means generate separate instantiation control files and
690 juggle them at link time. */
691
692extern int flag_use_repository;
693
c1ae8be5
SM
694/* The supported C++ dialects. */
695
696enum cxx_dialect {
129211bc 697 cxx_unset,
97e3ad20 698 /* C++98 with TC1 */
c1ae8be5 699 cxx98,
97e3ad20
JM
700 cxx03 = cxx98,
701 /* C++11 */
702 cxx0x,
552b8185 703 cxx11 = cxx0x,
028aee17
JM
704 /* C++14 */
705 cxx14,
7b936140 706 /* C++17 */
026a79f7
AS
707 cxx17,
708 /* C++2a (C++20?) */
709 cxx2a
c1ae8be5 710};
966541e3 711
c1ae8be5
SM
712/* The C++ dialect being used. C++98 is the default. */
713extern enum cxx_dialect cxx_dialect;
966541e3 714
4078b403
NB
715/* Maximum template instantiation depth. This limit is rather
716 arbitrary, but it exists to limit the time it takes to notice
17bc631c 717 excessively recursive template instantiations. */
4078b403
NB
718
719extern int max_tinst_depth;
ab76ca54 720
7d882b83
ILT
721/* Nonzero means that we should not issue warnings about problems that
722 occur when the code is executed, because the code being processed
723 is not expected to be executed. This is set during parsing. This
724 is used for cases like sizeof() and "0 ? a : b". This is a count,
725 not a bool, because unexecuted expressions can nest. */
25587e40 726
7d882b83 727extern int c_inhibit_evaluation_warnings;
25587e40 728
148e4216
JM
729/* Whether lexing has been completed, so subsequent preprocessor
730 errors should use the compiler's input_location. */
731
732extern bool done_lexing;
733
ab76ca54
MM
734/* C types are partitioned into three subsets: object, function, and
735 incomplete types. */
736#define C_TYPE_OBJECT_P(type) \
737 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
738
739#define C_TYPE_INCOMPLETE_P(type) \
740 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
741
742#define C_TYPE_FUNCTION_P(type) \
743 (TREE_CODE (type) == FUNCTION_TYPE)
744
745/* For convenience we define a single macro to identify the class of
746 object or incomplete types. */
747#define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
748 (!C_TYPE_FUNCTION_P (type))
749
c98cd5bf
JM
750struct visibility_flags
751{
752 unsigned inpragma : 1; /* True when in #pragma GCC visibility. */
753 unsigned inlines_hidden : 1; /* True when -finlineshidden in effect. */
754};
755
7a37fa90
MM
756/* These enumerators are possible types of unsafe conversions. */
757enum conversion_safety {
758 /* The conversion is safe. */
759 SAFE_CONVERSION = 0,
760 /* Another type of conversion with problems. */
761 UNSAFE_OTHER,
762 /* Conversion between signed and unsigned integers
763 which are all warned about immediately, so this is unused. */
764 UNSAFE_SIGN,
765 /* Conversions that reduce the precision of reals including conversions
766 from reals to integers. */
767 UNSAFE_REAL,
768 /* Conversions from complex to reals or integers, that discard imaginary
769 component. */
770 UNSAFE_IMAGINARY
771};
49b0aa18 772
c98cd5bf
JM
773/* Global visibility options. */
774extern struct visibility_flags visibility_options;
775
349ae713
NB
776/* Attribute table common to the C front ends. */
777extern const struct attribute_spec c_common_attribute_table[];
778extern const struct attribute_spec c_common_format_attribute_table[];
779
0ba8a114 780/* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
2ce07e2d
NS
781 ID is the identifier to use, NAME is the string.
782 TYPE_DEP indicates whether it depends on type of the function or not
783 (i.e. __PRETTY_FUNCTION__). */
784
c2255bc4 785extern tree (*make_fname_decl) (location_t, tree, int);
35b1a6fa 786
bffad7f1 787/* In c-decl.c and cp/tree.c. FIXME. */
3ef0694c 788extern void c_register_addr_space (const char *str, addr_space_t as);
bffad7f1
SB
789
790/* In c-common.c. */
5386338c 791extern bool in_late_binary_op;
36c5e70a 792extern const char *c_addr_space_name (addr_space_t as);
35b1a6fa 793extern tree identifier_global_value (tree);
3a636414 794extern tree c_linkage_bindings (tree);
35b1a6fa
AJ
795extern void record_builtin_type (enum rid, const char *, tree);
796extern tree build_void_list_node (void);
797extern void start_fname_decls (void);
798extern void finish_fname_decls (void);
799extern const char *fname_as_string (int);
3ba09659 800extern tree fname_decl (location_t, unsigned, tree);
35b1a6fa 801
d19fa6b5 802extern int check_user_alignment (const_tree, bool);
4227c9ad 803extern bool check_function_arguments (location_t loc, const_tree, const_tree,
2f687306 804 int, tree *, vec<location_t> *);
35b1a6fa
AJ
805extern void check_function_arguments_recurse (void (*)
806 (void *, tree,
807 unsigned HOST_WIDE_INT),
808 void *, tree,
809 unsigned HOST_WIDE_INT);
79ce98bc
MP
810extern bool check_builtin_function_arguments (location_t, vec<location_t>,
811 tree, int, tree *);
2f687306 812extern void check_function_format (tree, int, tree *, vec<location_t> *);
81fea426 813extern bool attribute_fallthrough_p (tree);
35b1a6fa
AJ
814extern tree handle_format_attribute (tree *, tree, tree, int, bool *);
815extern tree handle_format_arg_attribute (tree *, tree, tree, int, bool *);
a4d8c676 816extern bool c_common_handle_option (size_t, const char *, int, int, location_t,
5f20c657 817 const struct cl_option_handlers *);
acce4e77 818extern bool default_handle_c_option (size_t, const char *, int);
ef4bddc2 819extern tree c_common_type_for_mode (machine_mode, int);
35b1a6fa 820extern tree c_common_type_for_size (unsigned int, int);
ab22c1fa
CF
821extern tree c_common_fixed_point_type_for_size (unsigned int, unsigned int,
822 int, int);
12753674 823extern tree c_common_unsigned_type (tree);
35b1a6fa
AJ
824extern tree c_common_signed_type (tree);
825extern tree c_common_signed_or_unsigned_type (int, tree);
81f653d6 826extern void c_common_init_ts (void);
38a4afee 827extern tree c_build_bitfield_integer_type (unsigned HOST_WIDE_INT, int);
3cd211af 828extern enum conversion_safety unsafe_conversion_p (location_t, tree, tree, tree,
68fca595 829 bool);
58f9752a 830extern bool decl_with_nonnull_addr_p (const_tree);
f9c59f7e 831extern tree c_fully_fold (tree, bool, bool *, bool = false);
e5a94231 832extern tree c_wrap_maybe_const (tree, bool);
ba47d38d 833extern tree c_common_truthvalue_conversion (location_t, tree);
35b1a6fa 834extern void c_apply_type_quals_to_decl (int, tree);
296674db 835extern tree c_sizeof_or_alignof_type (location_t, tree, bool, bool, int);
c2255bc4 836extern tree c_alignof_expr (location_t, tree);
7f4edbcb
BS
837/* Print an error message for invalid operands to arith operation CODE.
838 NOP_EXPR is used as a special case (see truthvalue_conversion). */
745e411d 839extern void binary_op_error (rich_location *, enum tree_code, tree, tree);
35b1a6fa 840extern tree fix_string_type (tree);
68fca595 841extern tree convert_and_check (location_t, tree, tree);
b2ca3702 842extern bool c_determine_visibility (tree);
0af94e6f 843extern bool vector_types_compatible_elements_p (tree, tree);
6ec637a4
JJ
844extern void mark_valid_location_for_stdc_pragma (bool);
845extern bool valid_location_for_stdc_pragma_p (void);
846extern void set_float_const_decimal64 (void);
847extern void clear_float_const_decimal64 (void);
848extern bool float_const_decimal64_p (void);
ab76ca54 849
a9aa2c3a
NF
850extern bool keyword_begins_type_specifier (enum rid);
851extern bool keyword_is_storage_class_specifier (enum rid);
852extern bool keyword_is_type_qualifier (enum rid);
ba9e6dd5 853extern bool keyword_is_decl_specifier (enum rid);
af63ba4b 854extern unsigned max_align_t_align (void);
e28d52cf 855extern bool cxx_fundamental_alignment_p (unsigned);
f04dda30 856extern bool pointer_to_zero_sized_aggr_p (tree);
038b5cc0
MP
857extern bool bool_promoted_to_int_p (tree);
858extern tree fold_for_warn (tree);
859extern tree c_common_get_narrower (tree, int *);
b12b1915 860extern bool get_nonnull_operand (tree, unsigned HOST_WIDE_INT *);
a9aa2c3a 861
296674db
JM
862#define c_sizeof(LOC, T) c_sizeof_or_alignof_type (LOC, T, true, false, 1)
863#define c_alignof(LOC, T) c_sizeof_or_alignof_type (LOC, T, false, false, 1)
7f4edbcb 864
6715192c
MLI
865/* Subroutine of build_binary_op, used for certain operations. */
866extern tree shorten_binary_op (tree result_type, tree op0, tree op1, bool bitwise);
867
7f4edbcb
BS
868/* Subroutine of build_binary_op, used for comparison operations.
869 See if the operands have both been converted from subword integer types
870 and, if so, perhaps change them both back to their original type. */
393e8e8b
MP
871extern tree shorten_compare (location_t, tree *, tree *, tree *,
872 enum tree_code *);
7f4edbcb 873
fd9b0f32
PC
874extern tree pointer_int_sum (location_t, enum tree_code, tree, tree,
875 bool = true);
50e60bc3
ZW
876
877/* Add qualifiers to a type, in the fashion for C. */
e9e32ee6 878extern tree c_build_qualified_type (tree, int, tree = NULL_TREE, size_t = 0);
50e60bc3 879
7f4edbcb
BS
880/* Build tree nodes and builtin functions common to both C and C++ language
881 frontends. */
35b1a6fa 882extern void c_common_nodes_and_builtins (void);
d3707adb 883
35b1a6fa 884extern void disable_builtin_function (const char *);
7d14c755 885
3b2db49f
MM
886extern void set_compound_literal_name (tree decl);
887
c2255bc4 888extern tree build_va_arg (location_t, tree, tree);
7e8176d7 889
c5fa0890 890extern const unsigned int c_family_lang_mask;
7a9bf9a4 891extern unsigned int c_common_option_lang_mask (void);
d723bb7c 892extern void c_common_diagnostics_set_defaults (diagnostic_context *);
7a9bf9a4 893extern bool c_common_complain_wrong_lang_p (const struct cl_option *);
a75bfaa6 894extern void c_common_init_options_struct (struct gcc_options *);
7a9bf9a4 895extern void c_common_init_options (unsigned int, struct cl_decoded_option *);
35b1a6fa
AJ
896extern bool c_common_post_options (const char **);
897extern bool c_common_init (void);
898extern void c_common_finish (void);
b37421c6 899extern void c_common_parse_file (void);
1a817418 900extern FILE *get_dump_info (int, dump_flags_t *);
4862826d 901extern alias_set_type c_common_get_alias_set (tree);
9649812a 902extern void c_register_builtin_type (tree, const char*);
58f9752a 903extern bool c_promoting_integer_type_p (const_tree);
e3455240 904extern bool self_promoting_args_p (const_tree);
12ea3302 905extern tree strip_pointer_operator (tree);
ba992967 906extern tree strip_pointer_or_array_types (tree);
c5ff069d 907extern HOST_WIDE_INT c_common_to_target_charset (HOST_WIDE_INT);
d7e7759d 908
d1bd0ded
GK
909/* This is the basic parsing function. */
910extern void c_parse_file (void);
d1bd0ded 911
d7438551
AH
912extern void c_parse_final_cleanups (void);
913
ae499cce
MM
914/* These macros provide convenient access to the various _STMT nodes. */
915
325c3691
RH
916/* Nonzero if a given STATEMENT_LIST represents the outermost binding
917 if a statement expression. */
918#define STATEMENT_LIST_STMT_EXPR(NODE) \
919 TREE_LANG_FLAG_1 (STATEMENT_LIST_CHECK (NODE))
174283a3
RH
920
921/* Nonzero if a label has been added to the statement list. */
922#define STATEMENT_LIST_HAS_LABEL(NODE) \
923 TREE_LANG_FLAG_3 (STATEMENT_LIST_CHECK (NODE))
325c3691 924
928c19bb
JM
925/* C_MAYBE_CONST_EXPR accessors. */
926#define C_MAYBE_CONST_EXPR_PRE(NODE) \
927 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 0)
928#define C_MAYBE_CONST_EXPR_EXPR(NODE) \
929 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 1)
930#define C_MAYBE_CONST_EXPR_INT_OPERANDS(NODE) \
931 TREE_LANG_FLAG_0 (C_MAYBE_CONST_EXPR_CHECK (NODE))
932#define C_MAYBE_CONST_EXPR_NON_CONST(NODE) \
933 TREE_LANG_FLAG_1 (C_MAYBE_CONST_EXPR_CHECK (NODE))
934#define EXPR_INT_CONST_OPERANDS(EXPR) \
935 (INTEGRAL_TYPE_P (TREE_TYPE (EXPR)) \
936 && (TREE_CODE (EXPR) == INTEGER_CST \
937 || (TREE_CODE (EXPR) == C_MAYBE_CONST_EXPR \
938 && C_MAYBE_CONST_EXPR_INT_OPERANDS (EXPR))))
939
0a7394bc
MM
940/* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
941#define DECL_C_BIT_FIELD(NODE) \
942 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
943#define SET_DECL_C_BIT_FIELD(NODE) \
944 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
945#define CLEAR_DECL_C_BIT_FIELD(NODE) \
946 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
947
c2255bc4
AH
948extern tree do_case (location_t, tree, tree);
949extern tree build_stmt (location_t, enum tree_code, ...);
fb52b50a 950extern tree build_real_imag_expr (location_t, enum tree_code, tree);
f2c5f623 951
ab76ca54
MM
952/* These functions must be defined by each front-end which implements
953 a variant of the C language. They are used in c-common.c. */
954
e51fbec3 955extern tree build_unary_op (location_t, enum tree_code, tree, bool);
30af3a2b 956extern tree build_binary_op (location_t, enum tree_code, tree, tree, bool);
522ddfa2 957extern tree perform_integral_promotions (tree);
ab76ca54 958
d593cb3d
MS
959/* These functions must be defined by each front-end which implements
960 a variant of the C language. They are used by port files. */
961
962extern tree default_conversion (tree);
963
ab76ca54
MM
964/* Given two integer or real types, return the type for their sum.
965 Given two compatible ANSI C types, returns the merged type. */
966
35b1a6fa 967extern tree common_type (tree, tree);
44835fdd 968
35b1a6fa 969extern tree decl_constant_value (tree);
56cb9733 970
19552aa5 971/* Handle increment and decrement of boolean types. */
35b1a6fa 972extern tree boolean_increment (enum tree_code, tree);
19552aa5 973
35b1a6fa 974extern int case_compare (splay_tree_key, splay_tree_key);
8f17b5c5 975
b155cfd9
MP
976extern tree c_add_case_label (location_t, splay_tree, tree, tree, tree, tree,
977 bool *);
8f17b5c5 978
c2255bc4 979extern tree build_function_call (location_t, tree, tree);
c70eaeaf 980
81e5eca8
MP
981extern tree build_function_call_vec (location_t, vec<location_t>, tree,
982 vec<tree, va_gc> *, vec<tree, va_gc> *);
bbbbb16a 983
9771b263 984extern tree resolve_overloaded_builtin (location_t, tree, vec<tree, va_gc> *);
48ae6c13 985
6a3799eb 986extern tree finish_label_address_expr (tree, location_t);
15b732b2
NB
987
988/* Same function prototype, but the C and C++ front ends have
989 different implementations. Used in c-common.c. */
35b1a6fa 990extern tree lookup_label (tree);
10e6657a 991extern tree lookup_name (tree);
1e4ae551 992extern bool lvalue_p (const_tree);
15b732b2 993
f83c7f63 994extern bool vector_targets_convertible_p (const_tree t1, const_tree t2);
58f9752a 995extern bool vector_types_convertible_p (const_tree t1, const_tree t2, bool emit_lax_note);
bedc293e 996extern tree c_build_vec_perm_expr (location_t, tree, tree, tree, bool = true);
cc27e657 997
35b1a6fa 998extern void init_c_lex (void);
81a75f0f 999
35b1a6fa 1000extern void c_cpp_builtins (cpp_reader *);
ab442df7 1001extern void c_cpp_builtins_optimize_pragma (cpp_reader *, tree, tree);
8a645150 1002extern bool c_cpp_error (cpp_reader *, int, int, rich_location *,
59cc9210 1003 const char *, va_list *)
8a645150 1004 ATTRIBUTE_GCC_DIAG(5,0);
1f8d3e84 1005extern int c_common_has_attribute (cpp_reader *);
76c3e73e 1006
7c475d11
JM
1007extern bool parse_optimize_options (tree, bool);
1008
731e8b38
MM
1009/* Positive if an implicit `extern "C"' scope has just been entered;
1010 negative if such a scope has just been exited. */
7876228d 1011extern GTY(()) int pending_lang_change;
731e8b38 1012
0e5921e8
ZW
1013/* Information recorded about each file examined during compilation. */
1014
1015struct c_fileinfo
1016{
1017 int time; /* Time spent in the file. */
5d709b00
ZW
1018
1019 /* Flags used only by C++.
1020 INTERFACE_ONLY nonzero means that we are in an "interface" section
1021 of the compiler. INTERFACE_UNKNOWN nonzero means we cannot trust
1022 the value of INTERFACE_ONLY. If INTERFACE_UNKNOWN is zero and
1023 INTERFACE_ONLY is zero, it means that we are responsible for
1024 exporting definitions that others might need. */
1025 short interface_only;
0e5921e8
ZW
1026 short interface_unknown;
1027};
1028
35b1a6fa
AJ
1029struct c_fileinfo *get_fileinfo (const char *);
1030extern void dump_time_statistics (void);
1031
1032extern bool c_dump_tree (void *, tree);
1033
3a5b9284
RH
1034extern void verify_sequence_points (tree);
1035
c85158de 1036extern tree fold_offsetof_1 (tree, tree_code ctx = ERROR_MARK);
cf9e9959 1037extern tree fold_offsetof (tree);
ee8a6a3e 1038
aab038d5
RH
1039extern int complete_array_type (tree *, tree, bool);
1040
48ae6c13
RH
1041extern tree builtin_type_for_size (int, bool);
1042
30cd1c5d
AS
1043extern void c_common_mark_addressable_vec (tree);
1044
770e5a2e 1045extern void set_underlying_type (tree);
040d18b6 1046extern void record_types_used_by_current_var_decl (tree);
9771b263
DN
1047extern vec<tree, va_gc> *make_tree_vector (void);
1048extern void release_tree_vector (vec<tree, va_gc> *);
1049extern vec<tree, va_gc> *make_tree_vector_single (tree);
1050extern vec<tree, va_gc> *make_tree_vector_from_list (tree);
f1644724 1051extern vec<tree, va_gc> *make_tree_vector_from_ctor (tree);
9771b263 1052extern vec<tree, va_gc> *make_tree_vector_copy (const vec<tree, va_gc> *);
2a67bec2 1053
793c625f
MG
1054/* Used for communication between c_common_type_for_mode and
1055 c_register_builtin_type. */
1056extern GTY(()) tree registered_builtin_types;
1057
15c98b2e
ES
1058/* Read SOURCE_DATE_EPOCH from environment to have a deterministic
1059 timestamp to replace embedded current dates to get reproducible
1060 results. Returns -1 if SOURCE_DATE_EPOCH is not defined. */
1061extern time_t cb_get_source_date_epoch (cpp_reader *pfile);
1062
1063/* The value (as a unix timestamp) corresponds to date
1064 "Dec 31 9999 23:59:59 UTC", which is the latest date that __DATE__ and
1065 __TIME__ can store. */
1066#define MAX_SOURCE_DATE_EPOCH HOST_WIDE_INT_C (253402300799)
1067
cb18fd07
DM
1068/* Callback for libcpp for offering spelling suggestions for misspelled
1069 directives. */
1070extern const char *cb_get_suggestion (cpp_reader *, const char *,
1071 const char *const *);
1072
88fa5555
DM
1073extern GTY(()) string_concat_db *g_string_concat_db;
1074
e5106e27
DM
1075class substring_loc;
1076extern const char *c_get_substring_location (const substring_loc &substr_loc,
1077 location_t *out_loc);
88fa5555 1078
7c34ced1 1079/* In c-gimplify.c */
6de9cd9a 1080extern void c_genericize (tree);
726a989a 1081extern int c_gimplify_expr (tree *, gimple_seq *, gimple_seq *);
c2255bc4 1082extern tree c_build_bind_expr (location_t, tree, tree);
6de9cd9a 1083
de67c4c3
DM
1084/* In c-lex.c. */
1085extern enum cpp_ttype
1086conflict_marker_get_final_tok_kind (enum cpp_ttype tok1_kind);
1087
c0d578e6 1088/* In c-pch.c */
35b1a6fa 1089extern void pch_init (void);
1efcb8c6 1090extern void pch_cpp_save_state (void);
35b1a6fa
AJ
1091extern int c_common_valid_pch (cpp_reader *pfile, const char *name, int fd);
1092extern void c_common_read_pch (cpp_reader *pfile, const char *name, int fd,
1093 const char *orig);
1094extern void c_common_write_pch (void);
18c81520 1095extern void c_common_no_more_pch (void);
bc4071dd 1096extern void c_common_pch_pragma (cpp_reader *pfile, const char *);
3fd30b88
GK
1097
1098/* In *-checksum.c */
1099extern const unsigned char executable_checksum[16];
c0d578e6 1100
ab442df7
MM
1101/* In c-cppbuiltin.c */
1102extern void builtin_define_std (const char *macro);
35b1a6fa 1103extern void builtin_define_with_value (const char *, const char *, int);
7049e4eb
CB
1104extern void builtin_define_with_int_value (const char *, HOST_WIDE_INT);
1105extern void builtin_define_type_sizeof (const char *, tree);
35b1a6fa 1106extern void c_stddef_cpp_builtins (void);
0e50b624 1107extern void fe_file_change (const line_map_ordinary *);
32129a17
DM
1108extern void c_parse_error (const char *, enum cpp_ttype, tree, unsigned char,
1109 rich_location *richloc);
9d10c9a9
NB
1110
1111/* In c-ppoutput.c */
35b1a6fa
AJ
1112extern void init_pp_output (FILE *);
1113extern void preprocess_file (cpp_reader *);
0e50b624 1114extern void pp_file_change (const line_map_ordinary *);
8e9ea4d7 1115extern void pp_dir_change (cpp_reader *, const char *);
104f8784 1116extern bool check_missing_format_attribute (tree, tree);
17211ab5 1117
953ff289 1118/* In c-omp.c */
acf0174b
JJ
1119struct omp_clause_mask
1120{
1121 inline omp_clause_mask ();
8848828b
JJ
1122 inline omp_clause_mask (uint64_t l);
1123 inline omp_clause_mask (uint64_t l, uint64_t h);
acf0174b
JJ
1124 inline omp_clause_mask &operator &= (omp_clause_mask);
1125 inline omp_clause_mask &operator |= (omp_clause_mask);
1126 inline omp_clause_mask operator ~ () const;
1127 inline omp_clause_mask operator & (omp_clause_mask) const;
1128 inline omp_clause_mask operator | (omp_clause_mask) const;
1129 inline omp_clause_mask operator >> (int);
1130 inline omp_clause_mask operator << (int);
1131 inline bool operator == (omp_clause_mask) const;
acd15a28 1132 inline bool operator != (omp_clause_mask) const;
8848828b 1133 uint64_t low, high;
acf0174b
JJ
1134};
1135
1136inline
1137omp_clause_mask::omp_clause_mask ()
1138{
1139}
1140
1141inline
8848828b 1142omp_clause_mask::omp_clause_mask (uint64_t l)
acf0174b
JJ
1143: low (l), high (0)
1144{
1145}
1146
1147inline
8848828b 1148omp_clause_mask::omp_clause_mask (uint64_t l, uint64_t h)
acf0174b
JJ
1149: low (l), high (h)
1150{
1151}
1152
1153inline omp_clause_mask &
1154omp_clause_mask::operator &= (omp_clause_mask b)
1155{
1156 low &= b.low;
1157 high &= b.high;
1158 return *this;
1159}
1160
1161inline omp_clause_mask &
1162omp_clause_mask::operator |= (omp_clause_mask b)
1163{
1164 low |= b.low;
1165 high |= b.high;
1166 return *this;
1167}
1168
1169inline omp_clause_mask
1170omp_clause_mask::operator ~ () const
1171{
1172 omp_clause_mask ret (~low, ~high);
1173 return ret;
1174}
1175
1176inline omp_clause_mask
1177omp_clause_mask::operator | (omp_clause_mask b) const
1178{
1179 omp_clause_mask ret (low | b.low, high | b.high);
1180 return ret;
1181}
1182
1183inline omp_clause_mask
1184omp_clause_mask::operator & (omp_clause_mask b) const
1185{
1186 omp_clause_mask ret (low & b.low, high & b.high);
1187 return ret;
1188}
1189
1190inline omp_clause_mask
1191omp_clause_mask::operator << (int amount)
1192{
1193 omp_clause_mask ret;
8848828b 1194 if (amount >= 64)
acf0174b
JJ
1195 {
1196 ret.low = 0;
8848828b 1197 ret.high = low << (amount - 64);
acf0174b
JJ
1198 }
1199 else if (amount == 0)
1200 ret = *this;
1201 else
1202 {
1203 ret.low = low << amount;
8848828b 1204 ret.high = (low >> (64 - amount)) | (high << amount);
acf0174b
JJ
1205 }
1206 return ret;
1207}
1208
1209inline omp_clause_mask
1210omp_clause_mask::operator >> (int amount)
1211{
1212 omp_clause_mask ret;
8848828b 1213 if (amount >= 64)
acf0174b 1214 {
8848828b 1215 ret.low = high >> (amount - 64);
acf0174b
JJ
1216 ret.high = 0;
1217 }
1218 else if (amount == 0)
1219 ret = *this;
1220 else
1221 {
8848828b 1222 ret.low = (high << (64 - amount)) | (low >> amount);
acf0174b
JJ
1223 ret.high = high >> amount;
1224 }
1225 return ret;
1226}
1227
1228inline bool
1229omp_clause_mask::operator == (omp_clause_mask b) const
1230{
1231 return low == b.low && high == b.high;
1232}
1233
acd15a28
JJ
1234inline bool
1235omp_clause_mask::operator != (omp_clause_mask b) const
1236{
1237 return low != b.low || high != b.high;
1238}
1239
8848828b 1240#define OMP_CLAUSE_MASK_1 omp_clause_mask (1)
acf0174b
JJ
1241
1242enum c_omp_clause_split
1243{
1244 C_OMP_CLAUSE_SPLIT_TARGET = 0,
1245 C_OMP_CLAUSE_SPLIT_TEAMS,
1246 C_OMP_CLAUSE_SPLIT_DISTRIBUTE,
1247 C_OMP_CLAUSE_SPLIT_PARALLEL,
1248 C_OMP_CLAUSE_SPLIT_FOR,
1249 C_OMP_CLAUSE_SPLIT_SIMD,
1250 C_OMP_CLAUSE_SPLIT_COUNT,
d9a6bd32
JJ
1251 C_OMP_CLAUSE_SPLIT_SECTIONS = C_OMP_CLAUSE_SPLIT_FOR,
1252 C_OMP_CLAUSE_SPLIT_TASKLOOP = C_OMP_CLAUSE_SPLIT_FOR
acf0174b
JJ
1253};
1254
77886428
CP
1255enum c_omp_region_type
1256{
1257 C_ORT_OMP = 1 << 0,
1258 C_ORT_CILK = 1 << 1,
1259 C_ORT_ACC = 1 << 2,
1260 C_ORT_DECLARE_SIMD = 1 << 3,
1d793c34 1261 C_ORT_OMP_DECLARE_SIMD = C_ORT_OMP | C_ORT_DECLARE_SIMD
77886428
CP
1262};
1263
c2255bc4 1264extern tree c_finish_omp_master (location_t, tree);
acf0174b 1265extern tree c_finish_omp_taskgroup (location_t, tree);
d9a6bd32
JJ
1266extern tree c_finish_omp_critical (location_t, tree, tree, tree);
1267extern tree c_finish_omp_ordered (location_t, tree, tree);
c2255bc4 1268extern void c_finish_omp_barrier (location_t);
20906c66 1269extern tree c_finish_omp_atomic (location_t, enum tree_code, enum tree_code,
e01d41e5
JJ
1270 tree, tree, tree, tree, tree, bool, bool,
1271 bool = false);
c2255bc4
AH
1272extern void c_finish_omp_flush (location_t);
1273extern void c_finish_omp_taskwait (location_t);
20906c66 1274extern void c_finish_omp_taskyield (location_t);
acf0174b 1275extern tree c_finish_omp_for (location_t, enum tree_code, tree, tree, tree,
d9a6bd32 1276 tree, tree, tree, tree);
e01d41e5
JJ
1277extern bool c_omp_check_loop_iv (tree, tree, walk_tree_lh);
1278extern bool c_omp_check_loop_iv_exprs (location_t, tree, tree, tree, tree,
1279 walk_tree_lh);
41dbbb37 1280extern tree c_finish_oacc_wait (location_t, tree, tree);
e7ff0319 1281extern tree c_oacc_split_loop_clauses (tree, tree *, bool);
acf0174b
JJ
1282extern void c_omp_split_clauses (location_t, enum tree_code, omp_clause_mask,
1283 tree, tree *);
1284extern tree c_omp_declare_simd_clauses_to_numbers (tree, tree);
1285extern void c_omp_declare_simd_clauses_to_decls (tree, tree);
953ff289
DN
1286extern enum omp_clause_default_kind c_omp_predetermined_sharing (tree);
1287
56300785
JJ
1288/* Return next tree in the chain for chain_next walking of tree nodes. */
1289static inline tree
1290c_tree_chain_next (tree t)
1291{
1292 /* TREE_CHAIN of a type is TYPE_STUB_DECL, which is different
1293 kind of object, never a long chain of nodes. Prefer
1294 TYPE_NEXT_VARIANT for types. */
1295 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_TYPE_COMMON))
1296 return TYPE_NEXT_VARIANT (t);
1297 /* Otherwise, if there is TREE_CHAIN, return it. */
1298 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_COMMON))
1299 return TREE_CHAIN (t);
1300 return NULL;
1301}
1302
0a35513e
AH
1303/* Mask used by tm_stmt_attr. */
1304#define TM_STMT_ATTR_OUTER 2
1305#define TM_STMT_ATTR_ATOMIC 4
1306#define TM_STMT_ATTR_RELAXED 8
1307
0a35513e
AH
1308/* Mask used by tm_attr_to_mask and tm_mask_to_attr. Note that these
1309 are ordered specifically such that more restrictive attributes are
1310 at lower bit positions. This fact is known by the C++ tm attribute
1311 inheritance code such that least bit extraction (mask & -mask) results
1312 in the most restrictive attribute. */
1313#define TM_ATTR_SAFE 1
1314#define TM_ATTR_CALLABLE 2
1315#define TM_ATTR_PURE 4
1316#define TM_ATTR_IRREVOCABLE 8
1317#define TM_ATTR_MAY_CANCEL_OUTER 16
1318
3ce4f9e4
ESR
1319/* A suffix-identifier value doublet that represents user-defined literals
1320 for C++-0x. */
2d7aa578
ESR
1321enum overflow_type {
1322 OT_UNDERFLOW = -1,
1323 OT_NONE,
1324 OT_OVERFLOW
1325};
1326
3ce4f9e4
ESR
1327struct GTY(()) tree_userdef_literal {
1328 struct tree_base base;
1329 tree suffix_id;
1330 tree value;
1331 tree num_string;
2d7aa578 1332 enum overflow_type overflow;
3ce4f9e4
ESR
1333};
1334
1335#define USERDEF_LITERAL_SUFFIX_ID(NODE) \
1336 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->suffix_id)
1337
1338#define USERDEF_LITERAL_VALUE(NODE) \
1339 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->value)
1340
2d7aa578
ESR
1341#define USERDEF_LITERAL_OVERFLOW(NODE) \
1342 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->overflow)
1343
3ce4f9e4
ESR
1344#define USERDEF_LITERAL_NUM_STRING(NODE) \
1345 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->num_string)
1346
1347#define USERDEF_LITERAL_TYPE(NODE) \
1348 (TREE_TYPE (USERDEF_LITERAL_VALUE (NODE)))
1349
2d7aa578
ESR
1350extern tree build_userdef_literal (tree suffix_id, tree value,
1351 enum overflow_type overflow,
1352 tree num_string);
3ce4f9e4 1353
f17a223d 1354extern bool convert_vector_to_array_for_subscript (location_t, tree *, tree);
7edaa4d2 1355
a212e43f
MG
1356/* Possibe cases of scalar_to_vector conversion. */
1357enum stv_conv {
688010ba 1358 stv_error, /* Error occurred. */
a212e43f
MG
1359 stv_nothing, /* Nothing happened. */
1360 stv_firstarg, /* First argument must be expanded. */
1361 stv_secondarg /* Second argument must be expanded. */
1362};
1363
1364extern enum stv_conv scalar_to_vector (location_t loc, enum tree_code code,
1365 tree op0, tree op1, bool);
1366
c02065fc 1367/* In c-cilkplus.c */
c02065fc
AH
1368extern tree c_validate_cilk_plus_loop (tree *, int *, void *);
1369extern bool c_check_cilk_loop (location_t, tree);
1370
36536d79
BI
1371/* These #defines allow users to access different operands of the
1372 array notation tree. */
1373
1374#define ARRAY_NOTATION_CHECK(NODE) TREE_CHECK (NODE, ARRAY_NOTATION_REF)
1375#define ARRAY_NOTATION_ARRAY(NODE) \
1376 TREE_OPERAND (ARRAY_NOTATION_CHECK (NODE), 0)
1377#define ARRAY_NOTATION_START(NODE) \
1378 TREE_OPERAND (ARRAY_NOTATION_CHECK (NODE), 1)
1379#define ARRAY_NOTATION_LENGTH(NODE) \
1380 TREE_OPERAND (ARRAY_NOTATION_CHECK (NODE), 2)
1381#define ARRAY_NOTATION_STRIDE(NODE) \
1382 TREE_OPERAND (ARRAY_NOTATION_CHECK (NODE), 3)
1383
d60f1706
BI
1384/* This structure holds all the scalar values and its appropriate variable
1385 replacment. It is mainly used by the function that pulls all the invariant
1386 parts that should be executed only once, which comes with array notation
1387 expressions. */
1388struct inv_list
1389{
1390 vec<tree, va_gc> *list_values;
1391 vec<tree, va_gc> *replacement;
07a6825b 1392 vec<enum tree_code, va_gc> *additional_tcodes;
d60f1706
BI
1393};
1394
2ce86d2e
BI
1395/* This structure holds all the important components that can be extracted
1396 from an ARRAY_NOTATION_REF expression. It is used to pass array notation
1397 information between the functions that are responsible for expansion. */
1398typedef struct cilkplus_an_parts
1399{
1400 tree value;
1401 tree start;
1402 tree length;
1403 tree stride;
1404 bool is_vector;
1405} an_parts;
1406
1407/* This structure holds the components necessary to create the loop around
1408 the ARRAY_REF that is created using the ARRAY_NOTATION information. */
1409
1410typedef struct cilkplus_an_loop_parts
1411{
1412 tree var; /* Loop induction variable. */
1413 tree incr; /* Loop increment/decrement expression. */
1414 tree cmp; /* Loop condition. */
1415 tree ind_init; /* Initialization of the loop induction variable. */
1416} an_loop_parts;
1417
d60f1706
BI
1418/* In array-notation-common.c. */
1419extern HOST_WIDE_INT extract_sec_implicit_index_arg (location_t, tree);
36536d79
BI
1420extern bool is_sec_implicit_index_fn (tree);
1421extern void array_notation_init_builtins (void);
1422extern struct c_expr fix_array_notation_expr (location_t, enum tree_code,
1423 struct c_expr);
1424extern bool contains_array_notation_expr (tree);
1425extern tree expand_array_notation_exprs (tree);
1426extern tree fix_conditional_array_notations (tree);
1427extern tree find_correct_array_notation_type (tree);
713b46fa 1428extern bool length_mismatch_in_expr_p (location_t, vec<vec<an_parts> >);
d60f1706
BI
1429extern enum built_in_function is_cilkplus_reduce_builtin (tree);
1430extern bool find_rank (location_t, tree, tree, bool, size_t *);
1431extern void extract_array_notation_exprs (tree, bool, vec<tree, va_gc> **);
1432extern void replace_array_notations (tree *, bool, vec<tree, va_gc> *,
1433 vec<tree, va_gc> *);
1434extern tree find_inv_trees (tree *, int *, void *);
1435extern tree replace_inv_trees (tree *, int *, void *);
1436extern tree find_correct_array_notation_type (tree op);
2ce86d2e
BI
1437extern void cilkplus_extract_an_triplets (vec<tree, va_gc> *, size_t, size_t,
1438 vec<vec<an_parts> > *);
1439extern vec <tree, va_gc> *fix_sec_implicit_args
1440 (location_t, vec <tree, va_gc> *, vec<an_loop_parts>, size_t, tree);
fa60eeb9 1441extern bool is_cilkplus_vector_p (tree);
939b37da
BI
1442
1443/* In cilk.c. */
1444extern tree insert_cilk_frame (tree);
1445extern void cilk_init_builtins (void);
12893402
BI
1446extern int gimplify_cilk_spawn (tree *);
1447extern void cilk_install_body_with_frame_cleanup (tree, tree, void *);
939b37da
BI
1448extern bool cilk_detect_spawn_and_unwrap (tree *);
1449extern bool cilk_set_spawn_marker (location_t, tree);
1450extern tree build_cilk_sync (void);
1451extern tree build_cilk_spawn (location_t, tree);
1452extern tree make_cilk_frame (tree);
1453extern tree create_cilk_function_exit (tree, bool, bool);
12893402 1454extern void cilk_outline (tree, tree *, void *);
3af9c5e9 1455extern bool contains_cilk_spawn_stmt (tree);
9a771876 1456extern tree cilk_for_number_of_iterations (tree);
e5e44252
AK
1457extern bool check_no_cilk (tree, const char *, const char *,
1458 location_t loc = UNKNOWN_LOCATION);
1807ffc1 1459extern bool reject_gcc_builtin (const_tree, location_t = UNKNOWN_LOCATION);
e78bede6 1460extern bool valid_array_size_p (location_t, tree, tree);
c3388e62 1461
6bc2bb18
RB
1462extern bool cilk_ignorable_spawn_rhs_op (tree);
1463extern bool cilk_recognize_spawn (tree, tree *);
1464
038b5cc0
MP
1465/* In c-warn.c. */
1466extern void constant_expression_warning (tree);
1467extern void constant_expression_error (tree);
3cd211af 1468extern void overflow_warning (location_t, tree, tree = NULL_TREE);
038b5cc0
MP
1469extern void warn_logical_operator (location_t, enum tree_code, tree,
1470 enum tree_code, tree, enum tree_code, tree);
1471extern void warn_tautological_cmp (location_t, enum tree_code, tree, tree);
1472extern void warn_logical_not_parentheses (location_t, enum tree_code, tree,
1473 tree);
1474extern bool warn_if_unused_value (const_tree, location_t);
1475extern bool strict_aliasing_warning (tree, tree, tree);
1476extern void sizeof_pointer_memaccess_warning (location_t *, tree,
1477 vec<tree, va_gc> *, tree *,
1478 bool (*) (tree, tree));
1479extern void check_main_parameter_types (tree decl);
1480extern void warnings_for_convert_and_check (location_t, tree, tree, tree);
1481extern void c_do_switch_warnings (splay_tree, location_t, tree, tree, bool,
1482 bool);
1483extern void warn_for_omitted_condop (location_t, tree);
4227c9ad 1484extern void warn_for_restrict (unsigned, tree *, unsigned);
038b5cc0
MP
1485
1486/* Places where an lvalue, or modifiable lvalue, may be required.
1487 Used to select diagnostic messages in lvalue_error and
1488 readonly_error. */
1489enum lvalue_use {
1490 lv_assign,
1491 lv_increment,
1492 lv_decrement,
1493 lv_addressof,
1494 lv_asm
1495};
1496
1497extern void lvalue_error (location_t, enum lvalue_use);
1498extern void invalid_indirection_error (location_t, tree, ref_operator);
1499extern void readonly_error (location_t, tree, enum lvalue_use);
1500extern void warn_array_subscript_with_type_char (location_t, tree);
1501extern void warn_about_parentheses (location_t,
1502 enum tree_code,
1503 enum tree_code, tree,
1504 enum tree_code, tree);
1505extern void warn_for_unused_label (tree label);
1506extern void warn_for_div_by_zero (location_t, tree divisor);
1507extern void warn_for_memset (location_t, tree, tree, int);
1508extern void warn_for_sign_compare (location_t,
1509 tree orig_op0, tree orig_op1,
1510 tree op0, tree op1,
1511 tree result_type,
1512 enum tree_code resultcode);
1513extern void do_warn_double_promotion (tree, tree, tree, const char *,
1514 location_t);
1515extern void do_warn_unused_parameter (tree);
1516extern void record_locally_defined_typedef (tree);
1517extern void maybe_record_typedef_use (tree);
1518extern void maybe_warn_unused_local_typedefs (void);
1519extern void maybe_warn_bool_compare (location_t, enum tree_code, tree, tree);
1520extern bool maybe_warn_shift_overflow (location_t, tree, tree);
1521extern void warn_duplicated_cond_add_or_warn (location_t, tree, vec<tree> **);
1522extern bool diagnose_mismatched_attributes (tree, tree);
2ebd93e1 1523extern tree do_warn_duplicated_branches_r (tree *, int *, void *);
3e2becc4
MP
1524extern void warn_for_multistatement_macros (location_t, location_t,
1525 location_t, enum rid);
038b5cc0 1526
b12b1915
MP
1527/* In c-attribs.c. */
1528extern bool attribute_takes_identifier_p (const_tree);
1529extern tree handle_unused_attribute (tree *, tree, tree, int, bool *);
1530extern int parse_tm_stmt_attr (tree, int);
1531extern int tm_attr_to_mask (tree);
1532extern tree tm_mask_to_attr (int);
1533extern tree find_tm_attribute (tree);
1534
56d8ffc1
JG
1535extern enum flt_eval_method
1536excess_precision_mode_join (enum flt_eval_method, enum flt_eval_method);
1537
1538extern int c_flt_eval_method (bool ts18661_p);
45b2222a 1539extern void add_no_sanitize_value (tree node, unsigned int flags);
56d8ffc1 1540
eea77d1f 1541extern void maybe_add_include_fixit (rich_location *, const char *);
62e1c678
DM
1542extern void maybe_suggest_missing_token_insertion (rich_location *richloc,
1543 enum cpp_ttype token_type,
1544 location_t prev_token_loc);
eea77d1f 1545
895aa8e1
DM
1546#if CHECKING_P
1547namespace selftest {
b6f43128
DM
1548 /* Declarations for specific families of tests within c-family,
1549 by source file, in alphabetical order. */
895aa8e1 1550 extern void c_format_c_tests (void);
b6f43128
DM
1551
1552 /* The entrypoint for running all of the above tests. */
1553 extern void c_family_tests (void);
895aa8e1
DM
1554} // namespace selftest
1555#endif /* #if CHECKING_P */
1556
88657302 1557#endif /* ! GCC_C_COMMON_H */