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