1 /* Definitions for c-common.c.
2 Copyright (C) 1987-2013 Free Software Foundation, Inc.
3
4 This file is part of GCC.
5
6 GCC is free software; you can redistribute it and/or modify it under
7 the terms of the GNU General Public License as published by the Free
8 Software Foundation; either version 3, or (at your option) any later
9 version.
10
11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
12 WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 for more details.
15
16 You should have received a copy of the GNU General Public License
17 along 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 "ggc.h"
26 #include "tree.h"
27
28 /* In order for the format checking to accept the C frontend
29 diagnostic framework extensions, you must include this file before
30 diagnostic-core.h, not after. The C front end formats are a subset of those
31 for C++, so they are the appropriate set to use in common code;
32 cp-tree.h overrides this for C++. */
33 #if defined(GCC_DIAGNOSTIC_CORE_H)
34 #error \
35 In order for the format checking to accept the C front end diagnostic \
36 framework extensions, you must include this file before diagnostic-core.h \
37 never after.
38 #endif
39 #ifndef GCC_DIAG_STYLE
40 #define GCC_DIAG_STYLE __gcc_cdiag__
41 #endif
42 #include "diagnostic-core.h"
43
44 /* Usage of TREE_LANG_FLAG_?:
45 0: IDENTIFIER_MARKED (used by search routines).
46 C_MAYBE_CONST_EXPR_INT_OPERANDS (in C_MAYBE_CONST_EXPR, for C)
47 1: C_DECLARED_LABEL_FLAG (in LABEL_DECL)
48 STATEMENT_LIST_STMT_EXPR (in STATEMENT_LIST)
49 C_MAYBE_CONST_EXPR_NON_CONST (in C_MAYBE_CONST_EXPR, for C)
50 2: unused
51 3: STATEMENT_LIST_HAS_LABEL (in STATEMENT_LIST)
52 4: unused
53 */
54
55 /* Reserved identifiers. This is the union of all the keywords for C,
56 C++, and Objective-C. All the type modifiers have to be in one
57 block at the beginning, because they are used as mask bits. There
58 are 28 type modifiers; if we add many more we will have to redesign
59 the mask mechanism. */
60
61 enum rid
62 {
63 /* Modifiers: */
64 /* C, in empirical order of frequency. */
65 RID_STATIC = 0,
66 RID_UNSIGNED, RID_LONG, RID_CONST, RID_EXTERN,
67 RID_REGISTER, RID_TYPEDEF, RID_SHORT, RID_INLINE,
68 RID_VOLATILE, RID_SIGNED, RID_AUTO, RID_RESTRICT,
69 RID_NORETURN,
70
71 /* C extensions */
72 RID_COMPLEX, RID_THREAD, RID_SAT,
73
74 /* C++ */
75 RID_FRIEND, RID_VIRTUAL, RID_EXPLICIT, RID_EXPORT, RID_MUTABLE,
76
77 /* ObjC ("PQ" reserved words - they do not appear after a '@' and
78 are keywords only in specific contexts) */
79 RID_IN, RID_OUT, RID_INOUT, RID_BYCOPY, RID_BYREF, RID_ONEWAY,
80
81 /* ObjC ("PATTR" reserved words - they do not appear after a '@'
82 and are keywords only as property attributes) */
83 RID_GETTER, RID_SETTER,
84 RID_READONLY, RID_READWRITE,
85 RID_ASSIGN, RID_RETAIN, RID_COPY,
86 RID_NONATOMIC,
87
88 /* C (reserved and imaginary types not implemented, so any use is a
89 syntax error) */
90 RID_IMAGINARY,
91
92 /* C */
93 RID_INT, RID_CHAR, RID_FLOAT, RID_DOUBLE, RID_VOID,
94 RID_INT128,
95 RID_ENUM, RID_STRUCT, RID_UNION, RID_IF, RID_ELSE,
96 RID_WHILE, RID_DO, RID_FOR, RID_SWITCH, RID_CASE,
97 RID_DEFAULT, RID_BREAK, RID_CONTINUE, RID_RETURN, RID_GOTO,
98 RID_SIZEOF,
99
100 /* C extensions */
101 RID_ASM, RID_TYPEOF, RID_ALIGNOF, RID_ATTRIBUTE, RID_VA_ARG,
102 RID_EXTENSION, RID_IMAGPART, RID_REALPART, RID_LABEL, RID_CHOOSE_EXPR,
103 RID_TYPES_COMPATIBLE_P, RID_BUILTIN_COMPLEX, RID_BUILTIN_SHUFFLE,
104 RID_DFLOAT32, RID_DFLOAT64, RID_DFLOAT128,
105 RID_FRACT, RID_ACCUM,
106
107 /* C11 */
108 RID_ALIGNAS,
109
110 /* This means to warn that this is a C++ keyword, and then treat it
111 as a normal identifier. */
112 RID_CXX_COMPAT_WARN,
113
114 /* GNU transactional memory extension */
115 RID_TRANSACTION_ATOMIC, RID_TRANSACTION_RELAXED, RID_TRANSACTION_CANCEL,
116
117 /* Too many ways of getting the name of a function as a string */
118 RID_FUNCTION_NAME, RID_PRETTY_FUNCTION_NAME, RID_C99_FUNCTION_NAME,
119
120 /* C++ (some of these are keywords in Objective-C as well, but only
121 if they appear after a '@') */
122 RID_BOOL, RID_WCHAR, RID_CLASS,
123 RID_PUBLIC, RID_PRIVATE, RID_PROTECTED,
124 RID_TEMPLATE, RID_NULL, RID_CATCH,
125 RID_DELETE, RID_FALSE, RID_NAMESPACE,
126 RID_NEW, RID_OFFSETOF, RID_OPERATOR,
127 RID_THIS, RID_THROW, RID_TRUE,
128 RID_TRY, RID_TYPENAME, RID_TYPEID,
129 RID_USING, RID_CHAR16, RID_CHAR32,
130
131 /* casts */
132 RID_CONSTCAST, RID_DYNCAST, RID_REINTCAST, RID_STATCAST,
133
134 /* C++ extensions */
135 RID_BASES, RID_DIRECT_BASES,
136 RID_HAS_NOTHROW_ASSIGN, RID_HAS_NOTHROW_CONSTRUCTOR,
137 RID_HAS_NOTHROW_COPY, RID_HAS_TRIVIAL_ASSIGN,
138 RID_HAS_TRIVIAL_CONSTRUCTOR, RID_HAS_TRIVIAL_COPY,
139 RID_HAS_TRIVIAL_DESTRUCTOR, RID_HAS_VIRTUAL_DESTRUCTOR,
140 RID_IS_ABSTRACT, RID_IS_BASE_OF,
141 RID_IS_CLASS, RID_IS_CONVERTIBLE_TO,
142 RID_IS_EMPTY, RID_IS_ENUM,
143 RID_IS_FINAL, RID_IS_LITERAL_TYPE,
144 RID_IS_POD, RID_IS_POLYMORPHIC,
145 RID_IS_STD_LAYOUT, RID_IS_TRIVIAL,
146 RID_IS_UNION, RID_UNDERLYING_TYPE,
147
148 /* C++11 */
149 RID_CONSTEXPR, RID_DECLTYPE, RID_NOEXCEPT, RID_NULLPTR, RID_STATIC_ASSERT,
150
151 /* Objective-C ("AT" reserved words - they are only keywords when
152 they follow '@') */
153 RID_AT_ENCODE, RID_AT_END,
154 RID_AT_CLASS, RID_AT_ALIAS, RID_AT_DEFS,
155 RID_AT_PRIVATE, RID_AT_PROTECTED, RID_AT_PUBLIC, RID_AT_PACKAGE,
156 RID_AT_PROTOCOL, RID_AT_SELECTOR,
157 RID_AT_THROW, RID_AT_TRY, RID_AT_CATCH,
158 RID_AT_FINALLY, RID_AT_SYNCHRONIZED,
159 RID_AT_OPTIONAL, RID_AT_REQUIRED, RID_AT_PROPERTY,
160 RID_AT_SYNTHESIZE, RID_AT_DYNAMIC,
161 RID_AT_INTERFACE,
162 RID_AT_IMPLEMENTATION,
163
164 /* Named address support, mapping the keyword to a particular named address
165 number. Named address space 0 is reserved for the generic address. If
166 there are more than 254 named addresses, the addr_space_t type will need
167 to be grown from an unsigned char to unsigned short. */
168 RID_ADDR_SPACE_0, /* generic address */
169 RID_ADDR_SPACE_1,
170 RID_ADDR_SPACE_2,
171 RID_ADDR_SPACE_3,
172 RID_ADDR_SPACE_4,
173 RID_ADDR_SPACE_5,
174 RID_ADDR_SPACE_6,
175 RID_ADDR_SPACE_7,
176 RID_ADDR_SPACE_8,
177 RID_ADDR_SPACE_9,
178 RID_ADDR_SPACE_10,
179 RID_ADDR_SPACE_11,
180 RID_ADDR_SPACE_12,
181 RID_ADDR_SPACE_13,
182 RID_ADDR_SPACE_14,
183 RID_ADDR_SPACE_15,
184
185 RID_FIRST_ADDR_SPACE = RID_ADDR_SPACE_0,
186 RID_LAST_ADDR_SPACE = RID_ADDR_SPACE_15,
187
188 RID_MAX,
189
190 RID_FIRST_MODIFIER = RID_STATIC,
191 RID_LAST_MODIFIER = RID_ONEWAY,
192
193 RID_FIRST_CXX0X = RID_CONSTEXPR,
194 RID_LAST_CXX0X = RID_STATIC_ASSERT,
195 RID_FIRST_AT = RID_AT_ENCODE,
196 RID_LAST_AT = RID_AT_IMPLEMENTATION,
197 RID_FIRST_PQ = RID_IN,
198 RID_LAST_PQ = RID_ONEWAY,
199 RID_FIRST_PATTR = RID_GETTER,
200 RID_LAST_PATTR = RID_NONATOMIC
201 };
202
203 #define OBJC_IS_AT_KEYWORD(rid) \
204 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_AT && \
205 (unsigned int) (rid) <= (unsigned int) RID_LAST_AT)
206
207 #define OBJC_IS_PQ_KEYWORD(rid) \
208 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_PQ && \
209 (unsigned int) (rid) <= (unsigned int) RID_LAST_PQ)
210
211 #define OBJC_IS_PATTR_KEYWORD(rid) \
212 ((unsigned int) (rid) >= (unsigned int) RID_FIRST_PATTR && \
213 (unsigned int) (rid) <= (unsigned int) RID_LAST_PATTR)
214
215 /* OBJC_IS_CXX_KEYWORD recognizes the 'CXX_OBJC' keywords (such as
216 'class') which are shared in a subtle way between Objective-C and
217 C++. When the lexer is lexing in Objective-C/Objective-C++, if it
218 finds '@' followed by one of these identifiers (eg, '@class'), it
219 recognizes the whole as an Objective-C keyword. If the identifier
220 is found elsewhere, it follows the rules of the C/C++ language.
221 */
222 #define OBJC_IS_CXX_KEYWORD(rid) \
223 (rid == RID_CLASS \
224 || rid == RID_PUBLIC || rid == RID_PROTECTED || rid == RID_PRIVATE \
225 || rid == RID_TRY || rid == RID_THROW || rid == RID_CATCH)
226
227 /* The elements of `ridpointers' are identifier nodes for the reserved
228 type names and storage classes. It is indexed by a RID_... value. */
229 extern GTY ((length ("(int) RID_MAX"))) tree *ridpointers;
230
231 /* Standard named or nameless data types of the C compiler. */
232
233 enum c_tree_index
234 {
235 CTI_CHAR16_TYPE,
236 CTI_CHAR32_TYPE,
237 CTI_WCHAR_TYPE,
238 CTI_UNDERLYING_WCHAR_TYPE,
239 CTI_WINT_TYPE,
240 CTI_SIGNED_SIZE_TYPE, /* For format checking only. */
241 CTI_UNSIGNED_PTRDIFF_TYPE, /* For format checking only. */
242 CTI_INTMAX_TYPE,
243 CTI_UINTMAX_TYPE,
244 CTI_WIDEST_INT_LIT_TYPE,
245 CTI_WIDEST_UINT_LIT_TYPE,
246
247 /* Types for <stdint.h>, that may not be defined on all
248 targets. */
249 CTI_SIG_ATOMIC_TYPE,
250 CTI_INT8_TYPE,
251 CTI_INT16_TYPE,
252 CTI_INT32_TYPE,
253 CTI_INT64_TYPE,
254 CTI_UINT8_TYPE,
255 CTI_UINT16_TYPE,
256 CTI_UINT32_TYPE,
257 CTI_UINT64_TYPE,
258 CTI_INT_LEAST8_TYPE,
259 CTI_INT_LEAST16_TYPE,
260 CTI_INT_LEAST32_TYPE,
261 CTI_INT_LEAST64_TYPE,
262 CTI_UINT_LEAST8_TYPE,
263 CTI_UINT_LEAST16_TYPE,
264 CTI_UINT_LEAST32_TYPE,
265 CTI_UINT_LEAST64_TYPE,
266 CTI_INT_FAST8_TYPE,
267 CTI_INT_FAST16_TYPE,
268 CTI_INT_FAST32_TYPE,
269 CTI_INT_FAST64_TYPE,
270 CTI_UINT_FAST8_TYPE,
271 CTI_UINT_FAST16_TYPE,
272 CTI_UINT_FAST32_TYPE,
273 CTI_UINT_FAST64_TYPE,
274 CTI_INTPTR_TYPE,
275 CTI_UINTPTR_TYPE,
276
277 CTI_CHAR_ARRAY_TYPE,
278 CTI_CHAR16_ARRAY_TYPE,
279 CTI_CHAR32_ARRAY_TYPE,
280 CTI_WCHAR_ARRAY_TYPE,
281 CTI_INT_ARRAY_TYPE,
282 CTI_STRING_TYPE,
283 CTI_CONST_STRING_TYPE,
284
285 /* Type for boolean expressions (bool in C++, int in C). */
286 CTI_TRUTHVALUE_TYPE,
287 CTI_TRUTHVALUE_TRUE,
288 CTI_TRUTHVALUE_FALSE,
289
290 CTI_DEFAULT_FUNCTION_TYPE,
291
292 /* These are not types, but we have to look them up all the time. */
293 CTI_FUNCTION_NAME_DECL,
294 CTI_PRETTY_FUNCTION_NAME_DECL,
295 CTI_C99_FUNCTION_NAME_DECL,
296 CTI_SAVED_FUNCTION_NAME_DECLS,
297
298 CTI_VOID_ZERO,
299
300 CTI_NULL,
301
302 CTI_MAX
303 };
304
305 #define C_CPP_HASHNODE(id) \
306 (&(((struct c_common_identifier *) (id))->node))
307 #define C_RID_CODE(id) \
308 ((enum rid) (((struct c_common_identifier *) (id))->node.rid_code))
309 #define C_SET_RID_CODE(id, code) \
310 (((struct c_common_identifier *) (id))->node.rid_code = (unsigned char) code)
311
312 /* Identifier part common to the C front ends. Inherits from
313 tree_identifier, despite appearances. */
314 struct GTY(()) c_common_identifier {
315 struct tree_common common;
316 struct cpp_hashnode node;
317 };
318
319 /* An entry in the reserved keyword table. */
320
321 struct c_common_resword
322 {
323 const char *const word;
324 ENUM_BITFIELD(rid) const rid : 16;
325 const unsigned int disable : 16;
326 };
327
328 /* Extra cpp_ttype values for C++. */
329
330 /* A token type for keywords, as opposed to ordinary identifiers. */
331 #define CPP_KEYWORD ((enum cpp_ttype) (N_TTYPES + 1))
332
333 /* A token type for template-ids. If a template-id is processed while
334 parsing tentatively, it is replaced with a CPP_TEMPLATE_ID token;
335 the value of the CPP_TEMPLATE_ID is whatever was returned by
336 cp_parser_template_id. */
337 #define CPP_TEMPLATE_ID ((enum cpp_ttype) (CPP_KEYWORD + 1))
338
339 /* A token type for nested-name-specifiers. If a
340 nested-name-specifier is processed while parsing tentatively, it is
341 replaced with a CPP_NESTED_NAME_SPECIFIER token; the value of the
342 CPP_NESTED_NAME_SPECIFIER is whatever was returned by
343 cp_parser_nested_name_specifier_opt. */
344 #define CPP_NESTED_NAME_SPECIFIER ((enum cpp_ttype) (CPP_TEMPLATE_ID + 1))
345
346 /* A token type for pre-parsed C++0x decltype. */
347 #define CPP_DECLTYPE ((enum cpp_ttype) (CPP_NESTED_NAME_SPECIFIER + 1))
348
349 /* The number of token types, including C++-specific ones. */
350 #define N_CP_TTYPES ((int) (CPP_DECLTYPE + 1))
351
352 /* Disable mask. Keywords are disabled if (reswords[i].disable &
353 mask) is _true_. Thus for keywords which are present in all
354 languages the disable field is zero. */
355
356 #define D_CONLY 0x001 /* C only (not in C++). */
357 #define D_CXXONLY 0x002 /* C++ only (not in C). */
358 #define D_C99 0x004 /* In C, C99 only. */
359 #define D_CXX0X 0x008 /* In C++, C++0X only. */
360 #define D_EXT 0x010 /* GCC extension. */
361 #define D_EXT89 0x020 /* GCC extension incorporated in C99. */
362 #define D_ASM 0x040 /* Disabled by -fno-asm. */
363 #define D_OBJC 0x080 /* In Objective C and neither C nor C++. */
364 #define D_CXX_OBJC 0x100 /* In Objective C, and C++, but not C. */
365 #define D_CXXWARN 0x200 /* In C warn with -Wcxx-compat. */
366
367 /* The reserved keyword table. */
368 extern const struct c_common_resword c_common_reswords[];
369
370 /* The number of items in the reserved keyword table. */
371 extern const unsigned int num_c_common_reswords;
372
373 #define char16_type_node c_global_trees[CTI_CHAR16_TYPE]
374 #define char32_type_node c_global_trees[CTI_CHAR32_TYPE]
375 #define wchar_type_node c_global_trees[CTI_WCHAR_TYPE]
376 #define underlying_wchar_type_node c_global_trees[CTI_UNDERLYING_WCHAR_TYPE]
377 #define wint_type_node c_global_trees[CTI_WINT_TYPE]
378 #define signed_size_type_node c_global_trees[CTI_SIGNED_SIZE_TYPE]
379 #define unsigned_ptrdiff_type_node c_global_trees[CTI_UNSIGNED_PTRDIFF_TYPE]
380 #define intmax_type_node c_global_trees[CTI_INTMAX_TYPE]
381 #define uintmax_type_node c_global_trees[CTI_UINTMAX_TYPE]
382 #define widest_integer_literal_type_node c_global_trees[CTI_WIDEST_INT_LIT_TYPE]
383 #define widest_unsigned_literal_type_node c_global_trees[CTI_WIDEST_UINT_LIT_TYPE]
384
385 #define sig_atomic_type_node c_global_trees[CTI_SIG_ATOMIC_TYPE]
386 #define int8_type_node c_global_trees[CTI_INT8_TYPE]
387 #define int16_type_node c_global_trees[CTI_INT16_TYPE]
388 #define int32_type_node c_global_trees[CTI_INT32_TYPE]
389 #define int64_type_node c_global_trees[CTI_INT64_TYPE]
390 #define uint8_type_node c_global_trees[CTI_UINT8_TYPE]
391 #define c_uint16_type_node c_global_trees[CTI_UINT16_TYPE]
392 #define c_uint32_type_node c_global_trees[CTI_UINT32_TYPE]
393 #define c_uint64_type_node c_global_trees[CTI_UINT64_TYPE]
394 #define int_least8_type_node c_global_trees[CTI_INT_LEAST8_TYPE]
395 #define int_least16_type_node c_global_trees[CTI_INT_LEAST16_TYPE]
396 #define int_least32_type_node c_global_trees[CTI_INT_LEAST32_TYPE]
397 #define int_least64_type_node c_global_trees[CTI_INT_LEAST64_TYPE]
398 #define uint_least8_type_node c_global_trees[CTI_UINT_LEAST8_TYPE]
399 #define uint_least16_type_node c_global_trees[CTI_UINT_LEAST16_TYPE]
400 #define uint_least32_type_node c_global_trees[CTI_UINT_LEAST32_TYPE]
401 #define uint_least64_type_node c_global_trees[CTI_UINT_LEAST64_TYPE]
402 #define int_fast8_type_node c_global_trees[CTI_INT_FAST8_TYPE]
403 #define int_fast16_type_node c_global_trees[CTI_INT_FAST16_TYPE]
404 #define int_fast32_type_node c_global_trees[CTI_INT_FAST32_TYPE]
405 #define int_fast64_type_node c_global_trees[CTI_INT_FAST64_TYPE]
406 #define uint_fast8_type_node c_global_trees[CTI_UINT_FAST8_TYPE]
407 #define uint_fast16_type_node c_global_trees[CTI_UINT_FAST16_TYPE]
408 #define uint_fast32_type_node c_global_trees[CTI_UINT_FAST32_TYPE]
409 #define uint_fast64_type_node c_global_trees[CTI_UINT_FAST64_TYPE]
410 #define intptr_type_node c_global_trees[CTI_INTPTR_TYPE]
411 #define uintptr_type_node c_global_trees[CTI_UINTPTR_TYPE]
412
413 #define truthvalue_type_node c_global_trees[CTI_TRUTHVALUE_TYPE]
414 #define truthvalue_true_node c_global_trees[CTI_TRUTHVALUE_TRUE]
415 #define truthvalue_false_node c_global_trees[CTI_TRUTHVALUE_FALSE]
416
417 #define char_array_type_node c_global_trees[CTI_CHAR_ARRAY_TYPE]
418 #define char16_array_type_node c_global_trees[CTI_CHAR16_ARRAY_TYPE]
419 #define char32_array_type_node c_global_trees[CTI_CHAR32_ARRAY_TYPE]
420 #define wchar_array_type_node c_global_trees[CTI_WCHAR_ARRAY_TYPE]
421 #define int_array_type_node c_global_trees[CTI_INT_ARRAY_TYPE]
422 #define string_type_node c_global_trees[CTI_STRING_TYPE]
423 #define const_string_type_node c_global_trees[CTI_CONST_STRING_TYPE]
424
425 #define default_function_type c_global_trees[CTI_DEFAULT_FUNCTION_TYPE]
426
427 #define function_name_decl_node c_global_trees[CTI_FUNCTION_NAME_DECL]
428 #define pretty_function_name_decl_node c_global_trees[CTI_PRETTY_FUNCTION_NAME_DECL]
429 #define c99_function_name_decl_node c_global_trees[CTI_C99_FUNCTION_NAME_DECL]
430 #define saved_function_name_decls c_global_trees[CTI_SAVED_FUNCTION_NAME_DECLS]
431
432 /* A node for `((void) 0)'. */
433 #define void_zero_node c_global_trees[CTI_VOID_ZERO]
434
435 /* The node for C++ `__null'. */
436 #define null_node c_global_trees[CTI_NULL]
437
438 extern GTY(()) tree c_global_trees[CTI_MAX];
439
440 /* In a RECORD_TYPE, a sorted array of the fields of the type, not a
441 tree for size reasons. */
442 struct GTY((variable_size)) sorted_fields_type {
443 int len;
444 tree GTY((length ("%h.len"))) elts[1];
445 };
446
447 /* Mark which labels are explicitly declared.
448 These may be shadowed, and may be referenced from nested functions. */
449 #define C_DECLARED_LABEL_FLAG(label) TREE_LANG_FLAG_1 (label)
450
451 typedef enum c_language_kind
452 {
453 clk_c = 0, /* C90, C94 or C99 */
454 clk_objc = 1, /* clk_c with ObjC features. */
455 clk_cxx = 2, /* ANSI/ISO C++ */
456 clk_objcxx = 3 /* clk_cxx with ObjC features. */
457 }
458 c_language_kind;
459
460 /* To test for a specific language use c_language, defined by each
461 front end. For "ObjC features" or "not C++" use the macros. */
462 extern c_language_kind c_language;
463
464 #define c_dialect_cxx() ((c_language & clk_cxx) != 0)
465 #define c_dialect_objc() ((c_language & clk_objc) != 0)
466
467 /* The various name of operator that appears in error messages. */
468 typedef enum ref_operator {
469 /* NULL */
470 RO_NULL,
471 /* array indexing */
472 RO_ARRAY_INDEXING,
473 /* unary * */
474 RO_UNARY_STAR,
475 /* -> */
476 RO_ARROW,
477 /* implicit conversion */
478 RO_IMPLICIT_CONVERSION,
479 /* ->* */
480 RO_ARROW_STAR
481 } ref_operator;
482
483 /* Information about a statement tree. */
484
485 struct GTY(()) stmt_tree_s {
486 /* A stack of statement lists being collected. */
487 vec<tree, va_gc> *x_cur_stmt_list;
488
489 /* In C++, Nonzero if we should treat statements as full
490 expressions. In particular, this variable is non-zero if at the
491 end of a statement we should destroy any temporaries created
492 during that statement. Similarly, if, at the end of a block, we
493 should destroy any local variables in this block. Normally, this
494 variable is nonzero, since those are the normal semantics of
495 C++.
496
497 This flag has no effect in C. */
498 int stmts_are_full_exprs_p;
499 };
500
501 typedef struct stmt_tree_s *stmt_tree;
502
503 /* Global state pertinent to the current function. Some C dialects
504 extend this structure with additional fields. */
505
506 struct GTY(()) c_language_function {
507 /* While we are parsing the function, this contains information
508 about the statement-tree that we are building. */
509 struct stmt_tree_s x_stmt_tree;
510
511 /* Vector of locally defined typedefs, for
512 -Wunused-local-typedefs. */
513 vec<tree, va_gc> *local_typedefs;
514 };
515
516 #define stmt_list_stack (current_stmt_tree ()->x_cur_stmt_list)
517
518 /* When building a statement-tree, this is the current statement list
519 being collected. */
520 #define cur_stmt_list (stmt_list_stack->last ())
521
522 #define building_stmt_list_p() (stmt_list_stack && !stmt_list_stack->is_empty())
523
524 /* Language-specific hooks. */
525
526 /* If non-NULL, this function is called after a precompile header file
527 is loaded. */
528 extern void (*lang_post_pch_load) (void);
529
530 extern void push_file_scope (void);
531 extern void pop_file_scope (void);
532 extern stmt_tree current_stmt_tree (void);
533 extern tree push_stmt_list (void);
534 extern tree pop_stmt_list (tree);
535 extern tree add_stmt (tree);
536 extern void push_cleanup (tree, tree, bool);
537 extern tree pushdecl_top_level (tree);
538 extern tree pushdecl (tree);
539 extern tree build_modify_expr (location_t, tree, tree, enum tree_code,
540 location_t, tree, tree);
541 extern tree build_indirect_ref (location_t, tree, ref_operator);
542
543 extern int field_decl_cmp (const void *, const void *);
544 extern void resort_sorted_fields (void *, void *, gt_pointer_operator,
545 void *);
546 extern bool has_c_linkage (const_tree decl);
547
548 /* Switches common to the C front ends. */
549
550 /* Nonzero means don't output line number information. */
551
552 extern char flag_no_line_commands;
553
554 /* Nonzero causes -E output not to be done, but directives such as
555 #define that have side effects are still obeyed. */
556
557 extern char flag_no_output;
558
559 /* Nonzero means dump macros in some fashion; contains the 'D', 'M',
560 'N' or 'U' of the command line switch. */
561
562 extern char flag_dump_macros;
563
564 /* Nonzero means pass #include lines through to the output. */
565
566 extern char flag_dump_includes;
567
568 /* Nonzero means process PCH files while preprocessing. */
569
570 extern bool flag_pch_preprocess;
571
572 /* The file name to which we should write a precompiled header, or
573 NULL if no header will be written in this compile. */
574
575 extern const char *pch_file;
576
577 /* Nonzero if an ISO standard was selected. It rejects macros in the
578 user's namespace. */
579
580 extern int flag_iso;
581
582 /* C/ObjC language option variables. */
583
584
585 /* Nonzero means allow type mismatches in conditional expressions;
586 just make their values `void'. */
587
588 extern int flag_cond_mismatch;
589
590 /* Nonzero means enable C89 Amendment 1 features. */
591
592 extern int flag_isoc94;
593
594 /* Nonzero means use the ISO C99 (or C11) dialect of C. */
595
596 extern int flag_isoc99;
597
598 /* Nonzero means use the ISO C11 dialect of C. */
599
600 extern int flag_isoc11;
601
602 /* Nonzero means that we have builtin functions, and main is an int. */
603
604 extern int flag_hosted;
605
606 /* ObjC language option variables. */
607
608
609 /* Tells the compiler that this is a special run. Do not perform any
610 compiling, instead we are to test some platform dependent features
611 and output a C header file with appropriate definitions. */
612
613 extern int print_struct_values;
614
615 /* Tells the compiler what is the constant string class for ObjC. */
616
617 extern const char *constant_string_class_name;
618
619
620 /* C++ language option variables. */
621
622
623 /* Nonzero means generate separate instantiation control files and
624 juggle them at link time. */
625
626 extern int flag_use_repository;
627
628 /* The supported C++ dialects. */
629
630 enum cxx_dialect {
631 /* C++98 with TC1 */
632 cxx98,
633 cxx03 = cxx98,
634 /* C++11 */
635 cxx0x,
636 cxx11 = cxx0x,
637 /* C++1y (C++17?) */
638 cxx1y
639 };
640
641 /* The C++ dialect being used. C++98 is the default. */
642 extern enum cxx_dialect cxx_dialect;
643
644 /* Maximum template instantiation depth. This limit is rather
645 arbitrary, but it exists to limit the time it takes to notice
646 excessively recursive template instantiations. */
647
648 extern int max_tinst_depth;
649
650 /* Nonzero means that we should not issue warnings about problems that
651 occur when the code is executed, because the code being processed
652 is not expected to be executed. This is set during parsing. This
653 is used for cases like sizeof() and "0 ? a : b". This is a count,
654 not a bool, because unexecuted expressions can nest. */
655
656 extern int c_inhibit_evaluation_warnings;
657
658 /* Whether lexing has been completed, so subsequent preprocessor
659 errors should use the compiler's input_location. */
660
661 extern bool done_lexing;
662
663 /* C types are partitioned into three subsets: object, function, and
664 incomplete types. */
665 #define C_TYPE_OBJECT_P(type) \
666 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type))
667
668 #define C_TYPE_INCOMPLETE_P(type) \
669 (TREE_CODE (type) != FUNCTION_TYPE && TYPE_SIZE (type) == 0)
670
671 #define C_TYPE_FUNCTION_P(type) \
672 (TREE_CODE (type) == FUNCTION_TYPE)
673
674 /* For convenience we define a single macro to identify the class of
675 object or incomplete types. */
676 #define C_TYPE_OBJECT_OR_INCOMPLETE_P(type) \
677 (!C_TYPE_FUNCTION_P (type))
678
679 struct visibility_flags
680 {
681 unsigned inpragma : 1; /* True when in #pragma GCC visibility. */
682 unsigned inlines_hidden : 1; /* True when -finlineshidden in effect. */
683 };
684
685 /* Global visibility options. */
686 extern struct visibility_flags visibility_options;
687
688 /* Attribute table common to the C front ends. */
689 extern const struct attribute_spec c_common_attribute_table[];
690 extern const struct attribute_spec c_common_format_attribute_table[];
691
692 /* Pointer to function to lazily generate the VAR_DECL for __FUNCTION__ etc.
693 ID is the identifier to use, NAME is the string.
694 TYPE_DEP indicates whether it depends on type of the function or not
695 (i.e. __PRETTY_FUNCTION__). */
696
697 extern tree (*make_fname_decl) (location_t, tree, int);
698
699 /* In c-decl.c and cp/tree.c. FIXME. */
700 extern void c_register_addr_space (const char *str, addr_space_t as);
701
702 /* In c-common.c. */
703 extern bool in_late_binary_op;
704 extern const char *c_addr_space_name (addr_space_t as);
705 extern tree identifier_global_value (tree);
706 extern tree c_linkage_bindings (tree);
707 extern void record_builtin_type (enum rid, const char *, tree);
708 extern tree build_void_list_node (void);
709 extern void start_fname_decls (void);
710 extern void finish_fname_decls (void);
711 extern const char *fname_as_string (int);
712 extern tree fname_decl (location_t, unsigned, tree);
713
714 extern int check_user_alignment (const_tree, bool);
715 extern void check_function_arguments (const_tree, int, tree *);
716 extern void check_function_arguments_recurse (void (*)
717 (void *, tree,
718 unsigned HOST_WIDE_INT),
719 void *, tree,
720 unsigned HOST_WIDE_INT);
721 extern bool check_builtin_function_arguments (tree, int, tree *);
722 extern void check_function_format (tree, int, tree *);
723 extern tree handle_format_attribute (tree *, tree, tree, int, bool *);
724 extern tree handle_format_arg_attribute (tree *, tree, tree, int, bool *);
725 extern bool attribute_takes_identifier_p (const_tree);
726 extern bool c_common_handle_option (size_t, const char *, int, int, location_t,
727 const struct cl_option_handlers *);
728 extern bool default_handle_c_option (size_t, const char *, int);
729 extern tree c_common_type_for_mode (enum machine_mode, int);
730 extern tree c_common_type_for_size (unsigned int, int);
731 extern tree c_common_fixed_point_type_for_size (unsigned int, unsigned int,
732 int, int);
733 extern tree c_common_unsigned_type (tree);
734 extern tree c_common_signed_type (tree);
735 extern tree c_common_signed_or_unsigned_type (int, tree);
736 extern void c_common_init_ts (void);
737 extern tree c_build_bitfield_integer_type (unsigned HOST_WIDE_INT, int);
738 extern bool unsafe_conversion_p (tree, tree, bool);
739 extern bool decl_with_nonnull_addr_p (const_tree);
740 extern tree c_fully_fold (tree, bool, bool *);
741 extern tree decl_constant_value_for_optimization (tree);
742 extern tree c_wrap_maybe_const (tree, bool);
743 extern tree c_save_expr (tree);
744 extern tree c_common_truthvalue_conversion (location_t, tree);
745 extern void c_apply_type_quals_to_decl (int, tree);
746 extern tree c_sizeof_or_alignof_type (location_t, tree, bool, int);
747 extern tree c_alignof_expr (location_t, tree);
748 /* Print an error message for invalid operands to arith operation CODE.
749 NOP_EXPR is used as a special case (see truthvalue_conversion). */
750 extern void binary_op_error (location_t, enum tree_code, tree, tree);
751 extern tree fix_string_type (tree);
752 extern void constant_expression_warning (tree);
753 extern void constant_expression_error (tree);
754 extern bool strict_aliasing_warning (tree, tree, tree);
755 extern void sizeof_pointer_memaccess_warning (location_t *, tree,
756 vec<tree, va_gc> *, tree *,
757 bool (*) (tree, tree));
758 extern void warnings_for_convert_and_check (tree, tree, tree);
759 extern tree convert_and_check (tree, tree);
760 extern void overflow_warning (location_t, tree);
761 extern bool warn_if_unused_value (const_tree, location_t);
762 extern void warn_logical_operator (location_t, enum tree_code, tree,
763 enum tree_code, tree, enum tree_code, tree);
764 extern void check_main_parameter_types (tree decl);
765 extern bool c_determine_visibility (tree);
766 extern bool same_scalar_type_ignoring_signedness (tree, tree);
767 extern void mark_valid_location_for_stdc_pragma (bool);
768 extern bool valid_location_for_stdc_pragma_p (void);
769 extern void set_float_const_decimal64 (void);
770 extern void clear_float_const_decimal64 (void);
771 extern bool float_const_decimal64_p (void);
772
773 extern bool keyword_begins_type_specifier (enum rid);
774 extern bool keyword_is_storage_class_specifier (enum rid);
775 extern bool keyword_is_type_qualifier (enum rid);
776 extern bool keyword_is_decl_specifier (enum rid);
777 extern bool cxx_fundamental_alignment_p (unsigned);
778
779 #define c_sizeof(LOC, T) c_sizeof_or_alignof_type (LOC, T, true, 1)
780 #define c_alignof(LOC, T) c_sizeof_or_alignof_type (LOC, T, false, 1)
781
782 /* Subroutine of build_binary_op, used for certain operations. */
783 extern tree shorten_binary_op (tree result_type, tree op0, tree op1, bool bitwise);
784
785 /* Subroutine of build_binary_op, used for comparison operations.
786 See if the operands have both been converted from subword integer types
787 and, if so, perhaps change them both back to their original type. */
788 extern tree shorten_compare (tree *, tree *, tree *, enum tree_code *);
789
790 extern tree pointer_int_sum (location_t, enum tree_code, tree, tree);
791
792 /* Add qualifiers to a type, in the fashion for C. */
793 extern tree c_build_qualified_type (tree, int);
794
795 /* Build tree nodes and builtin functions common to both C and C++ language
796 frontends. */
797 extern void c_common_nodes_and_builtins (void);
798
799 extern void disable_builtin_function (const char *);
800
801 extern void set_compound_literal_name (tree decl);
802
803 extern tree build_va_arg (location_t, tree, tree);
804
805 extern const unsigned int c_family_lang_mask;
806 extern unsigned int c_common_option_lang_mask (void);
807 extern void c_common_initialize_diagnostics (diagnostic_context *);
808 extern bool c_common_complain_wrong_lang_p (const struct cl_option *);
809 extern void c_common_init_options_struct (struct gcc_options *);
810 extern void c_common_init_options (unsigned int, struct cl_decoded_option *);
811 extern bool c_common_post_options (const char **);
812 extern bool c_common_init (void);
813 extern void c_common_finish (void);
814 extern void c_common_parse_file (void);
815 extern alias_set_type c_common_get_alias_set (tree);
816 extern void c_register_builtin_type (tree, const char*);
817 extern bool c_promoting_integer_type_p (const_tree);
818 extern int self_promoting_args_p (const_tree);
819 extern tree strip_pointer_operator (tree);
820 extern tree strip_pointer_or_array_types (tree);
821 extern HOST_WIDE_INT c_common_to_target_charset (HOST_WIDE_INT);
822
823 /* This is the basic parsing function. */
824 extern void c_parse_file (void);
825
826 extern void warn_for_omitted_condop (location_t, tree);
827
828 /* These macros provide convenient access to the various _STMT nodes. */
829
830 /* Nonzero if a given STATEMENT_LIST represents the outermost binding
831 if a statement expression. */
832 #define STATEMENT_LIST_STMT_EXPR(NODE) \
833 TREE_LANG_FLAG_1 (STATEMENT_LIST_CHECK (NODE))
834
835 /* Nonzero if a label has been added to the statement list. */
836 #define STATEMENT_LIST_HAS_LABEL(NODE) \
837 TREE_LANG_FLAG_3 (STATEMENT_LIST_CHECK (NODE))
838
839 /* C_MAYBE_CONST_EXPR accessors. */
840 #define C_MAYBE_CONST_EXPR_PRE(NODE) \
841 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 0)
842 #define C_MAYBE_CONST_EXPR_EXPR(NODE) \
843 TREE_OPERAND (C_MAYBE_CONST_EXPR_CHECK (NODE), 1)
844 #define C_MAYBE_CONST_EXPR_INT_OPERANDS(NODE) \
845 TREE_LANG_FLAG_0 (C_MAYBE_CONST_EXPR_CHECK (NODE))
846 #define C_MAYBE_CONST_EXPR_NON_CONST(NODE) \
847 TREE_LANG_FLAG_1 (C_MAYBE_CONST_EXPR_CHECK (NODE))
848 #define EXPR_INT_CONST_OPERANDS(EXPR) \
849 (INTEGRAL_TYPE_P (TREE_TYPE (EXPR)) \
850 && (TREE_CODE (EXPR) == INTEGER_CST \
851 || (TREE_CODE (EXPR) == C_MAYBE_CONST_EXPR \
852 && C_MAYBE_CONST_EXPR_INT_OPERANDS (EXPR))))
853
854 /* In a FIELD_DECL, nonzero if the decl was originally a bitfield. */
855 #define DECL_C_BIT_FIELD(NODE) \
856 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) == 1)
857 #define SET_DECL_C_BIT_FIELD(NODE) \
858 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 1)
859 #define CLEAR_DECL_C_BIT_FIELD(NODE) \
860 (DECL_LANG_FLAG_4 (FIELD_DECL_CHECK (NODE)) = 0)
861
862 extern tree do_case (location_t, tree, tree);
863 extern tree build_stmt (location_t, enum tree_code, ...);
864 extern tree build_real_imag_expr (location_t, enum tree_code, tree);
865
866 /* These functions must be defined by each front-end which implements
867 a variant of the C language. They are used in c-common.c. */
868
869 extern tree build_unary_op (location_t, enum tree_code, tree, int);
870 extern tree build_binary_op (location_t, enum tree_code, tree, tree, int);
871 extern tree perform_integral_promotions (tree);
872
873 /* These functions must be defined by each front-end which implements
874 a variant of the C language. They are used by port files. */
875
876 extern tree default_conversion (tree);
877
878 /* Given two integer or real types, return the type for their sum.
879 Given two compatible ANSI C types, returns the merged type. */
880
881 extern tree common_type (tree, tree);
882
883 extern tree decl_constant_value (tree);
884
885 /* Handle increment and decrement of boolean types. */
886 extern tree boolean_increment (enum tree_code, tree);
887
888 extern int case_compare (splay_tree_key, splay_tree_key);
889
890 extern tree c_add_case_label (location_t, splay_tree, tree, tree, tree, tree);
891
892 extern void c_do_switch_warnings (splay_tree, location_t, tree, tree);
893
894 extern tree build_function_call (location_t, tree, tree);
895
896 extern tree build_function_call_vec (location_t, tree, vec<tree, va_gc> *,
897 vec<tree, va_gc> *);
898
899 extern tree resolve_overloaded_builtin (location_t, tree, vec<tree, va_gc> *);
900
901 extern tree finish_label_address_expr (tree, location_t);
902
903 /* Same function prototype, but the C and C++ front ends have
904 different implementations. Used in c-common.c. */
905 extern tree lookup_label (tree);
906 extern tree lookup_name (tree);
907 extern bool lvalue_p (const_tree);
908
909 extern bool vector_targets_convertible_p (const_tree t1, const_tree t2);
910 extern bool vector_types_convertible_p (const_tree t1, const_tree t2, bool emit_lax_note);
911 extern tree c_build_vec_perm_expr (location_t, tree, tree, tree);
912
913 extern rtx c_expand_expr (tree, rtx, enum machine_mode, int, rtx *);
914
915 extern void init_c_lex (void);
916
917 extern void c_cpp_builtins (cpp_reader *);
918 extern void c_cpp_builtins_optimize_pragma (cpp_reader *, tree, tree);
919 extern bool c_cpp_error (cpp_reader *, int, int, location_t, unsigned int,
920 const char *, va_list *)
921 ATTRIBUTE_GCC_DIAG(6,0);
922
923 extern bool parse_optimize_options (tree, bool);
924
925 /* Positive if an implicit `extern "C"' scope has just been entered;
926 negative if such a scope has just been exited. */
927 extern GTY(()) int pending_lang_change;
928
929 /* Information recorded about each file examined during compilation. */
930
931 struct c_fileinfo
932 {
933 int time; /* Time spent in the file. */
934
935 /* Flags used only by C++.
936 INTERFACE_ONLY nonzero means that we are in an "interface" section
937 of the compiler. INTERFACE_UNKNOWN nonzero means we cannot trust
938 the value of INTERFACE_ONLY. If INTERFACE_UNKNOWN is zero and
939 INTERFACE_ONLY is zero, it means that we are responsible for
940 exporting definitions that others might need. */
941 short interface_only;
942 short interface_unknown;
943 };
944
945 struct c_fileinfo *get_fileinfo (const char *);
946 extern void dump_time_statistics (void);
947
948 extern bool c_dump_tree (void *, tree);
949
950 extern void verify_sequence_points (tree);
951
952 extern tree fold_offsetof_1 (tree);
953 extern tree fold_offsetof (tree);
954
955 /* Places where an lvalue, or modifiable lvalue, may be required.
956 Used to select diagnostic messages in lvalue_error and
957 readonly_error. */
958 enum lvalue_use {
959 lv_assign,
960 lv_increment,
961 lv_decrement,
962 lv_addressof,
963 lv_asm
964 };
965
966 extern void readonly_error (tree, enum lvalue_use);
967 extern void lvalue_error (location_t, enum lvalue_use);
968 extern void invalid_indirection_error (location_t, tree, ref_operator);
969
970 extern int complete_array_type (tree *, tree, bool);
971
972 extern tree builtin_type_for_size (int, bool);
973
974 extern void c_common_mark_addressable_vec (tree);
975
976 extern void warn_array_subscript_with_type_char (tree);
977 extern void warn_about_parentheses (location_t,
978 enum tree_code,
979 enum tree_code, tree,
980 enum tree_code, tree);
981 extern void warn_for_unused_label (tree label);
982 extern void warn_for_div_by_zero (location_t, tree divisor);
983 extern void warn_for_sign_compare (location_t,
984 tree orig_op0, tree orig_op1,
985 tree op0, tree op1,
986 tree result_type,
987 enum tree_code resultcode);
988 extern void do_warn_double_promotion (tree, tree, tree, const char *,
989 location_t);
990 extern void set_underlying_type (tree);
991 extern void record_locally_defined_typedef (tree);
992 extern void maybe_record_typedef_use (tree);
993 extern void maybe_warn_unused_local_typedefs (void);
994 extern vec<tree, va_gc> *make_tree_vector (void);
995 extern void release_tree_vector (vec<tree, va_gc> *);
996 extern vec<tree, va_gc> *make_tree_vector_single (tree);
997 extern vec<tree, va_gc> *make_tree_vector_from_list (tree);
998 extern vec<tree, va_gc> *make_tree_vector_copy (const vec<tree, va_gc> *);
999
1000 /* In c-gimplify.c */
1001 extern void c_genericize (tree);
1002 extern int c_gimplify_expr (tree *, gimple_seq *, gimple_seq *);
1003 extern tree c_build_bind_expr (location_t, tree, tree);
1004
1005 /* In c-pch.c */
1006 extern void pch_init (void);
1007 extern void pch_cpp_save_state (void);
1008 extern int c_common_valid_pch (cpp_reader *pfile, const char *name, int fd);
1009 extern void c_common_read_pch (cpp_reader *pfile, const char *name, int fd,
1010 const char *orig);
1011 extern void c_common_write_pch (void);
1012 extern void c_common_no_more_pch (void);
1013 extern void c_common_pch_pragma (cpp_reader *pfile, const char *);
1014
1015 /* In *-checksum.c */
1016 extern const unsigned char executable_checksum[16];
1017
1018 /* In c-cppbuiltin.c */
1019 extern void builtin_define_std (const char *macro);
1020 extern void builtin_define_with_value (const char *, const char *, int);
1021 extern void c_stddef_cpp_builtins (void);
1022 extern void fe_file_change (const struct line_map *);
1023 extern void c_parse_error (const char *, enum cpp_ttype, tree, unsigned char);
1024
1025 /* In c-ppoutput.c */
1026 extern void init_pp_output (FILE *);
1027 extern void preprocess_file (cpp_reader *);
1028 extern void pp_file_change (const struct line_map *);
1029 extern void pp_dir_change (cpp_reader *, const char *);
1030 extern bool check_missing_format_attribute (tree, tree);
1031
1032 /* In c-omp.c */
1033 extern tree c_finish_omp_master (location_t, tree);
1034 extern tree c_finish_omp_critical (location_t, tree, tree);
1035 extern tree c_finish_omp_ordered (location_t, tree);
1036 extern void c_finish_omp_barrier (location_t);
1037 extern tree c_finish_omp_atomic (location_t, enum tree_code, enum tree_code,
1038 tree, tree, tree, tree, tree);
1039 extern void c_finish_omp_flush (location_t);
1040 extern void c_finish_omp_taskwait (location_t);
1041 extern void c_finish_omp_taskyield (location_t);
1042 extern tree c_finish_omp_for (location_t, tree, tree, tree, tree, tree, tree);
1043 extern void c_split_parallel_clauses (location_t, tree, tree *, tree *);
1044 extern enum omp_clause_default_kind c_omp_predetermined_sharing (tree);
1045
1046 /* Not in c-omp.c; provided by the front end. */
1047 extern bool c_omp_sharing_predetermined (tree);
1048 extern tree c_omp_remap_decl (tree, bool);
1049 extern void record_types_used_by_current_var_decl (tree);
1050
1051 /* Return next tree in the chain for chain_next walking of tree nodes. */
1052 static inline tree
c_tree_chain_next(tree t)1053 c_tree_chain_next (tree t)
1054 {
1055 /* TREE_CHAIN of a type is TYPE_STUB_DECL, which is different
1056 kind of object, never a long chain of nodes. Prefer
1057 TYPE_NEXT_VARIANT for types. */
1058 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_TYPE_COMMON))
1059 return TYPE_NEXT_VARIANT (t);
1060 /* Otherwise, if there is TREE_CHAIN, return it. */
1061 if (CODE_CONTAINS_STRUCT (TREE_CODE (t), TS_COMMON))
1062 return TREE_CHAIN (t);
1063 return NULL;
1064 }
1065
1066 /* Mask used by tm_stmt_attr. */
1067 #define TM_STMT_ATTR_OUTER 2
1068 #define TM_STMT_ATTR_ATOMIC 4
1069 #define TM_STMT_ATTR_RELAXED 8
1070
1071 extern int parse_tm_stmt_attr (tree, int);
1072
1073 /* Mask used by tm_attr_to_mask and tm_mask_to_attr. Note that these
1074 are ordered specifically such that more restrictive attributes are
1075 at lower bit positions. This fact is known by the C++ tm attribute
1076 inheritance code such that least bit extraction (mask & -mask) results
1077 in the most restrictive attribute. */
1078 #define TM_ATTR_SAFE 1
1079 #define TM_ATTR_CALLABLE 2
1080 #define TM_ATTR_PURE 4
1081 #define TM_ATTR_IRREVOCABLE 8
1082 #define TM_ATTR_MAY_CANCEL_OUTER 16
1083
1084 extern int tm_attr_to_mask (tree);
1085 extern tree tm_mask_to_attr (int);
1086 extern tree find_tm_attribute (tree);
1087
1088 /* A suffix-identifier value doublet that represents user-defined literals
1089 for C++-0x. */
1090 enum overflow_type {
1091 OT_UNDERFLOW = -1,
1092 OT_NONE,
1093 OT_OVERFLOW
1094 };
1095
1096 struct GTY(()) tree_userdef_literal {
1097 struct tree_base base;
1098 tree suffix_id;
1099 tree value;
1100 tree num_string;
1101 enum overflow_type overflow;
1102 };
1103
1104 #define USERDEF_LITERAL_SUFFIX_ID(NODE) \
1105 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->suffix_id)
1106
1107 #define USERDEF_LITERAL_VALUE(NODE) \
1108 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->value)
1109
1110 #define USERDEF_LITERAL_OVERFLOW(NODE) \
1111 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->overflow)
1112
1113 #define USERDEF_LITERAL_NUM_STRING(NODE) \
1114 (((struct tree_userdef_literal *)USERDEF_LITERAL_CHECK (NODE))->num_string)
1115
1116 #define USERDEF_LITERAL_TYPE(NODE) \
1117 (TREE_TYPE (USERDEF_LITERAL_VALUE (NODE)))
1118
1119 extern tree build_userdef_literal (tree suffix_id, tree value,
1120 enum overflow_type overflow,
1121 tree num_string);
1122
1123 extern void convert_vector_to_pointer_for_subscript (location_t, tree*, tree);
1124
1125 /* Possibe cases of scalar_to_vector conversion. */
1126 enum stv_conv {
1127 stv_error, /* Error occured. */
1128 stv_nothing, /* Nothing happened. */
1129 stv_firstarg, /* First argument must be expanded. */
1130 stv_secondarg /* Second argument must be expanded. */
1131 };
1132
1133 extern enum stv_conv scalar_to_vector (location_t loc, enum tree_code code,
1134 tree op0, tree op1, bool);
1135
1136 #endif /* ! GCC_C_COMMON_H */
1137