1/* Definitions for c-common.cc.
2 Copyright (C) 1987-2023 Free Software Foundation, Inc.
3
4This file is part of GCC.
5
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
8Software Foundation; either version 3, or (at your option) any later
9version.
10
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.
15
16You should have received a copy of the GNU General Public License
17along with GCC; see the file COPYING3. If not see
18<http://www.gnu.org/licenses/>. */
19
20#ifndef GCC_C_COMMON_H
21#define GCC_C_COMMON_H
22
23#include "splay-tree.h"
24#include "cpplib.h"
25#include "alias.h"
26#include "tree.h"
27#include "fold-const.h"
28#include "wide-int-bitmask.h"
29
30/* In order for the format checking to accept the C frontend
31 diagnostic framework extensions, you must include this file before
32 diagnostic-core.h, not after. The C front end formats are a subset of those
33 for C++, so they are the appropriate set to use in common code;
34 cp-tree.h overrides this for C++. */
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
41#ifndef GCC_DIAG_STYLE
42#define GCC_DIAG_STYLE __gcc_cdiag__
43#endif
44#include "diagnostic-core.h"
45
46/* Usage of TREE_LANG_FLAG_?:
47 0: IDENTIFIER_MARKED (used by search routines).
48 C_MAYBE_CONST_EXPR_INT_OPERANDS (in C_MAYBE_CONST_EXPR, for C)
49 1: C_DECLARED_LABEL_FLAG (in LABEL_DECL)
50 STATEMENT_LIST_STMT_EXPR (in STATEMENT_LIST)
51 C_MAYBE_CONST_EXPR_NON_CONST (in C_MAYBE_CONST_EXPR, for C)
52 2: unused
53 3: STATEMENT_LIST_HAS_LABEL (in STATEMENT_LIST)
54 4: unused
55*/
56
57/* Reserved identifiers. This is the union of all the keywords for C,
58 C++, and Objective-C. All the type modifiers have to be in one
59 block at the beginning, because they are used as mask bits. There
60 are 28 type modifiers; if we add many more we will have to redesign
61 the mask mechanism. */
62
63enum rid
64{
65 /* Modifiers: */
66 /* C, in empirical order of frequency. */
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,
71 RID_NORETURN, RID_ATOMIC,
72
73 /* C extensions */
74 RID_COMPLEX, RID_THREAD, RID_SAT,
75
76 /* C++ */
77 RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
78
79 /* ObjC ("PQ" reserved words - they do not appear after a '@' and
80 are keywords only in specific contexts) */
81 RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
82
83 /* ObjC ("PATTR" reserved words - they do not appear after a '@'
84 and are keywords only as property attributes) */
85 RID_GETTER, RID_SETTER,
86 RID_READONLY, RID_READWRITE,
87 RID_ASSIGN, RID_RETAIN, RID_COPY,
88 RID_PROPATOMIC, RID_NONATOMIC,
89
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
95 /* C (reserved and imaginary types not implemented, so any use is a
96 syntax error) */
97 RID_IMAGINARY,
98
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, RID_BITINT,
105
106 /* C extensions */
107 RID_ASM, RID_TYPEOF, RID_TYPEOF_UNQUAL, RID_ALIGNOF, RID_ATTRIBUTE,
108 RID_VA_ARG,
109 RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_CHOOSE_EXPR,
110 RID_TYPES_COMPATIBLE_P, RID_BUILTIN_COMPLEX, RID_BUILTIN_SHUFFLE,
111 RID_BUILTIN_SHUFFLEVECTOR, RID_BUILTIN_CONVERTVECTOR, RID_BUILTIN_TGMATH,
112 RID_BUILTIN_HAS_ATTRIBUTE, RID_BUILTIN_ASSOC_BARRIER,
113 RID_DFLOAT32, RID_DFLOAT64, RID_DFLOAT128,
114
115 /* TS 18661-3 keywords, in the same sequence as the TI_* values. */
116 RID_FLOAT16,
117 RID_FLOATN_NX_FIRST = RID_FLOAT16,
118 RID_FLOAT32,
119 RID_FLOAT64,
120 RID_FLOAT128,
121 RID_FLOAT32X,
122 RID_FLOAT64X,
123 RID_FLOAT128X,
124#define CASE_RID_FLOATN_NX \
125 case RID_FLOAT16: case RID_FLOAT32: case RID_FLOAT64: case RID_FLOAT128: \
126 case RID_FLOAT32X: case RID_FLOAT64X: case RID_FLOAT128X
127
128 RID_FRACT, RID_ACCUM, RID_AUTO_TYPE, RID_BUILTIN_CALL_WITH_STATIC_CHAIN,
129
130 /* "__GIMPLE", for the GIMPLE-parsing extension to the C frontend. */
131 RID_GIMPLE,
132
133 /* "__PHI", for parsing PHI function in GIMPLE FE. */
134 RID_PHI,
135
136 /* "__RTL", for the RTL-parsing extension to the C frontend. */
137 RID_RTL,
138
139 /* C11 */
140 RID_ALIGNAS, RID_GENERIC,
141
142 /* This means to warn that this is a C++ keyword, and then treat it
143 as a normal identifier. */
144 RID_CXX_COMPAT_WARN,
145
146 /* GNU transactional memory extension */
147 RID_TRANSACTION_ATOMIC, RID_TRANSACTION_RELAXED, RID_TRANSACTION_CANCEL,
148
149 /* Too many ways of getting the name of a function as a string */
150 RID_FUNCTION_NAME, RID_PRETTY_FUNCTION_NAME, RID_C99_FUNCTION_NAME,
151
152 /* C++ (some of these are keywords in Objective-C as well, but only
153 if they appear after a '@') */
154 RID_BOOL, RID_WCHAR, RID_CLASS,
155 RID_PUBLIC, RID_PRIVATE, RID_PROTECTED,
156 RID_TEMPLATE, RID_NULL, RID_CATCH,
157 RID_DELETE, RID_FALSE, RID_NAMESPACE,
158 RID_NEW, RID_OFFSETOF, RID_OPERATOR,
159 RID_THIS, RID_THROW, RID_TRUE,
160 RID_TRY, RID_TYPENAME, RID_TYPEID,
161 RID_USING, RID_CHAR16, RID_CHAR32,
162
163 /* casts */
164 RID_CONSTCAST, RID_DYNCAST, RID_REINTCAST, RID_STATCAST,
165
166 /* C++ extensions */
167 RID_ADDRESSOF,
168 RID_BUILTIN_LAUNDER,
169 RID_BUILTIN_BIT_CAST,
170
171#define DEFTRAIT(TCC, CODE, NAME, ARITY) \
172 RID_##CODE,
173#include "cp/cp-trait.def"
174#undef DEFTRAIT
175
176 /* C++11 */
177 RID_CONSTEXPR, RID_DECLTYPE, RID_NOEXCEPT, RID_NULLPTR, RID_STATIC_ASSERT,
178
179 /* C++20 */
180 RID_CONSTINIT, RID_CONSTEVAL,
181
182 /* char8_t */
183 RID_CHAR8,
184
185 /* C++ concepts */
186 RID_CONCEPT, RID_REQUIRES,
187
188 /* C++ modules. */
189 RID__MODULE, RID__IMPORT, RID__EXPORT, /* Internal tokens. */
190
191 /* C++ coroutines */
192 RID_CO_AWAIT, RID_CO_YIELD, RID_CO_RETURN,
193
194 /* C++ transactional memory. */
195 RID_ATOMIC_NOEXCEPT, RID_ATOMIC_CANCEL, RID_SYNCHRONIZED,
196
197 /* Objective-C ("AT" reserved words - they are only keywords when
198 they follow '@') */
199 RID_AT_ENCODE, RID_AT_END,
200 RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
201 RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC, RID_AT_PACKAGE,
202 RID_AT_PROTOCOL, RID_AT_SELECTOR,
203 RID_AT_THROW, RID_AT_TRY, RID_AT_CATCH,
204 RID_AT_FINALLY, RID_AT_SYNCHRONIZED,
205 RID_AT_OPTIONAL, RID_AT_REQUIRED, RID_AT_PROPERTY,
206 RID_AT_SYNTHESIZE, RID_AT_DYNAMIC,
207 RID_AT_INTERFACE,
208 RID_AT_IMPLEMENTATION,
209
210 /* OpenMP */
211 RID_OMP_ALL_MEMORY,
212
213 /* Named address support, mapping the keyword to a particular named address
214 number. Named address space 0 is reserved for the generic address. If
215 there are more than 254 named addresses, the addr_space_t type will need
216 to be grown from an unsigned char to unsigned short. */
217 RID_ADDR_SPACE_0, /* generic address */
218 RID_ADDR_SPACE_1,
219 RID_ADDR_SPACE_2,
220 RID_ADDR_SPACE_3,
221 RID_ADDR_SPACE_4,
222 RID_ADDR_SPACE_5,
223 RID_ADDR_SPACE_6,
224 RID_ADDR_SPACE_7,
225 RID_ADDR_SPACE_8,
226 RID_ADDR_SPACE_9,
227 RID_ADDR_SPACE_10,
228 RID_ADDR_SPACE_11,
229 RID_ADDR_SPACE_12,
230 RID_ADDR_SPACE_13,
231 RID_ADDR_SPACE_14,
232 RID_ADDR_SPACE_15,
233
234 RID_FIRST_ADDR_SPACE = RID_ADDR_SPACE_0,
235 RID_LAST_ADDR_SPACE = RID_ADDR_SPACE_15,
236
237 /* __intN keywords. The _N_M here doesn't correspond to the intN
238 in the keyword; use the bitsize in int_n_t_data_t[M] for that.
239 For example, if int_n_t_data_t[0].bitsize is 13, then RID_INT_N_0
240 is for __int13. */
241
242 /* Note that the range to use is RID_FIRST_INT_N through
243 RID_FIRST_INT_N + NUM_INT_N_ENTS - 1 and c-parser.cc has a list of
244 all RID_INT_N_* in a case statement. */
245
246 RID_INT_N_0,
247 RID_INT_N_1,
248 RID_INT_N_2,
249 RID_INT_N_3,
250
251 RID_FIRST_INT_N = RID_INT_N_0,
252 RID_LAST_INT_N = RID_INT_N_3,
253
254 RID_MAX,
255
256 RID_FIRST_MODIFIER = RID_STATIC,
257 RID_LAST_MODIFIER = RID_ONEWAY,
258
259 RID_FIRST_CXX11 = RID_CONSTEXPR,
260 RID_LAST_CXX11 = RID_STATIC_ASSERT,
261 RID_FIRST_CXX20 = RID_CONSTINIT,
262 RID_LAST_CXX20 = RID_CO_RETURN,
263 RID_FIRST_AT = RID_AT_ENCODE,
264 RID_LAST_AT = RID_AT_IMPLEMENTATION,
265 RID_FIRST_PQ = RID_IN,
266 RID_LAST_PQ = RID_ONEWAY,
267 RID_FIRST_PATTR = RID_GETTER,
268 RID_LAST_PATTR = RID_NULL_RESETTABLE
269};
270
271#define OBJC_IS_AT_KEYWORD(rid) \
272 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_AT && \
273 (unsigned int) (rid) <= (unsigned int) RID_LAST_AT)
274
275#define OBJC_IS_PQ_KEYWORD(rid) \
276 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_PQ && \
277 (unsigned int) (rid) <= (unsigned int) RID_LAST_PQ)
278
279/* Keywords permitted in an @property attribute context. */
280#define OBJC_IS_PATTR_KEYWORD(rid) \
281 ((((unsigned int) (rid) >= (unsigned int) RID_FIRST_PATTR && \
282 (unsigned int) (rid) <= (unsigned int) RID_LAST_PATTR)) \
283 || rid == RID_CLASS)
284
285/* OBJC_IS_CXX_KEYWORD recognizes the 'CXX_OBJC' keywords (such as
286 'class') which are shared in a subtle way between Objective-C and
287 C++. When the lexer is lexing in Objective-C/Objective-C++, if it
288 finds '@' followed by one of these identifiers (eg, '@class'), it
289 recognizes the whole as an Objective-C keyword. If the identifier
290 is found elsewhere, it follows the rules of the C/C++ language.
291 */
292#define OBJC_IS_CXX_KEYWORD(rid) \
293 (rid == RID_CLASS || rid == RID_SYNCHRONIZED \
294 || rid == RID_PUBLIC || rid == RID_PROTECTED || rid == RID_PRIVATE \
295 || rid == RID_TRY || rid == RID_THROW || rid == RID_CATCH)
296
297/* The elements of `ridpointers' are identifier nodes for the reserved
298 type names and storage classes. It is indexed by a RID_... value. */
299extern GTY ((length ("(int) RID_MAX"))) tree *ridpointers;
300
301/* Standard named or nameless data types of the C compiler. */
302
303enum c_tree_index
304{
305 CTI_CHAR8_TYPE,
306 CTI_CHAR16_TYPE,
307 CTI_CHAR32_TYPE,
308 CTI_WCHAR_TYPE,
309 CTI_UNDERLYING_WCHAR_TYPE,
310 CTI_WINT_TYPE,
311 CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
312 CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
313 CTI_INTMAX_TYPE,
314 CTI_UINTMAX_TYPE,
315 CTI_WIDEST_INT_LIT_TYPE,
316 CTI_WIDEST_UINT_LIT_TYPE,
317
318 /* Types for <stdint.h>, that may not be defined on all
319 targets. */
320 CTI_SIG_ATOMIC_TYPE,
321 CTI_INT8_TYPE,
322 CTI_INT16_TYPE,
323 CTI_INT32_TYPE,
324 CTI_INT64_TYPE,
325 CTI_UINT8_TYPE,
326 CTI_UINT16_TYPE,
327 CTI_UINT32_TYPE,
328 CTI_UINT64_TYPE,
329 CTI_INT_LEAST8_TYPE,
330 CTI_INT_LEAST16_TYPE,
331 CTI_INT_LEAST32_TYPE,
332 CTI_INT_LEAST64_TYPE,
333 CTI_UINT_LEAST8_TYPE,
334 CTI_UINT_LEAST16_TYPE,
335 CTI_UINT_LEAST32_TYPE,
336 CTI_UINT_LEAST64_TYPE,
337 CTI_INT_FAST8_TYPE,
338 CTI_INT_FAST16_TYPE,
339 CTI_INT_FAST32_TYPE,
340 CTI_INT_FAST64_TYPE,
341 CTI_UINT_FAST8_TYPE,
342 CTI_UINT_FAST16_TYPE,
343 CTI_UINT_FAST32_TYPE,
344 CTI_UINT_FAST64_TYPE,
345 CTI_INTPTR_TYPE,
346 CTI_UINTPTR_TYPE,
347
348 CTI_CHAR_ARRAY_TYPE,
349 CTI_CHAR8_ARRAY_TYPE,
350 CTI_CHAR16_ARRAY_TYPE,
351 CTI_CHAR32_ARRAY_TYPE,
352 CTI_WCHAR_ARRAY_TYPE,
353 CTI_STRING_TYPE,
354 CTI_CONST_STRING_TYPE,
355
356 /* Type for boolean expressions (bool in C++, int in C). */
357 CTI_TRUTHVALUE_TYPE,
358 CTI_TRUTHVALUE_TRUE,
359 CTI_TRUTHVALUE_FALSE,
360
361 CTI_DEFAULT_FUNCTION_TYPE,
362
363 CTI_NULL,
364 CTI_NULLPTR,
365 CTI_NULLPTR_TYPE,
366
367 /* These are not types, but we have to look them up all the time. */
368 CTI_FUNCTION_NAME_DECL,
369 CTI_PRETTY_FUNCTION_NAME_DECL,
370 CTI_C99_FUNCTION_NAME_DECL,
371
372 CTI_MODULE_HWM,
373 /* Below here entities change during compilation. */
374
375 CTI_SAVED_FUNCTION_NAME_DECLS,
376
377 CTI_MAX
378};
379
380#define C_CPP_HASHNODE(id) \
381 (&(((struct c_common_identifier *) (id))->node))
382#define C_RID_CODE(id) \
383 ((enum rid) (((struct c_common_identifier *) (id))->node.rid_code))
384#define C_SET_RID_CODE(id, code) \
385 (((struct c_common_identifier *) (id))->node.rid_code = (unsigned char) code)
386
387/* Identifier part common to the C front ends. Inherits from
388 tree_identifier, despite appearances. */
389struct GTY(()) c_common_identifier {
390 struct tree_common common;
391 struct cpp_hashnode node;
392};
393
394/* An entry in the reserved keyword table. */
395
396struct c_common_resword
397{
398 const char *const word;
399 ENUM_BITFIELD(rid) const rid : 16;
400 const unsigned int disable : 32;
401};
402
403/* Mode used to build pointers (VOIDmode means ptr_mode). */
404
405extern machine_mode c_default_pointer_mode;
406
407/* Extra cpp_ttype values for C++. */
408
409/* A token type for template-ids. If a template-id is processed while
410 parsing tentatively, it is replaced with a CPP_TEMPLATE_ID token;
411 the value of the CPP_TEMPLATE_ID is whatever was returned by
412 cp_parser_template_id. */
413#define CPP_TEMPLATE_ID ((enum cpp_ttype) (CPP_KEYWORD + 1))
414
415/* A token type for nested-name-specifiers. If a
416 nested-name-specifier is processed while parsing tentatively, it is
417 replaced with a CPP_NESTED_NAME_SPECIFIER token; the value of the
418 CPP_NESTED_NAME_SPECIFIER is whatever was returned by
419 cp_parser_nested_name_specifier_opt. */
420#define CPP_NESTED_NAME_SPECIFIER ((enum cpp_ttype) (CPP_TEMPLATE_ID + 1))
421
422/* A token type for pre-parsed C++0x decltype. */
423#define CPP_DECLTYPE ((enum cpp_ttype) (CPP_NESTED_NAME_SPECIFIER + 1))
424
425/* A token type for pre-parsed primary-expression (lambda- or statement-). */
426#define CPP_PREPARSED_EXPR ((enum cpp_ttype) (CPP_DECLTYPE + 1))
427
428/* The number of token types, including C++-specific ones. */
429#define N_CP_TTYPES ((int) (CPP_PREPARSED_EXPR + 1))
430
431/* Disable mask. Keywords are disabled if (reswords[i].disable &
432 mask) is _true_. Thus for keywords which are present in all
433 languages the disable field is zero. */
434
435#define D_CONLY 0x0001 /* C only (not in C++). */
436#define D_CXXONLY 0x0002 /* C++ only (not in C). */
437#define D_C99 0x0004 /* In C, C99 only. */
438#define D_C23 0x0008 /* In C, C23 only. */
439#define D_CXX11 0x0010 /* In C++, C++11 only. */
440#define D_EXT 0x0020 /* GCC extension. */
441#define D_EXT89 0x0040 /* GCC extension incorporated in C99. */
442#define D_EXT11 0x0080 /* GCC extension incorporated in C23. */
443#define D_ASM 0x0100 /* Disabled by -fno-asm. */
444#define D_OBJC 0x0200 /* In Objective C and neither C nor C++. */
445#define D_CXX_OBJC 0x0400 /* In Objective C, and C++, but not C. */
446#define D_CXXWARN 0x0800 /* In C warn with -Wcxx-compat. */
447#define D_CXX_CONCEPTS 0x1000 /* In C++, only with concepts. */
448#define D_TRANSMEM 0x2000 /* C++ transactional memory TS. */
449#define D_CXX_CHAR8_T 0x4000 /* In C++, only with -fchar8_t. */
450#define D_CXX20 0x8000 /* In C++, C++20 only. */
451#define D_CXX_COROUTINES 0x10000 /* In C++, only with coroutines. */
452#define D_CXX_MODULES 0x20000 /* In C++, only with modules. */
453
454#define D_CXX_CONCEPTS_FLAGS D_CXXONLY | D_CXX_CONCEPTS
455#define D_CXX_CHAR8_T_FLAGS D_CXXONLY | D_CXX_CHAR8_T
456#define D_CXX_MODULES_FLAGS (D_CXXONLY | D_CXX_MODULES)
457#define D_CXX_COROUTINES_FLAGS (D_CXXONLY | D_CXX_COROUTINES)
458
459/* The reserved keyword table. */
460extern const struct c_common_resword c_common_reswords[];
461
462/* The number of items in the reserved keyword table. */
463extern const unsigned int num_c_common_reswords;
464
465#define char8_type_node c_global_trees[CTI_CHAR8_TYPE]
466#define char16_type_node c_global_trees[CTI_CHAR16_TYPE]
467#define char32_type_node c_global_trees[CTI_CHAR32_TYPE]
468#define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
469#define underlying_wchar_type_node c_global_trees[CTI_UNDERLYING_WCHAR_TYPE]
470#define wint_type_node c_global_trees[CTI_WINT_TYPE]
471#define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
472#define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
473#define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
474#define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
475#define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
476#define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
477
478#define sig_atomic_type_node c_global_trees[CTI_SIG_ATOMIC_TYPE]
479#define int8_type_node c_global_trees[CTI_INT8_TYPE]
480#define int16_type_node c_global_trees[CTI_INT16_TYPE]
481#define int32_type_node c_global_trees[CTI_INT32_TYPE]
482#define int64_type_node c_global_trees[CTI_INT64_TYPE]
483#define uint8_type_node c_global_trees[CTI_UINT8_TYPE]
484#define c_uint16_type_node c_global_trees[CTI_UINT16_TYPE]
485#define c_uint32_type_node c_global_trees[CTI_UINT32_TYPE]
486#define c_uint64_type_node c_global_trees[CTI_UINT64_TYPE]
487#define int_least8_type_node c_global_trees[CTI_INT_LEAST8_TYPE]
488#define int_least16_type_node c_global_trees[CTI_INT_LEAST16_TYPE]
489#define int_least32_type_node c_global_trees[CTI_INT_LEAST32_TYPE]
490#define int_least64_type_node c_global_trees[CTI_INT_LEAST64_TYPE]
491#define uint_least8_type_node c_global_trees[CTI_UINT_LEAST8_TYPE]
492#define uint_least16_type_node c_global_trees[CTI_UINT_LEAST16_TYPE]
493#define uint_least32_type_node c_global_trees[CTI_UINT_LEAST32_TYPE]
494#define uint_least64_type_node c_global_trees[CTI_UINT_LEAST64_TYPE]
495#define int_fast8_type_node c_global_trees[CTI_INT_FAST8_TYPE]
496#define int_fast16_type_node c_global_trees[CTI_INT_FAST16_TYPE]
497#define int_fast32_type_node c_global_trees[CTI_INT_FAST32_TYPE]
498#define int_fast64_type_node c_global_trees[CTI_INT_FAST64_TYPE]
499#define uint_fast8_type_node c_global_trees[CTI_UINT_FAST8_TYPE]
500#define uint_fast16_type_node c_global_trees[CTI_UINT_FAST16_TYPE]
501#define uint_fast32_type_node c_global_trees[CTI_UINT_FAST32_TYPE]
502#define uint_fast64_type_node c_global_trees[CTI_UINT_FAST64_TYPE]
503#define intptr_type_node c_global_trees[CTI_INTPTR_TYPE]
504#define uintptr_type_node c_global_trees[CTI_UINTPTR_TYPE]
505
506#define truthvalue_type_node c_global_trees[CTI_TRUTHVALUE_TYPE]
507#define truthvalue_true_node c_global_trees[CTI_TRUTHVALUE_TRUE]
508#define truthvalue_false_node c_global_trees[CTI_TRUTHVALUE_FALSE]
509
510#define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
511#define char8_array_type_node c_global_trees[CTI_CHAR8_ARRAY_TYPE]
512#define char16_array_type_node c_global_trees[CTI_CHAR16_ARRAY_TYPE]
513#define char32_array_type_node c_global_trees[CTI_CHAR32_ARRAY_TYPE]
514#define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
515#define string_type_node c_global_trees[CTI_STRING_TYPE]
516#define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
517
518#define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
519
520#define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
521#define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
522#define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
523#define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
524
525/* The node for C++ `__null'. */
526#define null_node c_global_trees[CTI_NULL]
527/* The nodes for `nullptr'. */
528#define nullptr_node c_global_trees[CTI_NULLPTR]
529#define nullptr_type_node c_global_trees[CTI_NULLPTR_TYPE]
530
531extern GTY(()) tree c_global_trees[CTI_MAX];
532
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
537enum c_language_kind
538{
539 clk_c = 0, /* C90, C94, C99, C11 or C23 */
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. */
543};
544
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
549#define c_dialect_cxx() ((c_language & clk_cxx) != 0)
550#define c_dialect_objc() ((c_language & clk_objc) != 0)
551
552/* The various name of operator that appears in error messages. */
553enum ref_operator {
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 */
563 RO_IMPLICIT_CONVERSION,
564 /* ->* */
565 RO_ARROW_STAR
566};
567
568/* Information about a statement tree. */
569
570struct GTY(()) stmt_tree_s {
571 /* A stack of statement lists being collected. */
572 vec<tree, va_gc> *x_cur_stmt_list;
573
574 /* In C++, Nonzero if we should treat statements as full
575 expressions. In particular, this variable is non-zero if at the
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
579 variable is nonzero, since those are the normal semantics of
580 C++.
581
582 This flag has no effect in C. */
583 int stmts_are_full_exprs_p;
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
591struct GTY(()) c_language_function {
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;
595
596 /* Vector of locally defined typedefs, for
597 -Wunused-local-typedefs. */
598 vec<tree, va_gc> *local_typedefs;
599};
600
601#define stmt_list_stack (current_stmt_tree ()->x_cur_stmt_list)
602
603/* When building a statement-tree, this is the current statement list
604 being collected. */
605#define cur_stmt_list (stmt_list_stack->last ())
606
607#define building_stmt_list_p() (stmt_list_stack && !stmt_list_stack->is_empty())
608
609/* Language-specific hooks. */
610
611/* If non-NULL, this function is called after a precompile header file
612 is loaded. */
613extern void (*lang_post_pch_load) (void);
614
615extern void push_file_scope (void);
616extern void pop_file_scope (void);
617extern stmt_tree current_stmt_tree (void);
618extern tree push_stmt_list (void);
619extern tree pop_stmt_list (tree);
620extern tree add_stmt (tree);
621extern void push_cleanup (tree, tree, bool);
622
623extern tree build_modify_expr (location_t, tree, tree, enum tree_code,
624 location_t, tree, tree);
625extern tree build_indirect_ref (location_t, tree, ref_operator);
626
627extern bool has_c_linkage (const_tree decl);
628extern bool c_decl_implicit (const_tree);
629
630/* Switches common to the C front ends. */
631
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
641/* Nonzero means dump macros in some fashion; contains the 'D', 'M',
642 'N' or 'U' of the command line switch. */
643
644extern char flag_dump_macros;
645
646/* Nonzero means pass #include lines through to the output. */
647
648extern char flag_dump_includes;
649
650/* Nonzero means process PCH files while preprocessing. */
651
652extern bool flag_pch_preprocess;
653
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
659/* Nonzero if an ISO standard was selected. It rejects macros in the
660 user's namespace. */
661
662extern int flag_iso;
663
664/* C/ObjC language option variables. */
665
666
667/* Nonzero means allow type mismatches in conditional expressions;
668 just make their values `void'. */
669
670extern int flag_cond_mismatch;
671
672/* Nonzero means enable C89 Amendment 1 features. */
673
674extern int flag_isoc94;
675
676/* Nonzero means use the ISO C99 (or later) dialect of C. */
677
678extern int flag_isoc99;
679
680/* Nonzero means use the ISO C11 (or later) dialect of C. */
681
682extern int flag_isoc11;
683
684/* Nonzero means use the ISO C23 dialect of C. */
685
686extern int flag_isoc23;
687
688/* Nonzero means that we have builtin functions, and main is an int. */
689
690extern int flag_hosted;
691
692/* ObjC language option variables. */
693
694
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
701/* Tells the compiler what is the constant string class for ObjC. */
702
703extern const char *constant_string_class_name;
704
705
706/* C++ language option variables. */
707
708/* The reference version of the ABI for -Wabi. */
709
710extern int warn_abi_version;
711
712/* Return TRUE if one of {flag_abi_version,flag_abi_compat_version} is
713 less than N and the other is at least N. */
714#define abi_compat_version_crosses(N) \
715 (abi_version_at_least(N) \
716 != (flag_abi_compat_version == 0 \
717 || flag_abi_compat_version >= (N)))
718
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
726/* The supported C++ dialects. */
727
728enum cxx_dialect {
729 cxx_unset,
730 /* C++98 with TC1 */
731 cxx98,
732 cxx03 = cxx98,
733 /* C++11 */
734 cxx0x,
735 cxx11 = cxx0x,
736 /* C++14 */
737 cxx14,
738 /* C++17 */
739 cxx17,
740 /* C++20 */
741 cxx20,
742 /* C++23 */
743 cxx23,
744 /* C++26 */
745 cxx26
746};
747
748/* The C++ dialect being used. C++98 is the default. */
749extern enum cxx_dialect cxx_dialect;
750
751/* Maximum template instantiation depth. This limit is rather
752 arbitrary, but it exists to limit the time it takes to notice
753 excessively recursive template instantiations. */
754
755extern int max_tinst_depth;
756
757/* Nonzero means that we should not issue warnings about problems that
758 occur when the code is executed, because the code being processed
759 is not expected to be executed. This is set during parsing. This
760 is used for cases like sizeof() and "0 ? a : b". This is a count,
761 not a bool, because unexecuted expressions can nest. */
762
763extern int c_inhibit_evaluation_warnings;
764
765/* Depending on which phase of processing we are in, we may need
766 to prefer input_location to libcpp's locations. (Specifically,
767 after the C++ lexer is done lexing tokens, but prior to calling
768 cpp_finish (), we need to do so. */
769
770extern bool override_libcpp_locations;
771
772/* C types are partitioned into three subsets: object, function, and
773 incomplete types. */
774#define C_TYPE_OBJECT_P(type) \
775 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
776
777#define C_TYPE_INCOMPLETE_P(type) \
778 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
779
780#define C_TYPE_FUNCTION_P(type) \
781 (TREE_CODE (type) == FUNCTION_TYPE)
782
783/* For convenience we define a single macro to identify the class of
784 object or incomplete types. */
785#define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
786 (!C_TYPE_FUNCTION_P (type))
787
788/* Return true if TYPE is a vector type that should be subject to the GNU
789 vector extensions (as opposed to a vector type that is used only for
790 the purposes of defining target-specific built-in functions). */
791
792inline bool
793gnu_vector_type_p (const_tree type)
794{
795 return VECTOR_TYPE_P (type) && !TYPE_INDIVISIBLE_P (type);
796}
797
798struct visibility_flags
799{
800 unsigned inpragma : 1; /* True when in #pragma GCC visibility. */
801 unsigned inlines_hidden : 1; /* True when -finlineshidden in effect. */
802};
803
804/* These enumerators are possible types of unsafe conversions. */
805enum conversion_safety {
806 /* The conversion is safe. */
807 SAFE_CONVERSION = 0,
808 /* Another type of conversion with problems. */
809 UNSAFE_OTHER,
810 /* Conversion between signed and unsigned integers. */
811 UNSAFE_SIGN,
812 /* Conversions that reduce the precision of reals including conversions
813 from reals to integers. */
814 UNSAFE_REAL,
815 /* Conversions from complex to reals or integers, that discard imaginary
816 component. */
817 UNSAFE_IMAGINARY
818};
819
820/* Global visibility options. */
821extern struct visibility_flags visibility_options;
822
823/* Attribute table common to the C front ends. */
824extern const struct attribute_spec c_common_attribute_table[];
825extern const struct attribute_spec c_common_format_attribute_table[];
826
827/* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
828 ID is the identifier to use, NAME is the string.
829 TYPE_DEP indicates whether it depends on type of the function or not
830 (i.e. __PRETTY_FUNCTION__). */
831
832extern tree (*make_fname_decl) (location_t, tree, int);
833
834/* In c-decl.cc and cp/tree.cc. FIXME. */
835extern void c_register_addr_space (const char *str, addr_space_t as);
836
837/* In c-common.cc. */
838extern bool in_late_binary_op;
839extern const char *c_addr_space_name (addr_space_t as);
840extern tree identifier_global_value (tree);
841extern tree identifier_global_tag (tree);
842extern bool names_builtin_p (const char *);
843extern tree c_linkage_bindings (tree);
844extern void record_builtin_type (enum rid, const char *, tree);
845extern void start_fname_decls (void);
846extern void finish_fname_decls (void);
847extern const char *fname_as_string (int);
848extern tree fname_decl (location_t, unsigned, tree);
849
850extern int check_user_alignment (const_tree, bool, bool);
851extern bool check_function_arguments (location_t loc, const_tree, const_tree,
852 int, tree *, vec<location_t> *);
853extern void check_function_arguments_recurse (void (*)
854 (void *, tree,
855 unsigned HOST_WIDE_INT),
856 void *, tree,
857 unsigned HOST_WIDE_INT,
858 opt_code);
859extern bool check_builtin_function_arguments (location_t, vec<location_t>,
860 tree, tree, int, tree *);
861extern void check_function_format (const_tree, tree, int, tree *,
862 vec<location_t> *);
863extern bool attribute_fallthrough_p (tree);
864extern tree handle_format_attribute (tree *, tree, tree, int, bool *);
865extern tree handle_format_arg_attribute (tree *, tree, tree, int, bool *);
866extern bool c_common_handle_option (size_t, const char *, HOST_WIDE_INT, int,
867 location_t,
868 const struct cl_option_handlers *);
869extern bool default_handle_c_option (size_t, const char *, int);
870extern tree c_common_type_for_mode (machine_mode, int);
871extern tree c_common_type_for_size (unsigned int, int);
872extern tree c_common_fixed_point_type_for_size (unsigned int, unsigned int,
873 int, int);
874extern tree c_common_unsigned_type (tree);
875extern tree c_common_signed_type (tree);
876extern tree c_common_signed_or_unsigned_type (int, tree);
877extern void c_common_init_ts (void);
878extern tree c_build_bitfield_integer_type (unsigned HOST_WIDE_INT, int);
879extern enum conversion_safety unsafe_conversion_p (tree, tree, tree, bool);
880extern bool decl_with_nonnull_addr_p (const_tree);
881extern tree c_fully_fold (tree, bool, bool *, bool = false);
882extern tree c_wrap_maybe_const (tree, bool);
883extern tree c_common_truthvalue_conversion (location_t, tree);
884extern void c_apply_type_quals_to_decl (int, tree);
885extern tree c_sizeof_or_alignof_type (location_t, tree, bool, bool, int);
886extern tree c_alignof_expr (location_t, tree);
887/* Print an error message for invalid operands to arith operation CODE.
888 NOP_EXPR is used as a special case (see truthvalue_conversion). */
889extern void binary_op_error (rich_location *, enum tree_code, tree, tree);
890extern tree fix_string_type (tree);
891extern tree convert_and_check (location_t, tree, tree, bool = false);
892extern bool c_determine_visibility (tree);
893extern bool vector_types_compatible_elements_p (tree, tree);
894extern void mark_valid_location_for_stdc_pragma (bool);
895extern bool valid_location_for_stdc_pragma_p (void);
896extern void set_float_const_decimal64 (void);
897extern void clear_float_const_decimal64 (void);
898extern bool float_const_decimal64_p (void);
899
900extern bool keyword_begins_type_specifier (enum rid);
901extern bool keyword_is_storage_class_specifier (enum rid);
902extern bool keyword_is_type_qualifier (enum rid);
903extern bool keyword_is_decl_specifier (enum rid);
904extern unsigned max_align_t_align (void);
905extern bool cxx_fundamental_alignment_p (unsigned);
906extern bool pointer_to_zero_sized_aggr_p (tree);
907extern bool bool_promoted_to_int_p (tree);
908extern tree fold_for_warn (tree);
909extern tree c_common_get_narrower (tree, int *);
910extern bool get_attribute_operand (tree, unsigned HOST_WIDE_INT *);
911extern void c_common_finalize_early_debug (void);
912extern unsigned int c_strict_flex_array_level_of (tree);
913extern bool c_option_is_from_cpp_diagnostics (int);
914
915/* Used by convert_and_check; in front ends. */
916extern tree convert_init (tree, tree);
917
918#define c_sizeof(LOC, T) c_sizeof_or_alignof_type (LOC, T, true, false, 1)
919#define c_alignof(LOC, T) c_sizeof_or_alignof_type (LOC, T, false, false, 1)
920
921/* Subroutine of build_binary_op, used for certain operations. */
922extern tree shorten_binary_op (tree result_type, tree op0, tree op1, bool bitwise);
923
924/* Return true if division or modulo op0 / op1 or op0 % op1 may be shortened.
925 We can shorten only if we can guarantee that op0 is not signed integral
926 minimum or op1 is not -1, because e.g. (long long) INT_MIN / -1 is
927 well defined INT_MAX + 1LL if long long is wider than int, but INT_MIN / -1
928 is UB. */
929inline bool
930may_shorten_divmod (tree op0, tree op1)
931{
932 tree type0 = TREE_TYPE (op0);
933 if (TYPE_UNSIGNED (type0))
934 return true;
935 /* A cast from narrower unsigned won't be signed integral minimum,
936 but cast from same or wider precision unsigned could be. */
937 if (TREE_CODE (op0) == NOP_EXPR
938 && INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (op0, 0)))
939 && TYPE_UNSIGNED (TREE_TYPE (TREE_OPERAND (op0, 0)))
940 && (TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (op0, 0)))
941 < TYPE_PRECISION (type0)))
942 return true;
943 if (TREE_CODE (op1) == INTEGER_CST && !integer_all_onesp (op1))
944 return true;
945 return false;
946}
947
948/* Subroutine of build_binary_op, used for comparison operations.
949 See if the operands have both been converted from subword integer types
950 and, if so, perhaps change them both back to their original type. */
951extern tree shorten_compare (location_t, tree *, tree *, tree *,
952 enum tree_code *);
953
954extern tree pointer_int_sum (location_t, enum tree_code, tree, tree,
955 bool = true);
956
957/* Add qualifiers to a type, in the fashion for C. */
958extern tree c_build_qualified_type (tree, int, tree = NULL_TREE, size_t = 0);
959
960/* Build tree nodes and builtin functions common to both C and C++ language
961 frontends. */
962extern void c_common_nodes_and_builtins (void);
963
964extern void disable_builtin_function (const char *);
965
966extern void set_compound_literal_name (tree decl);
967
968extern tree build_va_arg (location_t, tree, tree);
969
970extern const unsigned int c_family_lang_mask;
971extern unsigned int c_common_option_lang_mask (void);
972extern void c_common_diagnostics_set_defaults (diagnostic_context *);
973extern bool c_common_complain_wrong_lang_p (const struct cl_option *);
974extern void c_common_init_options_struct (struct gcc_options *);
975extern void c_common_init_options (unsigned int, struct cl_decoded_option *);
976extern bool c_common_post_options (const char **);
977extern bool c_common_init (void);
978extern void c_common_finish (void);
979extern void c_common_parse_file (void);
980extern alias_set_type c_common_get_alias_set (tree);
981extern void c_register_builtin_type (tree, const char*);
982extern bool c_promoting_integer_type_p (const_tree);
983extern bool self_promoting_args_p (const_tree);
984extern tree strip_pointer_operator (tree);
985extern tree strip_pointer_or_array_types (tree);
986extern HOST_WIDE_INT c_common_to_target_charset (HOST_WIDE_INT);
987
988/* This is the basic parsing function. */
989extern void c_parse_file (void);
990
991extern void c_parse_final_cleanups (void);
992
993/* This initializes for preprocess-only mode. */
994extern void c_init_preprocess (void);
995
996/* These macros provide convenient access to the various _STMT nodes. */
997
998/* Nonzero if a given STATEMENT_LIST represents the outermost binding
999 if a statement expression. */
1000#define STATEMENT_LIST_STMT_EXPR(NODE) \
1001 TREE_LANG_FLAG_1 (STATEMENT_LIST_CHECK (NODE))
1002
1003/* Nonzero if a label has been added to the statement list. */
1004#define STATEMENT_LIST_HAS_LABEL(NODE) \
1005 TREE_LANG_FLAG_3 (STATEMENT_LIST_CHECK (NODE))
1006
1007/* C_MAYBE_CONST_EXPR accessors. */
1008#define C_MAYBE_CONST_EXPR_PRE(NODE) \
1009 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 0)
1010#define C_MAYBE_CONST_EXPR_EXPR(NODE) \
1011 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 1)
1012#define C_MAYBE_CONST_EXPR_INT_OPERANDS(NODE) \
1013 TREE_LANG_FLAG_0 (C_MAYBE_CONST_EXPR_CHECK (NODE))
1014#define C_MAYBE_CONST_EXPR_NON_CONST(NODE) \
1015 TREE_LANG_FLAG_1 (C_MAYBE_CONST_EXPR_CHECK (NODE))
1016#define EXPR_INT_CONST_OPERANDS(EXPR) \
1017 (INTEGRAL_TYPE_P (TREE_TYPE (EXPR)) \
1018 && (TREE_CODE (EXPR) == INTEGER_CST \
1019 || (TREE_CODE (EXPR) == C_MAYBE_CONST_EXPR \
1020 && C_MAYBE_CONST_EXPR_INT_OPERANDS (EXPR))))
1021
1022/* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
1023#define DECL_C_BIT_FIELD(NODE) \
1024 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
1025#define SET_DECL_C_BIT_FIELD(NODE) \
1026 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
1027#define CLEAR_DECL_C_BIT_FIELD(NODE) \
1028 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
1029
1030/* True if the decl was an unnamed bitfield. */
1031#define DECL_UNNAMED_BIT_FIELD(NODE) \
1032 (DECL_C_BIT_FIELD (NODE) && !DECL_NAME (NODE))
1033
1034/* True iff TYPE is cv decltype(nullptr). */
1035#define NULLPTR_TYPE_P(TYPE) (TREE_CODE (TYPE) == NULLPTR_TYPE)
1036
1037/* Returns the underlying type of the given enumeration type. The
1038 underlying type is determined in different ways, depending on the
1039 properties of the enum:
1040
1041 - In C++0x or C23, the underlying type can be explicitly specified, e.g.,
1042
1043 enum E1 : char { ... } // underlying type is char
1044
1045 - In a C++0x scoped enumeration, the underlying type is int
1046 unless otherwises specified:
1047
1048 enum class E2 { ... } // underlying type is int
1049
1050 - Otherwise, the underlying type is determined based on the
1051 values of the enumerators. In this case, the
1052 ENUM_UNDERLYING_TYPE will not be set until after the definition
1053 of the enumeration is completed by finish_enum. */
1054#define ENUM_UNDERLYING_TYPE(TYPE) \
1055 TREE_TYPE (ENUMERAL_TYPE_CHECK (TYPE))
1056
1057/* Determines whether an ENUMERAL_TYPE has an explicit
1058 underlying type. */
1059#define ENUM_FIXED_UNDERLYING_TYPE_P(NODE) (TYPE_LANG_FLAG_5 (NODE))
1060
1061extern tree do_case (location_t, tree, tree, tree);
1062extern tree build_stmt (location_t, enum tree_code, ...);
1063extern tree build_real_imag_expr (location_t, enum tree_code, tree);
1064
1065/* These functions must be defined by each front-end which implements
1066 a variant of the C language. They are used in c-common.cc. */
1067
1068extern tree build_unary_op (location_t, enum tree_code, tree, bool);
1069extern tree build_binary_op (location_t, enum tree_code, tree, tree, bool);
1070extern tree perform_integral_promotions (tree);
1071
1072/* These functions must be defined by each front-end which implements
1073 a variant of the C language. They are used by port files. */
1074
1075extern tree default_conversion (tree);
1076
1077/* Given two integer or real types, return the type for their sum.
1078 Given two compatible ANSI C types, returns the merged type. */
1079
1080extern tree common_type (tree, tree);
1081
1082extern tree decl_constant_value (tree);
1083
1084/* Handle increment and decrement of boolean types. */
1085extern tree boolean_increment (enum tree_code, tree);
1086
1087extern int case_compare (splay_tree_key, splay_tree_key);
1088
1089extern tree c_add_case_label (location_t, splay_tree, tree, tree, tree,
1090 tree = NULL_TREE);
1091extern bool c_switch_covers_all_cases_p (splay_tree, tree);
1092extern bool c_block_may_fallthru (const_tree);
1093
1094extern tree build_function_call (location_t, tree, tree);
1095
1096extern tree build_function_call_vec (location_t, vec<location_t>, tree,
1097 vec<tree, va_gc> *, vec<tree, va_gc> *,
1098 tree = NULL_TREE);
1099
1100extern tree resolve_overloaded_builtin (location_t, tree, vec<tree, va_gc> *);
1101
1102extern tree finish_label_address_expr (tree, location_t);
1103
1104/* Same function prototype, but the C and C++ front ends have
1105 different implementations. Used in c-common.cc. */
1106extern tree lookup_label (tree);
1107extern tree lookup_name (tree);
1108extern bool lvalue_p (const_tree);
1109extern int maybe_adjust_arg_pos_for_attribute (const_tree);
1110extern bool instantiation_dependent_expression_p (tree);
1111
1112extern bool vector_targets_convertible_p (const_tree t1, const_tree t2);
1113extern bool vector_types_convertible_p (const_tree t1, const_tree t2, bool emit_lax_note);
1114extern tree c_build_vec_perm_expr (location_t, tree, tree, tree, bool = true);
1115extern tree c_build_shufflevector (location_t, tree, tree,
1116 const vec<tree> &, bool = true);
1117extern tree c_build_vec_convert (location_t, tree, location_t, tree, bool = true);
1118
1119extern void init_c_lex (void);
1120
1121extern void c_cpp_builtins (cpp_reader *);
1122extern void c_cpp_builtins_optimize_pragma (cpp_reader *, tree, tree);
1123extern bool c_cpp_diagnostic (cpp_reader *, enum cpp_diagnostic_level,
1124 enum cpp_warning_reason, rich_location *,
1125 const char *, va_list *)
1126 ATTRIBUTE_GCC_DIAG(5,0);
1127extern int c_common_has_attribute (cpp_reader *, bool);
1128extern int c_common_has_builtin (cpp_reader *);
1129
1130extern bool parse_optimize_options (tree, bool);
1131
1132/* Positive if an implicit `extern "C"' scope has just been entered;
1133 negative if such a scope has just been exited. */
1134extern GTY(()) int pending_lang_change;
1135
1136/* Information recorded about each file examined during compilation. */
1137
1138struct c_fileinfo
1139{
1140 int time; /* Time spent in the file. */
1141
1142 /* Flags used only by C++.
1143 INTERFACE_ONLY nonzero means that we are in an "interface" section
1144 of the compiler. INTERFACE_UNKNOWN nonzero means we cannot trust
1145 the value of INTERFACE_ONLY. If INTERFACE_UNKNOWN is zero and
1146 INTERFACE_ONLY is zero, it means that we are responsible for
1147 exporting definitions that others might need. */
1148 short interface_only;
1149 short interface_unknown;
1150};
1151
1152struct c_fileinfo *get_fileinfo (const char *);
1153extern void dump_time_statistics (void);
1154
1155extern bool c_dump_tree (void *, tree);
1156
1157extern void verify_sequence_points (tree);
1158
1159extern tree fold_offsetof (tree, tree = size_type_node,
1160 tree_code ctx = ERROR_MARK);
1161
1162extern int complete_array_type (tree *, tree, bool);
1163extern void complete_flexible_array_elts (tree);
1164
1165extern tree builtin_type_for_size (int, bool);
1166
1167extern void c_common_mark_addressable_vec (tree);
1168
1169extern void set_underlying_type (tree);
1170extern bool user_facing_original_type_p (const_tree);
1171extern void record_types_used_by_current_var_decl (tree);
1172extern vec<tree, va_gc> *make_tree_vector (void);
1173extern void release_tree_vector (vec<tree, va_gc> *);
1174extern vec<tree, va_gc> *make_tree_vector_single (tree);
1175extern vec<tree, va_gc> *make_tree_vector_from_list (tree);
1176extern vec<tree, va_gc> *make_tree_vector_from_ctor (tree);
1177extern vec<tree, va_gc> *make_tree_vector_copy (const vec<tree, va_gc> *);
1178
1179/* Used for communication between c_common_type_for_mode and
1180 c_register_builtin_type. */
1181extern GTY(()) tree registered_builtin_types;
1182
1183/* Read SOURCE_DATE_EPOCH from environment to have a deterministic
1184 timestamp to replace embedded current dates to get reproducible
1185 results. Returns -1 if SOURCE_DATE_EPOCH is not defined. */
1186extern time_t cb_get_source_date_epoch (cpp_reader *pfile);
1187
1188/* The value (as a unix timestamp) corresponds to date
1189 "Dec 31 9999 23:59:59 UTC", which is the latest date that __DATE__ and
1190 __TIME__ can store. */
1191#define MAX_SOURCE_DATE_EPOCH HOST_WIDE_INT_C (253402300799)
1192
1193/* Callback for libcpp for offering spelling suggestions for misspelled
1194 directives. */
1195extern const char *cb_get_suggestion (cpp_reader *, const char *,
1196 const char *const *);
1197
1198extern GTY(()) string_concat_db *g_string_concat_db;
1199
1200class substring_loc;
1201extern const char *c_get_substring_location (const substring_loc &substr_loc,
1202 location_t *out_loc);
1203
1204/* In c-gimplify.cc. */
1205typedef struct bc_state
1206{
1207 tree bc_label[2];
1208} bc_state_t;
1209extern void save_bc_state (bc_state_t *);
1210extern void restore_bc_state (bc_state_t *);
1211extern tree c_genericize_control_stmt (tree *, int *, void *,
1212 walk_tree_fn, walk_tree_lh);
1213extern void c_genericize (tree);
1214extern int c_gimplify_expr (tree *, gimple_seq *, gimple_seq *);
1215extern tree c_build_bind_expr (location_t, tree, tree);
1216
1217/* In c-lex.cc. */
1218extern enum cpp_ttype
1219conflict_marker_get_final_tok_kind (enum cpp_ttype tok1_kind);
1220
1221/* In c-pch.cc */
1222extern void pch_init (void);
1223extern void pch_cpp_save_state (void);
1224extern int c_common_valid_pch (cpp_reader *pfile, const char *name, int fd);
1225extern void c_common_read_pch (cpp_reader *pfile, const char *name, int fd,
1226 const char *orig);
1227extern void c_common_write_pch (void);
1228extern void c_common_no_more_pch (void);
1229extern void c_common_pch_pragma (cpp_reader *pfile, const char *);
1230
1231/* In *-checksum.c */
1232extern const unsigned char executable_checksum[16];
1233
1234/* In c-cppbuiltin.cc */
1235extern void builtin_define_std (const char *macro);
1236extern void builtin_define_with_value (const char *, const char *, int);
1237extern void builtin_define_with_int_value (const char *, HOST_WIDE_INT);
1238extern void builtin_define_type_sizeof (const char *, tree);
1239extern void c_stddef_cpp_builtins (void);
1240extern void fe_file_change (const line_map_ordinary *);
1241extern void c_parse_error (const char *, enum cpp_ttype, tree, unsigned char,
1242 rich_location *richloc);
1243
1244/* In c-ppoutput.cc */
1245extern void init_pp_output (FILE *);
1246extern void preprocess_file (cpp_reader *);
1247extern void pp_file_change (const line_map_ordinary *);
1248extern void pp_dir_change (cpp_reader *, const char *);
1249extern bool check_missing_format_attribute (tree, tree);
1250extern void c_pp_stream_token (cpp_reader *, const cpp_token *, location_t loc);
1251
1252/* In c-omp.cc */
1253typedef wide_int_bitmask omp_clause_mask;
1254
1255#define OMP_CLAUSE_MASK_1 omp_clause_mask (1)
1256
1257enum c_omp_clause_split
1258{
1259 C_OMP_CLAUSE_SPLIT_TARGET = 0,
1260 C_OMP_CLAUSE_SPLIT_TEAMS,
1261 C_OMP_CLAUSE_SPLIT_DISTRIBUTE,
1262 C_OMP_CLAUSE_SPLIT_PARALLEL,
1263 C_OMP_CLAUSE_SPLIT_FOR,
1264 C_OMP_CLAUSE_SPLIT_SIMD,
1265 C_OMP_CLAUSE_SPLIT_COUNT,
1266 C_OMP_CLAUSE_SPLIT_SECTIONS = C_OMP_CLAUSE_SPLIT_FOR,
1267 C_OMP_CLAUSE_SPLIT_TASKLOOP = C_OMP_CLAUSE_SPLIT_FOR,
1268 C_OMP_CLAUSE_SPLIT_LOOP = C_OMP_CLAUSE_SPLIT_FOR,
1269 C_OMP_CLAUSE_SPLIT_MASKED = C_OMP_CLAUSE_SPLIT_DISTRIBUTE
1270};
1271
1272enum c_omp_region_type
1273{
1274 C_ORT_OMP = 1 << 0,
1275 C_ORT_ACC = 1 << 1,
1276 C_ORT_DECLARE_SIMD = 1 << 2,
1277 C_ORT_TARGET = 1 << 3,
1278 C_ORT_OMP_DECLARE_SIMD = C_ORT_OMP | C_ORT_DECLARE_SIMD,
1279 C_ORT_OMP_TARGET = C_ORT_OMP | C_ORT_TARGET
1280};
1281
1282extern tree c_finish_omp_master (location_t, tree);
1283extern tree c_finish_omp_masked (location_t, tree, tree);
1284extern tree c_finish_omp_taskgroup (location_t, tree, tree);
1285extern tree c_finish_omp_critical (location_t, tree, tree, tree);
1286extern tree c_finish_omp_ordered (location_t, tree, tree);
1287extern void c_finish_omp_barrier (location_t);
1288extern tree c_finish_omp_atomic (location_t, enum tree_code, enum tree_code,
1289 tree, tree, tree, tree, tree, tree, bool,
1290 enum omp_memory_order, bool, bool = false);
1291extern bool c_omp_depend_t_p (tree);
1292extern void c_finish_omp_depobj (location_t, tree, enum omp_clause_depend_kind,
1293 tree);
1294extern void c_finish_omp_flush (location_t, int);
1295extern void c_finish_omp_taskwait (location_t);
1296extern void c_finish_omp_taskyield (location_t);
1297extern tree c_finish_omp_for (location_t, enum tree_code, tree, tree, tree,
1298 tree, tree, tree, tree, bool);
1299extern bool c_omp_check_loop_iv (tree, tree, walk_tree_lh);
1300extern bool c_omp_check_loop_iv_exprs (location_t, enum tree_code, tree, int,
1301 tree, tree, tree, walk_tree_lh);
1302extern bool c_omp_check_loop_binding_exprs (tree, vec<tree> *);
1303extern tree c_finish_oacc_wait (location_t, tree, tree);
1304extern tree c_oacc_split_loop_clauses (tree, tree *, bool);
1305extern void c_omp_split_clauses (location_t, enum tree_code, omp_clause_mask,
1306 tree, tree *);
1307extern tree c_omp_declare_simd_clauses_to_numbers (tree, tree);
1308extern void c_omp_declare_simd_clauses_to_decls (tree, tree);
1309extern bool c_omp_predefined_variable (tree);
1310extern enum omp_clause_default_kind c_omp_predetermined_sharing (tree);
1311extern enum omp_clause_defaultmap_kind c_omp_predetermined_mapping (tree);
1312extern tree c_omp_check_context_selector (location_t, tree);
1313extern void c_omp_mark_declare_variant (location_t, tree, tree);
1314extern void c_omp_adjust_map_clauses (tree, bool);
1315
1316enum c_omp_directive_kind {
1317 C_OMP_DIR_STANDALONE,
1318 C_OMP_DIR_CONSTRUCT,
1319 C_OMP_DIR_DECLARATIVE,
1320 C_OMP_DIR_UTILITY,
1321 C_OMP_DIR_INFORMATIONAL
1322};
1323
1324struct c_omp_directive {
1325 const char *first, *second, *third;
1326 unsigned int id;
1327 enum c_omp_directive_kind kind;
1328 bool simd;
1329};
1330
1331extern const struct c_omp_directive c_omp_directives[];
1332extern const struct c_omp_directive *c_omp_categorize_directive (const char *,
1333 const char *,
1334 const char *);
1335
1336/* Return next tree in the chain for chain_next walking of tree nodes. */
1337inline tree
1338c_tree_chain_next (tree t)
1339{
1340 /* TREE_CHAIN of a type is TYPE_STUB_DECL, which is different
1341 kind of object, never a long chain of nodes. Prefer
1342 TYPE_NEXT_VARIANT for types. */
1343 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_TYPE_COMMON))
1344 return TYPE_NEXT_VARIANT (t);
1345 /* Otherwise, if there is TREE_CHAIN, return it. */
1346 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_COMMON))
1347 return TREE_CHAIN (t);
1348 return NULL;
1349}
1350
1351/* Mask used by tm_stmt_attr. */
1352#define TM_STMT_ATTR_OUTER 2
1353#define TM_STMT_ATTR_ATOMIC 4
1354#define TM_STMT_ATTR_RELAXED 8
1355
1356/* Mask used by tm_attr_to_mask and tm_mask_to_attr. Note that these
1357 are ordered specifically such that more restrictive attributes are
1358 at lower bit positions. This fact is known by the C++ tm attribute
1359 inheritance code such that least bit extraction (mask & -mask) results
1360 in the most restrictive attribute. */
1361#define TM_ATTR_SAFE 1
1362#define TM_ATTR_CALLABLE 2
1363#define TM_ATTR_PURE 4
1364#define TM_ATTR_IRREVOCABLE 8
1365#define TM_ATTR_MAY_CANCEL_OUTER 16
1366
1367/* A suffix-identifier value doublet that represents user-defined literals
1368 for C++-0x. */
1369enum overflow_type {
1370 OT_UNDERFLOW = -1,
1371 OT_NONE,
1372 OT_OVERFLOW
1373};
1374
1375struct GTY(()) tree_userdef_literal {
1376 struct tree_base base;
1377 tree suffix_id;
1378 tree value;
1379 tree num_string;
1380 enum overflow_type overflow;
1381};
1382
1383#define USERDEF_LITERAL_SUFFIX_ID(NODE) \
1384 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->suffix_id)
1385
1386#define USERDEF_LITERAL_VALUE(NODE) \
1387 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->value)
1388
1389#define USERDEF_LITERAL_OVERFLOW(NODE) \
1390 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->overflow)
1391
1392#define USERDEF_LITERAL_NUM_STRING(NODE) \
1393 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->num_string)
1394
1395#define USERDEF_LITERAL_TYPE(NODE) \
1396 (TREE_TYPE (USERDEF_LITERAL_VALUE (NODE)))
1397
1398extern tree build_userdef_literal (tree suffix_id, tree value,
1399 enum overflow_type overflow,
1400 tree num_string);
1401
1402
1403/* WHILE_STMT accessors. These give access to the condition of the
1404 while statement and the body of the while statement, respectively. */
1405#define WHILE_COND(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 0)
1406#define WHILE_BODY(NODE) TREE_OPERAND (WHILE_STMT_CHECK (NODE), 1)
1407
1408/* DO_STMT accessors. These give access to the condition of the do
1409 statement and the body of the do statement, respectively. */
1410#define DO_COND(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 0)
1411#define DO_BODY(NODE) TREE_OPERAND (DO_STMT_CHECK (NODE), 1)
1412
1413/* FOR_STMT accessors. These give access to the init statement,
1414 condition, update expression, and body of the for statement,
1415 respectively. */
1416#define FOR_INIT_STMT(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 0)
1417#define FOR_COND(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 1)
1418#define FOR_EXPR(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 2)
1419#define FOR_BODY(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 3)
1420#define FOR_SCOPE(NODE) TREE_OPERAND (FOR_STMT_CHECK (NODE), 4)
1421
1422#define SWITCH_STMT_COND(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 0)
1423#define SWITCH_STMT_BODY(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 1)
1424#define SWITCH_STMT_TYPE(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 2)
1425#define SWITCH_STMT_SCOPE(NODE) TREE_OPERAND (SWITCH_STMT_CHECK (NODE), 3)
1426/* True if there are case labels for all possible values of switch cond, either
1427 because there is a default: case label or because the case label ranges cover
1428 all values. */
1429#define SWITCH_STMT_ALL_CASES_P(NODE) \
1430 TREE_LANG_FLAG_0 (SWITCH_STMT_CHECK (NODE))
1431/* True if the body of a switch stmt contains no BREAK_STMTs. */
1432#define SWITCH_STMT_NO_BREAK_P(NODE) \
1433 TREE_LANG_FLAG_2 (SWITCH_STMT_CHECK (NODE))
1434
1435
1436/* Nonzero if NODE is the target for genericization of 'break' stmts. */
1437#define LABEL_DECL_BREAK(NODE) \
1438 DECL_LANG_FLAG_0 (LABEL_DECL_CHECK (NODE))
1439
1440/* Nonzero if NODE is the target for genericization of 'continue' stmts. */
1441#define LABEL_DECL_CONTINUE(NODE) \
1442 DECL_LANG_FLAG_1 (LABEL_DECL_CHECK (NODE))
1443
1444extern bool convert_vector_to_array_for_subscript (location_t, tree *, tree);
1445
1446/* Possibe cases of scalar_to_vector conversion. */
1447enum stv_conv {
1448 stv_error, /* Error occurred. */
1449 stv_nothing, /* Nothing happened. */
1450 stv_firstarg, /* First argument must be expanded. */
1451 stv_secondarg /* Second argument must be expanded. */
1452};
1453
1454extern enum stv_conv scalar_to_vector (location_t loc, enum tree_code code,
1455 tree op0, tree op1, bool);
1456
1457extern tree find_inv_trees (tree *, int *, void *);
1458extern tree replace_inv_trees (tree *, int *, void *);
1459
1460extern bool reject_gcc_builtin (const_tree, location_t = UNKNOWN_LOCATION);
1461extern bool valid_array_size_p (location_t, const_tree, tree, bool = true);
1462extern void invalid_array_size_error (location_t, cst_size_error,
1463 const_tree, const_tree);
1464
1465/* In c-warn.cc. */
1466extern void constant_expression_warning (tree);
1467extern void constant_expression_error (tree);
1468extern void overflow_warning (location_t, tree, tree = NULL_TREE);
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 (const op_location_t &, enum tree_code,
1472 tree, tree);
1473extern void warn_logical_not_parentheses (location_t, enum tree_code, tree,
1474 tree);
1475extern bool warn_if_unused_value (const_tree, location_t, bool = false);
1476extern bool strict_aliasing_warning (location_t, tree, tree);
1477extern void sizeof_pointer_memaccess_warning (location_t *, tree,
1478 vec<tree, va_gc> *, tree *,
1479 bool (*) (tree, tree));
1480extern void check_main_parameter_types (tree decl);
1481extern void warnings_for_convert_and_check (location_t, tree, tree, tree);
1482extern void c_do_switch_warnings (splay_tree, location_t, tree, tree, bool);
1483extern void warn_for_omitted_condop (location_t, tree);
1484extern bool warn_for_restrict (unsigned, tree *, unsigned);
1485extern void warn_for_address_or_pointer_of_packed_member (tree, tree);
1486extern void warn_parm_array_mismatch (location_t, tree, tree);
1487extern void maybe_warn_sizeof_array_div (location_t, tree, tree, tree, tree);
1488extern void do_warn_array_compare (location_t, tree_code, tree, tree);
1489
1490/* Places where an lvalue, or modifiable lvalue, may be required.
1491 Used to select diagnostic messages in lvalue_error and
1492 readonly_error. */
1493enum lvalue_use {
1494 lv_assign,
1495 lv_increment,
1496 lv_decrement,
1497 lv_addressof,
1498 lv_asm
1499};
1500
1501extern void lvalue_error (location_t, enum lvalue_use);
1502extern void invalid_indirection_error (location_t, tree, ref_operator);
1503extern void readonly_error (location_t, tree, enum lvalue_use);
1504extern void warn_array_subscript_with_type_char (location_t, tree);
1505extern void warn_about_parentheses (location_t,
1506 enum tree_code,
1507 enum tree_code, tree,
1508 enum tree_code, tree);
1509extern void warn_for_unused_label (tree label);
1510extern void warn_for_div_by_zero (location_t, tree divisor);
1511extern void warn_for_memset (location_t, tree, tree, int);
1512extern void warn_for_sign_compare (location_t,
1513 tree orig_op0, tree orig_op1,
1514 tree op0, tree op1,
1515 tree result_type,
1516 enum tree_code resultcode);
1517extern void do_warn_double_promotion (tree, tree, tree, const char *,
1518 location_t);
1519extern void do_warn_unused_parameter (tree);
1520extern void record_locally_defined_typedef (tree);
1521extern void maybe_record_typedef_use (tree);
1522extern void maybe_warn_unused_local_typedefs (void);
1523extern void maybe_warn_bool_compare (location_t, enum tree_code, tree, tree);
1524extern bool maybe_warn_shift_overflow (location_t, tree, tree);
1525extern void warn_duplicated_cond_add_or_warn (location_t, tree, vec<tree> **);
1526extern bool diagnose_mismatched_attributes (tree, tree);
1527extern tree do_warn_duplicated_branches_r (tree *, int *, void *);
1528extern void warn_for_multistatement_macros (location_t, location_t,
1529 location_t, enum rid);
1530
1531extern void check_for_xor_used_as_pow (location_t lhs_loc, tree lhs_val,
1532 location_t operator_loc,
1533 location_t rhs_loc, tree rhs_val);
1534
1535/* In c-attribs.cc. */
1536extern bool attribute_takes_identifier_p (const_tree);
1537extern tree handle_deprecated_attribute (tree *, tree, tree, int, bool *);
1538extern tree handle_unused_attribute (tree *, tree, tree, int, bool *);
1539extern tree handle_fallthrough_attribute (tree *, tree, tree, int, bool *);
1540extern int parse_tm_stmt_attr (tree, int);
1541extern int tm_attr_to_mask (tree);
1542extern tree tm_mask_to_attr (int);
1543extern tree find_tm_attribute (tree);
1544extern const struct attribute_spec::exclusions attr_cold_hot_exclusions[];
1545extern const struct attribute_spec::exclusions attr_noreturn_exclusions[];
1546extern tree handle_noreturn_attribute (tree *, tree, tree, int, bool *);
1547extern bool has_attribute (location_t, tree, tree, tree (*)(tree));
1548extern tree build_attr_access_from_parms (tree, bool);
1549
1550/* In c-format.cc. */
1551extern bool valid_format_string_type_p (tree);
1552
1553/* A bitmap of flags to positional_argument. */
1554enum posargflags {
1555 /* Consider positional attribute argument value zero valid. */
1556 POSARG_ZERO = 1,
1557 /* Consider positional attribute argument value valid if it refers
1558 to the ellipsis (i.e., beyond the last typed argument). */
1559 POSARG_ELLIPSIS = 2
1560};
1561
1562extern tree positional_argument (const_tree, const_tree, tree &, tree_code,
1563 int = 0, int = posargflags ());
1564
1565extern enum flt_eval_method
1566excess_precision_mode_join (enum flt_eval_method, enum flt_eval_method);
1567
1568extern int c_flt_eval_method (bool ts18661_p);
1569extern void add_no_sanitize_value (tree node, unsigned int flags);
1570
1571extern void maybe_add_include_fixit (rich_location *, const char *, bool);
1572extern void maybe_suggest_missing_token_insertion (rich_location *richloc,
1573 enum cpp_ttype token_type,
1574 location_t prev_token_loc);
1575extern tree braced_lists_to_strings (tree, tree);
1576
1577#if CHECKING_P
1578namespace selftest {
1579 /* Declarations for specific families of tests within c-family,
1580 by source file, in alphabetical order. */
1581 extern void c_diagnostic_cc_tests (void);
1582 extern void c_format_cc_tests (void);
1583 extern void c_indentation_cc_tests (void);
1584 extern void c_opt_problem_cc_tests (void);
1585 extern void c_pretty_print_cc_tests (void);
1586 extern void c_spellcheck_cc_tests (void);
1587
1588 /* The entrypoint for running all of the above tests. */
1589 extern void c_family_tests (void);
1590} // namespace selftest
1591#endif /* #if CHECKING_P */
1592
1593#endif /* ! GCC_C_COMMON_H */
1594

source code of gcc/c-family/c-common.h