5 * Common Trace Format Metadata Grammar.
7 * Copyright 2010 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
9 * Permission is hereby granted, free of charge, to any person obtaining a copy
10 * of this software and associated documentation files (the "Software"), to deal
11 * in the Software without restriction, including without limitation the rights
12 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
13 * copies of the Software, and to permit persons to whom the Software is
14 * furnished to do so, subject to the following conditions:
16 * The above copyright notice and this permission notice shall be included in
17 * all copies or substantial portions of the Software.
19 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
20 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
21 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
22 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
23 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
24 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
28 #define BT_LOG_OUTPUT_LEVEL ctf_plugin_metadata_log_level
29 #define BT_LOG_TAG "PLUGIN/CTF/META/PARSER"
41 #include "common/list.h"
42 #include "common/assert.h"
48 #if BT_LOG_ENABLED_TRACE
50 # define YYFPRINTF(_stream, _fmt, args...) BT_LOGT(_fmt, ## args)
55 /* Join two lists, put "add" at the end of "head". */
57 _bt_list_splice_tail (struct bt_list_head *add, struct bt_list_head *head)
59 /* Do nothing if the list which gets added is empty. */
60 if (add != add->next) {
61 add->next->prev = head->prev;
62 add->prev->next = head;
63 head->prev->next = add->next;
64 head->prev = add->prev;
69 int yyparse(struct ctf_scanner *scanner, yyscan_t yyscanner);
71 int yylex(union YYSTYPE *yyval, yyscan_t yyscanner);
73 int yylex_init_extra(struct ctf_scanner *scanner, yyscan_t * ptr_yy_globals);
75 int yylex_destroy(yyscan_t yyscanner);
77 void yyrestart(FILE * in_str, yyscan_t yyscanner);
79 int yyget_lineno(yyscan_t yyscanner);
81 char *yyget_text(yyscan_t yyscanner);
83 static const char *node_type_to_str[] = {
84 #define ENTRY(S) [S] = #S,
85 FOREACH_CTF_NODES(ENTRY)
90 * Static node for out of memory errors. Only "type" is used. lineno is
91 * always left at 0. The rest of the node content can be overwritten,
94 static struct ctf_node error_node = {
99 const char *node_type(struct ctf_node *node)
101 if (node->type < NR_NODE_TYPES)
102 return node_type_to_str[node->type];
107 void setstring(struct ctf_scanner *scanner, YYSTYPE *lvalp, const char *src)
109 lvalp->s = objstack_alloc(scanner->objstack, strlen(src) + 1);
110 strcpy(lvalp->s, src);
114 int str_check(size_t str_len, size_t offset, size_t len)
117 if (offset + len < offset)
119 if (offset + len > str_len)
125 int bt_isodigit(int c)
143 int parse_base_sequence(const char *src, size_t len, size_t pos,
144 char *buffer, size_t *buf_len, int base)
146 const size_t max_char = 3;
149 while (!str_check(len, pos, 1) && nr_char < max_char) {
154 buffer[nr_char++] = c;
157 } else if (base == 16) {
159 buffer[nr_char++] = c;
164 /* Unsupported base */
168 BT_ASSERT(nr_char > 0);
169 buffer[nr_char] = '\0';
175 int import_basic_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
176 size_t len, const char *src, char delim)
178 size_t pos = 0, dpos = 0;
180 if (str_check(len, pos, 1))
182 if (src[pos++] != delim)
185 while (src[pos] != delim) {
188 if (str_check(len, pos, 1))
192 if (str_check(len, pos, 1))
242 if (parse_base_sequence(src, len, pos - 1,
243 oct_buffer, &oct_len, 8))
245 c = strtoul(&oct_buffer[0], NULL, 8);
254 if (parse_base_sequence(src, len, pos,
255 hex_buffer, &hex_len, 16))
257 c = strtoul(&hex_buffer[0], NULL, 16);
265 if (str_check(len, dpos, 1))
267 lvalp->s[dpos++] = c;
270 if (str_check(len, dpos, 1))
272 lvalp->s[dpos++] = '\0';
274 if (str_check(len, pos, 1))
276 if (src[pos++] != delim)
279 if (str_check(len, pos, 1))
281 if (src[pos] != '\0')
286 int import_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
287 const char *src, char delim)
291 len = strlen(src) + 1;
292 lvalp->s = objstack_alloc(scanner->objstack, len);
294 // TODO: import wide string
295 _BT_LOGE_LINENO(yyget_lineno(scanner),
296 "wide characters are not supported as of this version: "
297 "scanner-addr=%p", scanner);
300 return import_basic_string(scanner, lvalp, len, src, delim);
304 static void init_scope(struct ctf_scanner_scope *scope,
305 struct ctf_scanner_scope *parent)
307 scope->parent = parent;
308 scope->classes = g_hash_table_new_full(g_str_hash, g_str_equal,
312 static void finalize_scope(struct ctf_scanner_scope *scope)
314 g_hash_table_destroy(scope->classes);
317 static void push_scope(struct ctf_scanner *scanner)
319 struct ctf_scanner_scope *ns;
321 BT_LOGT("Pushing scope: scanner-addr=%p", scanner);
322 ns = malloc(sizeof(struct ctf_scanner_scope));
323 init_scope(ns, scanner->cs);
327 static void pop_scope(struct ctf_scanner *scanner)
329 struct ctf_scanner_scope *os;
331 BT_LOGT("Popping scope: scanner-addr=%p", scanner);
333 scanner->cs = os->parent;
338 static int lookup_type(struct ctf_scanner_scope *s, const char *id)
342 ret = GPOINTER_TO_INT(g_hash_table_lookup(s->classes, id));
343 BT_LOGT("Looked up type: scanner-addr=%p, id=\"%s\", ret=%d",
349 int is_type(struct ctf_scanner *scanner, const char *id)
351 struct ctf_scanner_scope *it;
354 for (it = scanner->cs; it; it = it->parent) {
355 if (lookup_type(it, id)) {
360 BT_LOGT("Found if ID is type: scanner-addr=%p, id=\"%s\", ret=%d",
365 static void add_type(struct ctf_scanner *scanner, char *id)
367 BT_LOGT("Adding type: scanner-addr=%p, id=\"%s\"",
369 if (lookup_type(scanner->cs, id))
371 g_hash_table_insert(scanner->cs->classes, id, id);
374 static struct ctf_node *make_node(struct ctf_scanner *scanner,
377 struct ctf_node *node;
379 node = objstack_alloc(scanner->objstack, sizeof(*node));
381 _BT_LOGE_LINENO(yyget_lineno(scanner->scanner),
382 "failed to allocate one stack entry: "
383 "scanner-addr=%p", scanner);
387 node->lineno = yyget_lineno(scanner->scanner);
388 BT_INIT_LIST_HEAD(&node->tmp_head);
389 bt_list_add(&node->siblings, &node->tmp_head);
393 node->type = NODE_ERROR;
394 BT_LOGE("Trying to create root node: scanner-addr=%p",
398 BT_INIT_LIST_HEAD(&node->u.event.declaration_list);
401 BT_INIT_LIST_HEAD(&node->u.stream.declaration_list);
404 BT_INIT_LIST_HEAD(&node->u.env.declaration_list);
407 BT_INIT_LIST_HEAD(&node->u.trace.declaration_list);
410 BT_INIT_LIST_HEAD(&node->u.clock.declaration_list);
413 BT_INIT_LIST_HEAD(&node->u.callsite.declaration_list);
415 case NODE_CTF_EXPRESSION:
416 BT_INIT_LIST_HEAD(&node->u.ctf_expression.left);
417 BT_INIT_LIST_HEAD(&node->u.ctf_expression.right);
419 case NODE_UNARY_EXPRESSION:
422 BT_INIT_LIST_HEAD(&node->u.field_class_def.field_class_declarators);
424 case NODE_TYPEALIAS_TARGET:
425 BT_INIT_LIST_HEAD(&node->u.field_class_alias_target.field_class_declarators);
427 case NODE_TYPEALIAS_ALIAS:
428 BT_INIT_LIST_HEAD(&node->u.field_class_alias_name.field_class_declarators);
432 case NODE_TYPE_SPECIFIER:
434 case NODE_TYPE_SPECIFIER_LIST:
435 BT_INIT_LIST_HEAD(&node->u.field_class_specifier_list.head);
439 case NODE_TYPE_DECLARATOR:
440 BT_INIT_LIST_HEAD(&node->u.field_class_declarator.pointers);
442 case NODE_FLOATING_POINT:
443 BT_INIT_LIST_HEAD(&node->u.floating_point.expressions);
446 BT_INIT_LIST_HEAD(&node->u.integer.expressions);
449 BT_INIT_LIST_HEAD(&node->u.string.expressions);
451 case NODE_ENUMERATOR:
452 BT_INIT_LIST_HEAD(&node->u.enumerator.values);
455 BT_INIT_LIST_HEAD(&node->u._enum.enumerator_list);
457 case NODE_STRUCT_OR_VARIANT_DECLARATION:
458 BT_INIT_LIST_HEAD(&node->u.struct_or_variant_declaration.field_class_declarators);
461 BT_INIT_LIST_HEAD(&node->u.variant.declaration_list);
464 BT_INIT_LIST_HEAD(&node->u._struct.declaration_list);
465 BT_INIT_LIST_HEAD(&node->u._struct.min_align);
469 node->type = NODE_ERROR;
470 BT_LOGE("Unknown node type: scanner-addr=%p, node-type=%d",
478 static int reparent_ctf_expression(struct ctf_node *node,
479 struct ctf_node *parent)
481 switch (parent->type) {
483 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
486 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
489 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
492 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
495 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
498 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
500 case NODE_FLOATING_POINT:
501 _bt_list_splice_tail(&node->tmp_head, &parent->u.floating_point.expressions);
504 _bt_list_splice_tail(&node->tmp_head, &parent->u.integer.expressions);
507 _bt_list_splice_tail(&node->tmp_head, &parent->u.string.expressions);
511 case NODE_CTF_EXPRESSION:
513 case NODE_TYPEALIAS_TARGET:
514 case NODE_TYPEALIAS_ALIAS:
516 case NODE_TYPE_SPECIFIER:
517 case NODE_TYPE_SPECIFIER_LIST:
519 case NODE_TYPE_DECLARATOR:
520 case NODE_ENUMERATOR:
522 case NODE_STRUCT_OR_VARIANT_DECLARATION:
525 case NODE_UNARY_EXPRESSION:
530 BT_LOGE("Unknown node type: node-type=%d", parent->type);
536 static int reparent_typedef(struct ctf_node *node, struct ctf_node *parent)
538 switch (parent->type) {
540 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
543 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
546 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
549 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
552 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
555 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
558 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
561 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
564 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
567 case NODE_FLOATING_POINT:
570 case NODE_CTF_EXPRESSION:
572 case NODE_TYPEALIAS_TARGET:
573 case NODE_TYPEALIAS_ALIAS:
575 case NODE_TYPE_SPECIFIER:
576 case NODE_TYPE_SPECIFIER_LIST:
578 case NODE_TYPE_DECLARATOR:
579 case NODE_ENUMERATOR:
581 case NODE_STRUCT_OR_VARIANT_DECLARATION:
582 case NODE_UNARY_EXPRESSION:
587 BT_LOGE("Unknown node type: node-type=%d", parent->type);
593 static int reparent_field_class_alias(struct ctf_node *node, struct ctf_node *parent)
595 switch (parent->type) {
597 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
600 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
603 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
606 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
609 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
612 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
615 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
618 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
621 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
624 case NODE_FLOATING_POINT:
627 case NODE_CTF_EXPRESSION:
629 case NODE_TYPEALIAS_TARGET:
630 case NODE_TYPEALIAS_ALIAS:
632 case NODE_TYPE_SPECIFIER:
633 case NODE_TYPE_SPECIFIER_LIST:
635 case NODE_TYPE_DECLARATOR:
636 case NODE_ENUMERATOR:
638 case NODE_STRUCT_OR_VARIANT_DECLARATION:
639 case NODE_UNARY_EXPRESSION:
644 BT_LOGE("Unknown node type: node-type=%d", parent->type);
650 static int reparent_field_class_specifier(struct ctf_node *node,
651 struct ctf_node *parent)
653 switch (parent->type) {
654 case NODE_TYPE_SPECIFIER_LIST:
655 _bt_list_splice_tail(&node->tmp_head, &parent->u.field_class_specifier_list.head);
658 case NODE_TYPE_SPECIFIER:
668 case NODE_TYPEALIAS_TARGET:
669 case NODE_TYPEALIAS_ALIAS:
670 case NODE_TYPE_DECLARATOR:
672 case NODE_STRUCT_OR_VARIANT_DECLARATION:
674 case NODE_FLOATING_POINT:
677 case NODE_CTF_EXPRESSION:
679 case NODE_ENUMERATOR:
680 case NODE_UNARY_EXPRESSION:
685 BT_LOGE("Unknown node type: node-type=%d", parent->type);
691 static int reparent_field_class_specifier_list(struct ctf_node *node,
692 struct ctf_node *parent)
694 switch (parent->type) {
696 bt_list_add_tail(&node->siblings, &parent->u.root.declaration_list);
699 bt_list_add_tail(&node->siblings, &parent->u.event.declaration_list);
702 bt_list_add_tail(&node->siblings, &parent->u.stream.declaration_list);
705 bt_list_add_tail(&node->siblings, &parent->u.env.declaration_list);
708 bt_list_add_tail(&node->siblings, &parent->u.trace.declaration_list);
711 bt_list_add_tail(&node->siblings, &parent->u.clock.declaration_list);
714 bt_list_add_tail(&node->siblings, &parent->u.callsite.declaration_list);
717 bt_list_add_tail(&node->siblings, &parent->u.variant.declaration_list);
720 bt_list_add_tail(&node->siblings, &parent->u._struct.declaration_list);
723 parent->u.field_class_def.field_class_specifier_list = node;
725 case NODE_TYPEALIAS_TARGET:
726 parent->u.field_class_alias_target.field_class_specifier_list = node;
728 case NODE_TYPEALIAS_ALIAS:
729 parent->u.field_class_alias_name.field_class_specifier_list = node;
732 parent->u._enum.container_field_class = node;
734 case NODE_STRUCT_OR_VARIANT_DECLARATION:
735 parent->u.struct_or_variant_declaration.field_class_specifier_list = node;
737 case NODE_TYPE_DECLARATOR:
738 case NODE_TYPE_SPECIFIER:
740 case NODE_FLOATING_POINT:
743 case NODE_CTF_EXPRESSION:
745 case NODE_ENUMERATOR:
746 case NODE_UNARY_EXPRESSION:
751 BT_LOGE("Unknown node type: node-type=%d", parent->type);
757 static int reparent_field_class_declarator(struct ctf_node *node,
758 struct ctf_node *parent)
760 switch (parent->type) {
761 case NODE_TYPE_DECLARATOR:
762 parent->u.field_class_declarator.type = TYPEDEC_NESTED;
763 parent->u.field_class_declarator.u.nested.field_class_declarator = node;
765 case NODE_STRUCT_OR_VARIANT_DECLARATION:
766 _bt_list_splice_tail(&node->tmp_head, &parent->u.struct_or_variant_declaration.field_class_declarators);
769 _bt_list_splice_tail(&node->tmp_head, &parent->u.field_class_def.field_class_declarators);
771 case NODE_TYPEALIAS_TARGET:
772 _bt_list_splice_tail(&node->tmp_head, &parent->u.field_class_alias_target.field_class_declarators);
774 case NODE_TYPEALIAS_ALIAS:
775 _bt_list_splice_tail(&node->tmp_head, &parent->u.field_class_alias_name.field_class_declarators);
789 case NODE_FLOATING_POINT:
792 case NODE_CTF_EXPRESSION:
793 case NODE_TYPE_SPECIFIER:
794 case NODE_TYPE_SPECIFIER_LIST:
796 case NODE_ENUMERATOR:
797 case NODE_UNARY_EXPRESSION:
802 BT_LOGE("Unknown node type: node-type=%d", parent->type);
811 * Link node to parent. Returns 0 on success, -EPERM if it is not permitted to
812 * create the link declared by the input, -ENOENT if node or parent is NULL,
813 * -EINVAL if there is an internal structure problem.
815 static int set_parent_node(struct ctf_node *node,
816 struct ctf_node *parent)
818 if (!node || !parent)
821 /* Note: Linking to parent will be done only by an external visitor */
823 switch (node->type) {
825 BT_LOGE_STR("Trying to reparent root node.");
829 if (parent->type == NODE_ROOT) {
830 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.event);
836 if (parent->type == NODE_ROOT) {
837 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.stream);
843 if (parent->type == NODE_ROOT) {
844 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.env);
850 if (parent->type == NODE_ROOT) {
851 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.trace);
857 if (parent->type == NODE_ROOT) {
858 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.clock);
864 if (parent->type == NODE_ROOT) {
865 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.callsite);
871 case NODE_CTF_EXPRESSION:
872 return reparent_ctf_expression(node, parent);
873 case NODE_UNARY_EXPRESSION:
874 if (parent->type == NODE_TYPE_DECLARATOR)
875 parent->u.field_class_declarator.bitfield_len = node;
881 return reparent_typedef(node, parent);
882 case NODE_TYPEALIAS_TARGET:
883 if (parent->type == NODE_TYPEALIAS)
884 parent->u.field_class_alias.target = node;
888 case NODE_TYPEALIAS_ALIAS:
889 if (parent->type == NODE_TYPEALIAS)
890 parent->u.field_class_alias.alias = node;
895 return reparent_field_class_alias(node, parent);
898 if (parent->type == NODE_TYPE_DECLARATOR) {
899 _bt_list_splice_tail(&node->tmp_head, &parent->u.field_class_declarator.pointers);
903 case NODE_TYPE_DECLARATOR:
904 return reparent_field_class_declarator(node, parent);
906 case NODE_TYPE_SPECIFIER_LIST:
907 return reparent_field_class_specifier_list(node, parent);
909 case NODE_TYPE_SPECIFIER:
910 return reparent_field_class_specifier(node, parent);
912 case NODE_FLOATING_POINT:
918 return -EINVAL; /* Dealt with internally within grammar */
920 case NODE_ENUMERATOR:
921 if (parent->type == NODE_ENUM) {
922 _bt_list_splice_tail(&node->tmp_head, &parent->u._enum.enumerator_list);
927 case NODE_STRUCT_OR_VARIANT_DECLARATION:
928 switch (parent->type) {
930 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
933 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
942 BT_LOGE("Unknown node type: node-type=%d", parent->type);
949 void yyerror(struct ctf_scanner *scanner, yyscan_t yyscanner, const char *str)
951 _BT_LOGE_LINENO(yyget_lineno(scanner->scanner),
952 "%s: token=\"%s\"", str, yyget_text(scanner->scanner));
961 #define reparent_error(scanner, str) \
963 yyerror(scanner, scanner->scanner, YY_("reparent_error: " str)); \
967 static struct ctf_ast *ctf_ast_alloc(struct ctf_scanner *scanner)
971 ast = objstack_alloc(scanner->objstack, sizeof(*ast));
974 ast->root.type = NODE_ROOT;
975 BT_INIT_LIST_HEAD(&ast->root.tmp_head);
976 BT_INIT_LIST_HEAD(&ast->root.u.root.declaration_list);
977 BT_INIT_LIST_HEAD(&ast->root.u.root.trace);
978 BT_INIT_LIST_HEAD(&ast->root.u.root.env);
979 BT_INIT_LIST_HEAD(&ast->root.u.root.stream);
980 BT_INIT_LIST_HEAD(&ast->root.u.root.event);
981 BT_INIT_LIST_HEAD(&ast->root.u.root.clock);
982 BT_INIT_LIST_HEAD(&ast->root.u.root.callsite);
986 int ctf_scanner_append_ast(struct ctf_scanner *scanner, FILE *input)
988 /* Start processing new stream */
989 yyrestart(input, scanner->scanner);
990 return yyparse(scanner, scanner->scanner);
993 struct ctf_scanner *ctf_scanner_alloc(void)
995 struct ctf_scanner *scanner;
998 scanner = malloc(sizeof(*scanner));
1001 memset(scanner, 0, sizeof(*scanner));
1002 ret = yylex_init_extra(scanner, &scanner->scanner);
1004 BT_LOGE("yylex_init_extra() failed: ret=%d", ret);
1005 goto cleanup_scanner;
1007 scanner->objstack = objstack_create();
1008 if (!scanner->objstack)
1010 scanner->ast = ctf_ast_alloc(scanner);
1012 goto cleanup_objstack;
1013 init_scope(&scanner->root_scope, NULL);
1014 scanner->cs = &scanner->root_scope;
1019 objstack_destroy(scanner->objstack);
1021 ret = yylex_destroy(scanner->scanner);
1023 BT_LOGE("yylex_destroy() failed: scanner-addr=%p, ret=%d",
1030 void ctf_scanner_free(struct ctf_scanner *scanner)
1036 finalize_scope(&scanner->root_scope);
1037 objstack_destroy(scanner->objstack);
1038 ret = yylex_destroy(scanner->scanner);
1040 BT_LOGE("yylex_destroy() failed: scanner-addr=%p, ret=%d",
1050 %parse-param {struct ctf_scanner *scanner}
1051 %parse-param {yyscan_t yyscanner}
1052 %lex-param {yyscan_t yyscanner}
1054 * Expect two shift-reduce conflicts. Caused by enum name-opt : type {}
1055 * vs struct { int :value; } (unnamed bit-field). The default is to
1056 * shift, so whenever we encounter an enumeration, we are doing the
1057 * proper thing (shift). It is illegal to declare an enumeration
1058 * "bit-field", so it is OK if this situation ends up in a parsing
1063 %token CTF_INTEGER_LITERAL CTF_STRING_LITERAL CTF_CHARACTER_LITERAL CTF_LSBRAC CTF_RSBRAC CTF_LPAREN CTF_RPAREN CTF_LBRAC CTF_RBRAC CTF_RARROW CTF_STAR CTF_PLUS CTF_MINUS CTF_LT CTF_GT CTF_TYPEASSIGN CTF_COLON CTF_SEMICOLON CTF_DOTDOTDOT CTF_DOT CTF_EQUAL CTF_COMMA CTF_CONST CTF_CHAR CTF_DOUBLE CTF_ENUM CTF_ENV CTF_EVENT CTF_FLOATING_POINT CTF_FLOAT CTF_INTEGER CTF_INT CTF_LONG CTF_SHORT CTF_SIGNED CTF_STREAM CTF_STRING CTF_STRUCT CTF_TRACE CTF_CALLSITE CTF_CLOCK CTF_TYPEALIAS CTF_TYPEDEF CTF_UNSIGNED CTF_VARIANT CTF_VOID CTF_BOOL CTF_COMPLEX CTF_IMAGINARY CTF_TOK_ALIGN
1064 %token <s> IDENTIFIER ID_TYPE
1069 unsigned long long ull;
1075 %type <s> CTF_STRING_LITERAL CTF_CHARACTER_LITERAL
1079 %type <ull> CTF_INTEGER_LITERAL
1080 %type <n> postfix_expression unary_expression unary_expression_or_range
1082 %type <n> declaration
1083 %type <n> event_declaration
1084 %type <n> stream_declaration
1085 %type <n> env_declaration
1086 %type <n> trace_declaration
1087 %type <n> clock_declaration
1088 %type <n> callsite_declaration
1089 %type <n> integer_declaration_specifiers
1090 %type <n> declaration_specifiers
1091 %type <n> alias_declaration_specifiers
1093 %type <n> field_class_declarator_list
1094 %type <n> integer_field_class_specifier
1095 %type <n> field_class_specifier
1096 %type <n> struct_class_specifier
1097 %type <n> variant_field_class_specifier
1098 %type <n> enum_field_class_specifier
1099 %type <n> struct_or_variant_declaration_list
1100 %type <n> struct_or_variant_declaration
1101 %type <n> struct_or_variant_declarator_list
1102 %type <n> struct_or_variant_declarator
1103 %type <n> enumerator_list
1104 %type <n> enumerator
1105 %type <n> abstract_declarator_list
1106 %type <n> abstract_declarator
1107 %type <n> direct_abstract_declarator
1108 %type <n> alias_abstract_declarator_list
1109 %type <n> alias_abstract_declarator
1110 %type <n> direct_alias_abstract_declarator
1111 %type <n> declarator
1112 %type <n> direct_declarator
1113 %type <n> field_class_declarator
1114 %type <n> direct_field_class_declarator
1116 %type <n> ctf_assignment_expression_list
1117 %type <n> ctf_assignment_expression
1124 if (set_parent_node($1, &ctf_scanner_get_ast(scanner)->root))
1125 reparent_error(scanner, "error reparenting to root");
1129 if (set_parent_node($2, &ctf_scanner_get_ast(scanner)->root))
1130 reparent_error(scanner, "error reparenting to root");
1159 | CTF_FLOATING_POINT
1192 /* 2: Phrase structure grammar */
1197 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1198 $$->u.unary_expression.type = UNARY_STRING;
1199 $$->u.unary_expression.u.string = yylval.s;
1203 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1204 $$->u.unary_expression.type = UNARY_STRING;
1205 $$->u.unary_expression.u.string = yylval.s;
1209 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1210 $$->u.unary_expression.type = UNARY_STRING;
1211 $$->u.unary_expression.u.string = yylval.s;
1213 | CTF_INTEGER_LITERAL
1215 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1216 $$->u.unary_expression.type = UNARY_UNSIGNED_CONSTANT;
1217 $$->u.unary_expression.u.unsigned_constant = $1;
1219 | CTF_STRING_LITERAL
1221 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1222 $$->u.unary_expression.type = UNARY_STRING;
1223 $$->u.unary_expression.u.string = $1;
1225 | CTF_CHARACTER_LITERAL
1227 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1228 $$->u.unary_expression.type = UNARY_STRING;
1229 $$->u.unary_expression.u.string = $1;
1231 | CTF_LPAREN unary_expression CTF_RPAREN
1235 | postfix_expression CTF_LSBRAC unary_expression CTF_RSBRAC
1237 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1238 $$->u.unary_expression.type = UNARY_SBRAC;
1239 $$->u.unary_expression.u.sbrac_exp = $3;
1240 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1241 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1243 | postfix_expression CTF_DOT IDENTIFIER
1245 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1246 $$->u.unary_expression.type = UNARY_STRING;
1247 $$->u.unary_expression.u.string = yylval.s;
1248 $$->u.unary_expression.link = UNARY_DOTLINK;
1249 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1250 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1252 | postfix_expression CTF_DOT ID_TYPE
1254 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1255 $$->u.unary_expression.type = UNARY_STRING;
1256 $$->u.unary_expression.u.string = yylval.s;
1257 $$->u.unary_expression.link = UNARY_DOTLINK;
1258 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1259 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1261 | postfix_expression CTF_DOT keywords
1263 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1264 $$->u.unary_expression.type = UNARY_STRING;
1265 $$->u.unary_expression.u.string = yylval.s;
1266 $$->u.unary_expression.link = UNARY_DOTLINK;
1267 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1268 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1270 | postfix_expression CTF_RARROW IDENTIFIER
1272 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1273 $$->u.unary_expression.type = UNARY_STRING;
1274 $$->u.unary_expression.u.string = yylval.s;
1275 $$->u.unary_expression.link = UNARY_ARROWLINK;
1276 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1277 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1279 | postfix_expression CTF_RARROW ID_TYPE
1281 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1282 $$->u.unary_expression.type = UNARY_STRING;
1283 $$->u.unary_expression.u.string = yylval.s;
1284 $$->u.unary_expression.link = UNARY_ARROWLINK;
1285 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1286 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1293 | CTF_PLUS postfix_expression
1296 if ($$->u.unary_expression.type != UNARY_UNSIGNED_CONSTANT
1297 && $$->u.unary_expression.type != UNARY_SIGNED_CONSTANT) {
1298 reparent_error(scanner, "expecting numeric constant");
1301 | CTF_MINUS postfix_expression
1304 if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1305 $$->u.unary_expression.type = UNARY_SIGNED_CONSTANT;
1306 $$->u.unary_expression.u.signed_constant =
1307 -($$->u.unary_expression.u.unsigned_constant);
1308 } else if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1309 $$->u.unary_expression.u.signed_constant =
1310 -($$->u.unary_expression.u.signed_constant);
1312 reparent_error(scanner, "expecting numeric constant");
1317 unary_expression_or_range:
1318 unary_expression CTF_DOTDOTDOT unary_expression
1321 _bt_list_splice_tail(&($3)->tmp_head, &($$)->tmp_head);
1322 $3->u.unary_expression.link = UNARY_DOTDOTDOT;
1328 /* 2.2: Declarations */
1331 declaration_specifiers CTF_SEMICOLON
1335 | stream_declaration
1343 | callsite_declaration
1345 | declaration_specifiers CTF_TYPEDEF declaration_specifiers field_class_declarator_list CTF_SEMICOLON
1347 struct ctf_node *list;
1349 $$ = make_node(scanner, NODE_TYPEDEF);
1350 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1351 $$->u.field_class_def.field_class_specifier_list = list;
1352 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1353 _bt_list_splice_tail(&($3)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1354 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
1356 | CTF_TYPEDEF declaration_specifiers field_class_declarator_list CTF_SEMICOLON
1358 struct ctf_node *list;
1360 $$ = make_node(scanner, NODE_TYPEDEF);
1361 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1362 $$->u.field_class_def.field_class_specifier_list = list;
1363 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1364 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
1366 | declaration_specifiers CTF_TYPEDEF field_class_declarator_list CTF_SEMICOLON
1368 struct ctf_node *list;
1370 $$ = make_node(scanner, NODE_TYPEDEF);
1371 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1372 $$->u.field_class_def.field_class_specifier_list = list;
1373 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1374 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
1376 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list CTF_SEMICOLON
1378 struct ctf_node *list;
1380 $$ = make_node(scanner, NODE_TYPEALIAS);
1381 $$->u.field_class_alias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
1382 $$->u.field_class_alias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
1384 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1385 $$->u.field_class_alias.target->u.field_class_alias_target.field_class_specifier_list = list;
1386 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1387 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_alias.target->u.field_class_alias_target.field_class_declarators);
1389 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1390 $$->u.field_class_alias.alias->u.field_class_alias_name.field_class_specifier_list = list;
1391 _bt_list_splice_tail(&($5)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
1392 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.field_class_alias.alias->u.field_class_alias_name.field_class_declarators);
1397 event_declaration_begin event_declaration_end
1399 $$ = make_node(scanner, NODE_EVENT);
1401 | event_declaration_begin ctf_assignment_expression_list event_declaration_end
1403 $$ = make_node(scanner, NODE_EVENT);
1404 if (set_parent_node($2, $$))
1405 reparent_error(scanner, "event_declaration");
1409 event_declaration_begin:
1411 { push_scope(scanner); }
1414 event_declaration_end:
1415 CTF_RBRAC CTF_SEMICOLON
1416 { pop_scope(scanner); }
1421 stream_declaration_begin stream_declaration_end
1423 $$ = make_node(scanner, NODE_STREAM);
1425 | stream_declaration_begin ctf_assignment_expression_list stream_declaration_end
1427 $$ = make_node(scanner, NODE_STREAM);
1428 if (set_parent_node($2, $$))
1429 reparent_error(scanner, "stream_declaration");
1433 stream_declaration_begin:
1434 CTF_STREAM CTF_LBRAC
1435 { push_scope(scanner); }
1438 stream_declaration_end:
1439 CTF_RBRAC CTF_SEMICOLON
1440 { pop_scope(scanner); }
1444 env_declaration_begin env_declaration_end
1446 $$ = make_node(scanner, NODE_ENV);
1448 | env_declaration_begin ctf_assignment_expression_list env_declaration_end
1450 $$ = make_node(scanner, NODE_ENV);
1451 if (set_parent_node($2, $$))
1452 reparent_error(scanner, "env declaration");
1456 env_declaration_begin:
1458 { push_scope(scanner); }
1461 env_declaration_end:
1462 CTF_RBRAC CTF_SEMICOLON
1463 { pop_scope(scanner); }
1467 trace_declaration_begin trace_declaration_end
1469 $$ = make_node(scanner, NODE_TRACE);
1471 | trace_declaration_begin ctf_assignment_expression_list trace_declaration_end
1473 $$ = make_node(scanner, NODE_TRACE);
1474 if (set_parent_node($2, $$))
1475 reparent_error(scanner, "trace_declaration");
1479 trace_declaration_begin:
1481 { push_scope(scanner); }
1484 trace_declaration_end:
1485 CTF_RBRAC CTF_SEMICOLON
1486 { pop_scope(scanner); }
1490 CTF_CLOCK clock_declaration_begin clock_declaration_end
1492 $$ = make_node(scanner, NODE_CLOCK);
1494 | CTF_CLOCK clock_declaration_begin ctf_assignment_expression_list clock_declaration_end
1496 $$ = make_node(scanner, NODE_CLOCK);
1497 if (set_parent_node($3, $$))
1498 reparent_error(scanner, "trace_declaration");
1502 clock_declaration_begin:
1504 { push_scope(scanner); }
1507 clock_declaration_end:
1508 CTF_RBRAC CTF_SEMICOLON
1509 { pop_scope(scanner); }
1512 callsite_declaration:
1513 CTF_CALLSITE callsite_declaration_begin callsite_declaration_end
1515 $$ = make_node(scanner, NODE_CALLSITE);
1517 | CTF_CALLSITE callsite_declaration_begin ctf_assignment_expression_list callsite_declaration_end
1519 $$ = make_node(scanner, NODE_CALLSITE);
1520 if (set_parent_node($3, $$))
1521 reparent_error(scanner, "trace_declaration");
1525 callsite_declaration_begin:
1527 { push_scope(scanner); }
1530 callsite_declaration_end:
1531 CTF_RBRAC CTF_SEMICOLON
1532 { pop_scope(scanner); }
1535 integer_declaration_specifiers:
1538 struct ctf_node *node;
1540 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1541 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1542 node->u.field_class_specifier.type = TYPESPEC_CONST;
1543 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1545 | integer_field_class_specifier
1547 struct ctf_node *node;
1549 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1551 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1553 | integer_declaration_specifiers CTF_CONST
1555 struct ctf_node *node;
1558 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1559 node->u.field_class_specifier.type = TYPESPEC_CONST;
1560 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1562 | integer_declaration_specifiers integer_field_class_specifier
1565 bt_list_add_tail(&($2)->siblings, &($$)->u.field_class_specifier_list.head);
1569 declaration_specifiers:
1572 struct ctf_node *node;
1574 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1575 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1576 node->u.field_class_specifier.type = TYPESPEC_CONST;
1577 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1579 | field_class_specifier
1581 struct ctf_node *node;
1583 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1585 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1587 | declaration_specifiers CTF_CONST
1589 struct ctf_node *node;
1592 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1593 node->u.field_class_specifier.type = TYPESPEC_CONST;
1594 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
1596 | declaration_specifiers field_class_specifier
1599 bt_list_add_tail(&($2)->siblings, &($$)->u.field_class_specifier_list.head);
1603 field_class_declarator_list:
1604 field_class_declarator
1606 | field_class_declarator_list CTF_COMMA field_class_declarator
1609 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
1613 integer_field_class_specifier:
1616 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1617 $$->u.field_class_specifier.type = TYPESPEC_CHAR;
1621 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1622 $$->u.field_class_specifier.type = TYPESPEC_SHORT;
1626 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1627 $$->u.field_class_specifier.type = TYPESPEC_INT;
1631 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1632 $$->u.field_class_specifier.type = TYPESPEC_LONG;
1636 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1637 $$->u.field_class_specifier.type = TYPESPEC_SIGNED;
1641 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1642 $$->u.field_class_specifier.type = TYPESPEC_UNSIGNED;
1646 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1647 $$->u.field_class_specifier.type = TYPESPEC_BOOL;
1651 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1652 $$->u.field_class_specifier.type = TYPESPEC_ID_TYPE;
1653 $$->u.field_class_specifier.id_type = yylval.s;
1655 | CTF_INTEGER CTF_LBRAC CTF_RBRAC
1657 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1658 $$->u.field_class_specifier.type = TYPESPEC_INTEGER;
1659 $$->u.field_class_specifier.node = make_node(scanner, NODE_INTEGER);
1661 | CTF_INTEGER CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1663 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1664 $$->u.field_class_specifier.type = TYPESPEC_INTEGER;
1665 $$->u.field_class_specifier.node = make_node(scanner, NODE_INTEGER);
1666 if (set_parent_node($3, $$->u.field_class_specifier.node))
1667 reparent_error(scanner, "integer reparent error");
1671 field_class_specifier:
1674 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1675 $$->u.field_class_specifier.type = TYPESPEC_VOID;
1679 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1680 $$->u.field_class_specifier.type = TYPESPEC_CHAR;
1684 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1685 $$->u.field_class_specifier.type = TYPESPEC_SHORT;
1689 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1690 $$->u.field_class_specifier.type = TYPESPEC_INT;
1694 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1695 $$->u.field_class_specifier.type = TYPESPEC_LONG;
1699 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1700 $$->u.field_class_specifier.type = TYPESPEC_FLOAT;
1704 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1705 $$->u.field_class_specifier.type = TYPESPEC_DOUBLE;
1709 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1710 $$->u.field_class_specifier.type = TYPESPEC_SIGNED;
1714 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1715 $$->u.field_class_specifier.type = TYPESPEC_UNSIGNED;
1719 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1720 $$->u.field_class_specifier.type = TYPESPEC_BOOL;
1724 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1725 $$->u.field_class_specifier.type = TYPESPEC_COMPLEX;
1729 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1730 $$->u.field_class_specifier.type = TYPESPEC_IMAGINARY;
1734 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1735 $$->u.field_class_specifier.type = TYPESPEC_ID_TYPE;
1736 $$->u.field_class_specifier.id_type = yylval.s;
1738 | CTF_FLOATING_POINT CTF_LBRAC CTF_RBRAC
1740 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1741 $$->u.field_class_specifier.type = TYPESPEC_FLOATING_POINT;
1742 $$->u.field_class_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1744 | CTF_FLOATING_POINT CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1746 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1747 $$->u.field_class_specifier.type = TYPESPEC_FLOATING_POINT;
1748 $$->u.field_class_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1749 if (set_parent_node($3, $$->u.field_class_specifier.node))
1750 reparent_error(scanner, "floating point reparent error");
1752 | CTF_INTEGER CTF_LBRAC CTF_RBRAC
1754 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1755 $$->u.field_class_specifier.type = TYPESPEC_INTEGER;
1756 $$->u.field_class_specifier.node = make_node(scanner, NODE_INTEGER);
1758 | CTF_INTEGER CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1760 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1761 $$->u.field_class_specifier.type = TYPESPEC_INTEGER;
1762 $$->u.field_class_specifier.node = make_node(scanner, NODE_INTEGER);
1763 if (set_parent_node($3, $$->u.field_class_specifier.node))
1764 reparent_error(scanner, "integer reparent error");
1768 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1769 $$->u.field_class_specifier.type = TYPESPEC_STRING;
1770 $$->u.field_class_specifier.node = make_node(scanner, NODE_STRING);
1772 | CTF_STRING CTF_LBRAC CTF_RBRAC
1774 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1775 $$->u.field_class_specifier.type = TYPESPEC_STRING;
1776 $$->u.field_class_specifier.node = make_node(scanner, NODE_STRING);
1778 | CTF_STRING CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1780 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1781 $$->u.field_class_specifier.type = TYPESPEC_STRING;
1782 $$->u.field_class_specifier.node = make_node(scanner, NODE_STRING);
1783 if (set_parent_node($3, $$->u.field_class_specifier.node))
1784 reparent_error(scanner, "string reparent error");
1786 | CTF_ENUM enum_field_class_specifier
1788 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1789 $$->u.field_class_specifier.type = TYPESPEC_ENUM;
1790 $$->u.field_class_specifier.node = $2;
1792 | CTF_VARIANT variant_field_class_specifier
1794 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1795 $$->u.field_class_specifier.type = TYPESPEC_VARIANT;
1796 $$->u.field_class_specifier.node = $2;
1798 | CTF_STRUCT struct_class_specifier
1800 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1801 $$->u.field_class_specifier.type = TYPESPEC_STRUCT;
1802 $$->u.field_class_specifier.node = $2;
1806 struct_class_specifier:
1807 struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1809 $$ = make_node(scanner, NODE_STRUCT);
1810 $$->u._struct.has_body = 1;
1811 if ($2 && set_parent_node($2, $$))
1812 reparent_error(scanner, "struct reparent error");
1814 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1816 $$ = make_node(scanner, NODE_STRUCT);
1817 $$->u._struct.has_body = 1;
1818 $$->u._struct.name = $1;
1819 if ($3 && set_parent_node($3, $$))
1820 reparent_error(scanner, "struct reparent error");
1822 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1824 $$ = make_node(scanner, NODE_STRUCT);
1825 $$->u._struct.has_body = 1;
1826 $$->u._struct.name = $1;
1827 if ($3 && set_parent_node($3, $$))
1828 reparent_error(scanner, "struct reparent error");
1832 $$ = make_node(scanner, NODE_STRUCT);
1833 $$->u._struct.has_body = 0;
1834 $$->u._struct.name = $1;
1838 $$ = make_node(scanner, NODE_STRUCT);
1839 $$->u._struct.has_body = 0;
1840 $$->u._struct.name = $1;
1842 | struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1844 $$ = make_node(scanner, NODE_STRUCT);
1845 $$->u._struct.has_body = 1;
1846 bt_list_add_tail(&($6)->siblings, &$$->u._struct.min_align);
1847 if ($2 && set_parent_node($2, $$))
1848 reparent_error(scanner, "struct reparent error");
1850 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1852 $$ = make_node(scanner, NODE_STRUCT);
1853 $$->u._struct.has_body = 1;
1854 $$->u._struct.name = $1;
1855 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1856 if ($3 && set_parent_node($3, $$))
1857 reparent_error(scanner, "struct reparent error");
1859 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1861 $$ = make_node(scanner, NODE_STRUCT);
1862 $$->u._struct.has_body = 1;
1863 $$->u._struct.name = $1;
1864 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1865 if ($3 && set_parent_node($3, $$))
1866 reparent_error(scanner, "struct reparent error");
1870 struct_declaration_begin:
1872 { push_scope(scanner); }
1875 struct_declaration_end:
1877 { pop_scope(scanner); }
1880 variant_field_class_specifier:
1881 variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1883 $$ = make_node(scanner, NODE_VARIANT);
1884 $$->u.variant.has_body = 1;
1885 if ($2 && set_parent_node($2, $$))
1886 reparent_error(scanner, "variant reparent error");
1888 | CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1890 $$ = make_node(scanner, NODE_VARIANT);
1891 $$->u.variant.has_body = 1;
1892 $$->u.variant.choice = $2;
1893 if ($5 && set_parent_node($5, $$))
1894 reparent_error(scanner, "variant reparent error");
1896 | CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1898 $$ = make_node(scanner, NODE_VARIANT);
1899 $$->u.variant.has_body = 1;
1900 $$->u.variant.choice = $2;
1901 if ($5 && set_parent_node($5, $$))
1902 reparent_error(scanner, "variant reparent error");
1904 | IDENTIFIER variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1906 $$ = make_node(scanner, NODE_VARIANT);
1907 $$->u.variant.has_body = 1;
1908 $$->u.variant.name = $1;
1909 if ($3 && set_parent_node($3, $$))
1910 reparent_error(scanner, "variant reparent error");
1912 | IDENTIFIER CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1914 $$ = make_node(scanner, NODE_VARIANT);
1915 $$->u.variant.has_body = 1;
1916 $$->u.variant.name = $1;
1917 $$->u.variant.choice = $3;
1918 if ($6 && set_parent_node($6, $$))
1919 reparent_error(scanner, "variant reparent error");
1921 | IDENTIFIER CTF_LT IDENTIFIER CTF_GT
1923 $$ = make_node(scanner, NODE_VARIANT);
1924 $$->u.variant.has_body = 0;
1925 $$->u.variant.name = $1;
1926 $$->u.variant.choice = $3;
1928 | IDENTIFIER CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1930 $$ = make_node(scanner, NODE_VARIANT);
1931 $$->u.variant.has_body = 1;
1932 $$->u.variant.name = $1;
1933 $$->u.variant.choice = $3;
1934 if ($6 && set_parent_node($6, $$))
1935 reparent_error(scanner, "variant reparent error");
1937 | IDENTIFIER CTF_LT ID_TYPE CTF_GT
1939 $$ = make_node(scanner, NODE_VARIANT);
1940 $$->u.variant.has_body = 0;
1941 $$->u.variant.name = $1;
1942 $$->u.variant.choice = $3;
1944 | ID_TYPE variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1946 $$ = make_node(scanner, NODE_VARIANT);
1947 $$->u.variant.has_body = 1;
1948 $$->u.variant.name = $1;
1949 if ($3 && set_parent_node($3, $$))
1950 reparent_error(scanner, "variant reparent error");
1952 | ID_TYPE CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1954 $$ = make_node(scanner, NODE_VARIANT);
1955 $$->u.variant.has_body = 1;
1956 $$->u.variant.name = $1;
1957 $$->u.variant.choice = $3;
1958 if ($6 && set_parent_node($6, $$))
1959 reparent_error(scanner, "variant reparent error");
1961 | ID_TYPE CTF_LT IDENTIFIER CTF_GT
1963 $$ = make_node(scanner, NODE_VARIANT);
1964 $$->u.variant.has_body = 0;
1965 $$->u.variant.name = $1;
1966 $$->u.variant.choice = $3;
1968 | ID_TYPE CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1970 $$ = make_node(scanner, NODE_VARIANT);
1971 $$->u.variant.has_body = 1;
1972 $$->u.variant.name = $1;
1973 $$->u.variant.choice = $3;
1974 if ($6 && set_parent_node($6, $$))
1975 reparent_error(scanner, "variant reparent error");
1977 | ID_TYPE CTF_LT ID_TYPE CTF_GT
1979 $$ = make_node(scanner, NODE_VARIANT);
1980 $$->u.variant.has_body = 0;
1981 $$->u.variant.name = $1;
1982 $$->u.variant.choice = $3;
1986 variant_declaration_begin:
1988 { push_scope(scanner); }
1991 variant_declaration_end:
1993 { pop_scope(scanner); }
1996 enum_field_class_specifier:
1997 CTF_LBRAC enumerator_list CTF_RBRAC
1999 $$ = make_node(scanner, NODE_ENUM);
2000 $$->u._enum.has_body = 1;
2001 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
2003 | CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2005 $$ = make_node(scanner, NODE_ENUM);
2006 $$->u._enum.has_body = 1;
2007 ($$)->u._enum.container_field_class = $2;
2008 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2010 | IDENTIFIER CTF_LBRAC enumerator_list CTF_RBRAC
2012 $$ = make_node(scanner, NODE_ENUM);
2013 $$->u._enum.has_body = 1;
2014 $$->u._enum.enum_id = $1;
2015 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2017 | IDENTIFIER CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2019 $$ = make_node(scanner, NODE_ENUM);
2020 $$->u._enum.has_body = 1;
2021 $$->u._enum.enum_id = $1;
2022 ($$)->u._enum.container_field_class = $3;
2023 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2025 | ID_TYPE CTF_LBRAC enumerator_list CTF_RBRAC
2027 $$ = make_node(scanner, NODE_ENUM);
2028 $$->u._enum.has_body = 1;
2029 $$->u._enum.enum_id = $1;
2030 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2032 | ID_TYPE CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2034 $$ = make_node(scanner, NODE_ENUM);
2035 $$->u._enum.has_body = 1;
2036 $$->u._enum.enum_id = $1;
2037 ($$)->u._enum.container_field_class = $3;
2038 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2040 | CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2042 $$ = make_node(scanner, NODE_ENUM);
2043 $$->u._enum.has_body = 1;
2044 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
2046 | CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2048 $$ = make_node(scanner, NODE_ENUM);
2049 $$->u._enum.has_body = 1;
2050 ($$)->u._enum.container_field_class = $2;
2051 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2053 | IDENTIFIER CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2055 $$ = make_node(scanner, NODE_ENUM);
2056 $$->u._enum.has_body = 1;
2057 $$->u._enum.enum_id = $1;
2058 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2060 | IDENTIFIER CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2062 $$ = make_node(scanner, NODE_ENUM);
2063 $$->u._enum.has_body = 1;
2064 $$->u._enum.enum_id = $1;
2065 ($$)->u._enum.container_field_class = $3;
2066 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2070 $$ = make_node(scanner, NODE_ENUM);
2071 $$->u._enum.has_body = 0;
2072 $$->u._enum.enum_id = $1;
2074 | ID_TYPE CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2076 $$ = make_node(scanner, NODE_ENUM);
2077 $$->u._enum.has_body = 1;
2078 $$->u._enum.enum_id = $1;
2079 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2081 | ID_TYPE CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2083 $$ = make_node(scanner, NODE_ENUM);
2084 $$->u._enum.has_body = 1;
2085 $$->u._enum.enum_id = $1;
2086 ($$)->u._enum.container_field_class = $3;
2087 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2091 $$ = make_node(scanner, NODE_ENUM);
2092 $$->u._enum.has_body = 0;
2093 $$->u._enum.enum_id = $1;
2097 struct_or_variant_declaration_list:
2100 | struct_or_variant_declaration_list struct_or_variant_declaration
2104 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2107 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
2112 struct_or_variant_declaration:
2113 declaration_specifiers struct_or_variant_declarator_list CTF_SEMICOLON
2115 struct ctf_node *list;
2117 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2118 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2119 $$ = make_node(scanner, NODE_STRUCT_OR_VARIANT_DECLARATION);
2120 ($$)->u.struct_or_variant_declaration.field_class_specifier_list = list;
2121 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u.struct_or_variant_declaration.field_class_declarators);
2123 | declaration_specifiers CTF_TYPEDEF declaration_specifiers field_class_declarator_list CTF_SEMICOLON
2125 struct ctf_node *list;
2127 $$ = make_node(scanner, NODE_TYPEDEF);
2128 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2129 $$->u.field_class_def.field_class_specifier_list = list;
2130 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2131 _bt_list_splice_tail(&($3)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2132 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2134 | CTF_TYPEDEF declaration_specifiers field_class_declarator_list CTF_SEMICOLON
2136 struct ctf_node *list;
2138 $$ = make_node(scanner, NODE_TYPEDEF);
2139 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2140 $$->u.field_class_def.field_class_specifier_list = list;
2141 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2142 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2144 | declaration_specifiers CTF_TYPEDEF field_class_declarator_list CTF_SEMICOLON
2146 struct ctf_node *list;
2148 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2149 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2150 $$ = make_node(scanner, NODE_TYPEDEF);
2151 ($$)->u.struct_or_variant_declaration.field_class_specifier_list = list;
2152 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2154 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list CTF_SEMICOLON
2156 struct ctf_node *list;
2158 $$ = make_node(scanner, NODE_TYPEALIAS);
2159 $$->u.field_class_alias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2160 $$->u.field_class_alias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2162 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2163 $$->u.field_class_alias.target->u.field_class_alias_target.field_class_specifier_list = list;
2164 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2165 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_alias.target->u.field_class_alias_target.field_class_declarators);
2167 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2168 $$->u.field_class_alias.alias->u.field_class_alias_name.field_class_specifier_list = list;
2169 _bt_list_splice_tail(&($5)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2170 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.field_class_alias.alias->u.field_class_alias_name.field_class_declarators);
2174 alias_declaration_specifiers:
2177 struct ctf_node *node;
2179 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2180 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2181 node->u.field_class_specifier.type = TYPESPEC_CONST;
2182 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
2184 | field_class_specifier
2186 struct ctf_node *node;
2188 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2190 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
2194 struct ctf_node *node;
2196 add_type(scanner, $1);
2197 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2198 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2199 node->u.field_class_specifier.type = TYPESPEC_ID_TYPE;
2200 node->u.field_class_specifier.id_type = yylval.s;
2201 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
2203 | alias_declaration_specifiers CTF_CONST
2205 struct ctf_node *node;
2208 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2209 node->u.field_class_specifier.type = TYPESPEC_CONST;
2210 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
2212 | alias_declaration_specifiers field_class_specifier
2215 bt_list_add_tail(&($2)->siblings, &($$)->u.field_class_specifier_list.head);
2217 | alias_declaration_specifiers IDENTIFIER
2219 struct ctf_node *node;
2221 add_type(scanner, $2);
2223 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2224 node->u.field_class_specifier.type = TYPESPEC_ID_TYPE;
2225 node->u.field_class_specifier.id_type = yylval.s;
2226 bt_list_add_tail(&node->siblings, &($$)->u.field_class_specifier_list.head);
2230 struct_or_variant_declarator_list:
2231 struct_or_variant_declarator
2233 | struct_or_variant_declarator_list CTF_COMMA struct_or_variant_declarator
2236 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2240 struct_or_variant_declarator:
2243 | CTF_COLON unary_expression
2245 | declarator CTF_COLON unary_expression
2248 if (set_parent_node($3, $1))
2249 reparent_error(scanner, "struct_or_variant_declarator");
2256 | enumerator_list CTF_COMMA enumerator
2259 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2266 $$ = make_node(scanner, NODE_ENUMERATOR);
2267 $$->u.enumerator.id = $1;
2271 $$ = make_node(scanner, NODE_ENUMERATOR);
2272 $$->u.enumerator.id = $1;
2276 $$ = make_node(scanner, NODE_ENUMERATOR);
2277 $$->u.enumerator.id = $1;
2279 | CTF_STRING_LITERAL
2281 $$ = make_node(scanner, NODE_ENUMERATOR);
2282 $$->u.enumerator.id = $1;
2284 | IDENTIFIER CTF_EQUAL unary_expression_or_range
2286 $$ = make_node(scanner, NODE_ENUMERATOR);
2287 $$->u.enumerator.id = $1;
2288 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2290 | ID_TYPE CTF_EQUAL unary_expression_or_range
2292 $$ = make_node(scanner, NODE_ENUMERATOR);
2293 $$->u.enumerator.id = $1;
2294 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2296 | keywords CTF_EQUAL unary_expression_or_range
2298 $$ = make_node(scanner, NODE_ENUMERATOR);
2299 $$->u.enumerator.id = $1;
2300 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2302 | CTF_STRING_LITERAL CTF_EQUAL unary_expression_or_range
2304 $$ = make_node(scanner, NODE_ENUMERATOR);
2305 $$->u.enumerator.id = $1;
2306 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2310 abstract_declarator_list:
2313 | abstract_declarator_list CTF_COMMA abstract_declarator
2316 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2320 abstract_declarator:
2321 direct_abstract_declarator
2323 | pointer direct_abstract_declarator
2326 bt_list_splice(&($1)->tmp_head, &($$)->u.field_class_declarator.pointers);
2330 direct_abstract_declarator:
2333 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2334 $$->u.field_class_declarator.type = TYPEDEC_ID;
2339 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2340 $$->u.field_class_declarator.type = TYPEDEC_ID;
2341 $$->u.field_class_declarator.u.id = $1;
2343 | CTF_LPAREN abstract_declarator CTF_RPAREN
2345 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2346 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2347 $$->u.field_class_declarator.u.nested.field_class_declarator = $2;
2349 | direct_abstract_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2351 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2352 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2353 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2354 BT_INIT_LIST_HEAD(&($$)->u.field_class_declarator.u.nested.length);
2355 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_declarator.u.nested.length);
2357 | direct_abstract_declarator CTF_LSBRAC CTF_RSBRAC
2359 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2360 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2361 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2362 $$->u.field_class_declarator.u.nested.abstract_array = 1;
2366 alias_abstract_declarator_list:
2367 alias_abstract_declarator
2369 | alias_abstract_declarator_list CTF_COMMA alias_abstract_declarator
2372 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2376 alias_abstract_declarator:
2377 direct_alias_abstract_declarator
2379 | pointer direct_alias_abstract_declarator
2382 bt_list_splice(&($1)->tmp_head, &($$)->u.field_class_declarator.pointers);
2386 direct_alias_abstract_declarator:
2389 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2390 $$->u.field_class_declarator.type = TYPEDEC_ID;
2393 | CTF_LPAREN alias_abstract_declarator CTF_RPAREN
2395 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2396 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2397 $$->u.field_class_declarator.u.nested.field_class_declarator = $2;
2399 | direct_alias_abstract_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2401 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2402 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2403 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2404 BT_INIT_LIST_HEAD(&($$)->u.field_class_declarator.u.nested.length);
2405 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_declarator.u.nested.length);
2407 | direct_alias_abstract_declarator CTF_LSBRAC CTF_RSBRAC
2409 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2410 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2411 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2412 $$->u.field_class_declarator.u.nested.abstract_array = 1;
2419 | pointer direct_declarator
2422 bt_list_splice(&($1)->tmp_head, &($$)->u.field_class_declarator.pointers);
2429 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2430 $$->u.field_class_declarator.type = TYPEDEC_ID;
2431 $$->u.field_class_declarator.u.id = $1;
2433 | CTF_LPAREN declarator CTF_RPAREN
2435 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2436 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2437 $$->u.field_class_declarator.u.nested.field_class_declarator = $2;
2439 | direct_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2441 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2442 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2443 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2444 BT_INIT_LIST_HEAD(&($$)->u.field_class_declarator.u.nested.length);
2445 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_declarator.u.nested.length);
2449 field_class_declarator:
2450 direct_field_class_declarator
2452 | pointer direct_field_class_declarator
2455 bt_list_splice(&($1)->tmp_head, &($$)->u.field_class_declarator.pointers);
2459 direct_field_class_declarator:
2462 add_type(scanner, $1);
2463 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2464 $$->u.field_class_declarator.type = TYPEDEC_ID;
2465 $$->u.field_class_declarator.u.id = $1;
2467 | CTF_LPAREN field_class_declarator CTF_RPAREN
2469 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2470 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2471 $$->u.field_class_declarator.u.nested.field_class_declarator = $2;
2473 | direct_field_class_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2475 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2476 $$->u.field_class_declarator.type = TYPEDEC_NESTED;
2477 $$->u.field_class_declarator.u.nested.field_class_declarator = $1;
2478 BT_INIT_LIST_HEAD(&($$)->u.field_class_declarator.u.nested.length);
2479 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_declarator.u.nested.length);
2486 $$ = make_node(scanner, NODE_POINTER);
2490 $$ = make_node(scanner, NODE_POINTER);
2491 bt_list_splice(&($2)->tmp_head, &($$)->tmp_head);
2493 | CTF_STAR type_qualifier_list pointer
2495 $$ = make_node(scanner, NODE_POINTER);
2496 $$->u.pointer.const_qualifier = 1;
2497 bt_list_splice(&($3)->tmp_head, &($$)->tmp_head);
2501 type_qualifier_list:
2502 /* pointer assumes only const type qualifier */
2504 | type_qualifier_list CTF_CONST
2507 /* 2.3: CTF-specific declarations */
2509 ctf_assignment_expression_list:
2510 ctf_assignment_expression CTF_SEMICOLON
2512 | ctf_assignment_expression_list ctf_assignment_expression CTF_SEMICOLON
2515 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2519 ctf_assignment_expression:
2520 unary_expression CTF_EQUAL unary_expression
2523 * Because we have left and right, cannot use
2526 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2527 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2528 if ($1->u.unary_expression.type != UNARY_STRING)
2529 reparent_error(scanner, "ctf_assignment_expression left expects string");
2530 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.ctf_expression.right);
2532 | unary_expression CTF_TYPEASSIGN declaration_specifiers /* Only allow struct */
2535 * Because we have left and right, cannot use
2538 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2539 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2540 if ($1->u.unary_expression.type != UNARY_STRING)
2541 reparent_error(scanner, "ctf_assignment_expression left expects string");
2542 bt_list_add_tail(&($3)->siblings, &($$)->u.ctf_expression.right);
2544 | declaration_specifiers CTF_TYPEDEF declaration_specifiers field_class_declarator_list
2546 struct ctf_node *list;
2548 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2549 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2550 _bt_list_splice_tail(&($3)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2551 $$ = make_node(scanner, NODE_TYPEDEF);
2552 ($$)->u.struct_or_variant_declaration.field_class_specifier_list = list;
2553 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2555 | CTF_TYPEDEF declaration_specifiers field_class_declarator_list
2557 struct ctf_node *list;
2559 $$ = make_node(scanner, NODE_TYPEDEF);
2560 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2561 $$->u.field_class_def.field_class_specifier_list = list;
2562 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2563 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2565 | declaration_specifiers CTF_TYPEDEF field_class_declarator_list
2567 struct ctf_node *list;
2569 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2570 _bt_list_splice_tail(&($1)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2571 $$ = make_node(scanner, NODE_TYPEDEF);
2572 ($$)->u.struct_or_variant_declaration.field_class_specifier_list = list;
2573 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_def.field_class_declarators);
2575 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list
2577 struct ctf_node *list;
2579 $$ = make_node(scanner, NODE_TYPEALIAS);
2580 $$->u.field_class_alias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2581 $$->u.field_class_alias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2583 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2584 $$->u.field_class_alias.target->u.field_class_alias_target.field_class_specifier_list = list;
2585 _bt_list_splice_tail(&($2)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2586 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.field_class_alias.target->u.field_class_alias_target.field_class_declarators);
2588 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2589 $$->u.field_class_alias.alias->u.field_class_alias_name.field_class_specifier_list = list;
2590 _bt_list_splice_tail(&($5)->u.field_class_specifier_list.head, &list->u.field_class_specifier_list.head);
2591 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.field_class_alias.alias->u.field_class_alias_name.field_class_declarators);