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_TAG "PLUGIN-CTF-METADATA-PARSER"
40 #include <babeltrace/list-internal.h>
46 #if BT_LOG_ENABLED_VERBOSE
48 # define YYFPRINTF(_stream, _fmt, args...) BT_LOGV(_fmt, ## args)
53 /* Join two lists, put "add" at the end of "head". */
55 _bt_list_splice_tail (struct bt_list_head *add, struct bt_list_head *head)
57 /* Do nothing if the list which gets added is empty. */
58 if (add != add->next) {
59 add->next->prev = head->prev;
60 add->prev->next = head;
61 head->prev->next = add->next;
62 head->prev = add->prev;
67 int yyparse(struct ctf_scanner *scanner, yyscan_t yyscanner);
69 int yylex(union YYSTYPE *yyval, yyscan_t yyscanner);
71 int yylex_init_extra(struct ctf_scanner *scanner, yyscan_t * ptr_yy_globals);
73 int yylex_destroy(yyscan_t yyscanner);
75 void yyrestart(FILE * in_str, yyscan_t yyscanner);
77 int yyget_lineno(yyscan_t yyscanner);
79 char *yyget_text(yyscan_t yyscanner);
81 static const char *node_type_to_str[] = {
82 #define ENTRY(S) [S] = #S,
83 FOREACH_CTF_NODES(ENTRY)
88 * Static node for out of memory errors. Only "type" is used. lineno is
89 * always left at 0. The rest of the node content can be overwritten,
92 static struct ctf_node error_node = {
97 const char *node_type(struct ctf_node *node)
99 if (node->type < NR_NODE_TYPES)
100 return node_type_to_str[node->type];
105 void setstring(struct ctf_scanner *scanner, YYSTYPE *lvalp, const char *src)
107 lvalp->s = objstack_alloc(scanner->objstack, strlen(src) + 1);
108 strcpy(lvalp->s, src);
112 int str_check(size_t str_len, size_t offset, size_t len)
115 if (offset + len < offset)
117 if (offset + len > str_len)
123 int bt_isodigit(int c)
141 int parse_base_sequence(const char *src, size_t len, size_t pos,
142 char *buffer, size_t *buf_len, int base)
144 const size_t max_char = 3;
147 while (!str_check(len, pos, 1) && nr_char < max_char) {
152 buffer[nr_char++] = c;
155 } else if (base == 16) {
157 buffer[nr_char++] = c;
162 /* Unsupported base */
167 buffer[nr_char] = '\0';
173 int import_basic_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
174 size_t len, const char *src, char delim)
176 size_t pos = 0, dpos = 0;
178 if (str_check(len, pos, 1))
180 if (src[pos++] != delim)
183 while (src[pos] != delim) {
186 if (str_check(len, pos, 1))
190 if (str_check(len, pos, 1))
240 if (parse_base_sequence(src, len, pos - 1,
241 oct_buffer, &oct_len, 8))
243 c = strtoul(&oct_buffer[0], NULL, 8);
252 if (parse_base_sequence(src, len, pos,
253 hex_buffer, &hex_len, 16))
255 c = strtoul(&hex_buffer[0], NULL, 16);
263 if (str_check(len, dpos, 1))
265 lvalp->s[dpos++] = c;
268 if (str_check(len, dpos, 1))
270 lvalp->s[dpos++] = '\0';
272 if (str_check(len, pos, 1))
274 if (src[pos++] != delim)
277 if (str_check(len, pos, 1))
279 if (src[pos] != '\0')
284 int import_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
285 const char *src, char delim)
289 len = strlen(src) + 1;
290 lvalp->s = objstack_alloc(scanner->objstack, len);
292 // TODO: import wide string
293 _BT_LOGE_LINENO(yyget_lineno(scanner),
294 "wide characters are not supported as of this version: "
295 "scanner-addr=%p", scanner);
298 return import_basic_string(scanner, lvalp, len, src, delim);
302 static void init_scope(struct ctf_scanner_scope *scope,
303 struct ctf_scanner_scope *parent)
305 scope->parent = parent;
306 scope->types = g_hash_table_new_full(g_str_hash, g_str_equal,
310 static void finalize_scope(struct ctf_scanner_scope *scope)
312 g_hash_table_destroy(scope->types);
315 static void push_scope(struct ctf_scanner *scanner)
317 struct ctf_scanner_scope *ns;
319 BT_LOGV("Pushing scope: scanner-addr=%p", scanner);
320 ns = malloc(sizeof(struct ctf_scanner_scope));
321 init_scope(ns, scanner->cs);
325 static void pop_scope(struct ctf_scanner *scanner)
327 struct ctf_scanner_scope *os;
329 BT_LOGV("Popping scope: scanner-addr=%p", scanner);
331 scanner->cs = os->parent;
336 static int lookup_type(struct ctf_scanner_scope *s, const char *id)
340 ret = GPOINTER_TO_INT(g_hash_table_lookup(s->types, id));
341 BT_LOGV("Looked up type: scanner-addr=%p, id=\"%s\", ret=%d",
347 int is_type(struct ctf_scanner *scanner, const char *id)
349 struct ctf_scanner_scope *it;
352 for (it = scanner->cs; it != NULL; it = it->parent) {
353 if (lookup_type(it, id)) {
358 BT_LOGV("Found if ID is type: scanner-addr=%p, id=\"%s\", ret=%d",
363 static void add_type(struct ctf_scanner *scanner, char *id)
365 BT_LOGV("Adding type: scanner-addr=%p, id=\"%s\"",
367 if (lookup_type(scanner->cs, id))
369 g_hash_table_insert(scanner->cs->types, id, id);
372 static struct ctf_node *make_node(struct ctf_scanner *scanner,
375 struct ctf_node *node;
377 node = objstack_alloc(scanner->objstack, sizeof(*node));
379 _BT_LOGE_LINENO(yyget_lineno(scanner->scanner),
380 "failed to allocate one stack entry: "
381 "scanner-addr=%p", scanner);
385 node->lineno = yyget_lineno(scanner->scanner);
386 BT_INIT_LIST_HEAD(&node->tmp_head);
387 bt_list_add(&node->siblings, &node->tmp_head);
391 node->type = NODE_ERROR;
392 BT_LOGE("Trying to create root node: scanner-addr=%p",
396 BT_INIT_LIST_HEAD(&node->u.event.declaration_list);
399 BT_INIT_LIST_HEAD(&node->u.stream.declaration_list);
402 BT_INIT_LIST_HEAD(&node->u.env.declaration_list);
405 BT_INIT_LIST_HEAD(&node->u.trace.declaration_list);
408 BT_INIT_LIST_HEAD(&node->u.clock.declaration_list);
411 BT_INIT_LIST_HEAD(&node->u.callsite.declaration_list);
413 case NODE_CTF_EXPRESSION:
414 BT_INIT_LIST_HEAD(&node->u.ctf_expression.left);
415 BT_INIT_LIST_HEAD(&node->u.ctf_expression.right);
417 case NODE_UNARY_EXPRESSION:
420 BT_INIT_LIST_HEAD(&node->u._typedef.type_declarators);
422 case NODE_TYPEALIAS_TARGET:
423 BT_INIT_LIST_HEAD(&node->u.typealias_target.type_declarators);
425 case NODE_TYPEALIAS_ALIAS:
426 BT_INIT_LIST_HEAD(&node->u.typealias_alias.type_declarators);
430 case NODE_TYPE_SPECIFIER:
432 case NODE_TYPE_SPECIFIER_LIST:
433 BT_INIT_LIST_HEAD(&node->u.type_specifier_list.head);
437 case NODE_TYPE_DECLARATOR:
438 BT_INIT_LIST_HEAD(&node->u.type_declarator.pointers);
440 case NODE_FLOATING_POINT:
441 BT_INIT_LIST_HEAD(&node->u.floating_point.expressions);
444 BT_INIT_LIST_HEAD(&node->u.integer.expressions);
447 BT_INIT_LIST_HEAD(&node->u.string.expressions);
449 case NODE_ENUMERATOR:
450 BT_INIT_LIST_HEAD(&node->u.enumerator.values);
453 BT_INIT_LIST_HEAD(&node->u._enum.enumerator_list);
455 case NODE_STRUCT_OR_VARIANT_DECLARATION:
456 BT_INIT_LIST_HEAD(&node->u.struct_or_variant_declaration.type_declarators);
459 BT_INIT_LIST_HEAD(&node->u.variant.declaration_list);
462 BT_INIT_LIST_HEAD(&node->u._struct.declaration_list);
463 BT_INIT_LIST_HEAD(&node->u._struct.min_align);
467 node->type = NODE_ERROR;
468 BT_LOGE("Unknown node type: scanner-addr=%p, node-type=%d",
476 static int reparent_ctf_expression(struct ctf_node *node,
477 struct ctf_node *parent)
479 switch (parent->type) {
481 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
484 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
487 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
490 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
493 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
496 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
498 case NODE_FLOATING_POINT:
499 _bt_list_splice_tail(&node->tmp_head, &parent->u.floating_point.expressions);
502 _bt_list_splice_tail(&node->tmp_head, &parent->u.integer.expressions);
505 _bt_list_splice_tail(&node->tmp_head, &parent->u.string.expressions);
509 case NODE_CTF_EXPRESSION:
511 case NODE_TYPEALIAS_TARGET:
512 case NODE_TYPEALIAS_ALIAS:
514 case NODE_TYPE_SPECIFIER:
515 case NODE_TYPE_SPECIFIER_LIST:
517 case NODE_TYPE_DECLARATOR:
518 case NODE_ENUMERATOR:
520 case NODE_STRUCT_OR_VARIANT_DECLARATION:
523 case NODE_UNARY_EXPRESSION:
528 BT_LOGE("Unknown node type: node-type=%d", parent->type);
534 static int reparent_typedef(struct ctf_node *node, struct ctf_node *parent)
536 switch (parent->type) {
538 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
541 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
544 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
547 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
550 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
553 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
556 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
559 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
562 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
565 case NODE_FLOATING_POINT:
568 case NODE_CTF_EXPRESSION:
570 case NODE_TYPEALIAS_TARGET:
571 case NODE_TYPEALIAS_ALIAS:
573 case NODE_TYPE_SPECIFIER:
574 case NODE_TYPE_SPECIFIER_LIST:
576 case NODE_TYPE_DECLARATOR:
577 case NODE_ENUMERATOR:
579 case NODE_STRUCT_OR_VARIANT_DECLARATION:
580 case NODE_UNARY_EXPRESSION:
585 BT_LOGE("Unknown node type: node-type=%d", parent->type);
591 static int reparent_typealias(struct ctf_node *node, struct ctf_node *parent)
593 switch (parent->type) {
595 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
598 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
601 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
604 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
607 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
610 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
613 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
616 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
619 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
622 case NODE_FLOATING_POINT:
625 case NODE_CTF_EXPRESSION:
627 case NODE_TYPEALIAS_TARGET:
628 case NODE_TYPEALIAS_ALIAS:
630 case NODE_TYPE_SPECIFIER:
631 case NODE_TYPE_SPECIFIER_LIST:
633 case NODE_TYPE_DECLARATOR:
634 case NODE_ENUMERATOR:
636 case NODE_STRUCT_OR_VARIANT_DECLARATION:
637 case NODE_UNARY_EXPRESSION:
642 BT_LOGE("Unknown node type: node-type=%d", parent->type);
648 static int reparent_type_specifier(struct ctf_node *node,
649 struct ctf_node *parent)
651 switch (parent->type) {
652 case NODE_TYPE_SPECIFIER_LIST:
653 _bt_list_splice_tail(&node->tmp_head, &parent->u.type_specifier_list.head);
656 case NODE_TYPE_SPECIFIER:
666 case NODE_TYPEALIAS_TARGET:
667 case NODE_TYPEALIAS_ALIAS:
668 case NODE_TYPE_DECLARATOR:
670 case NODE_STRUCT_OR_VARIANT_DECLARATION:
672 case NODE_FLOATING_POINT:
675 case NODE_CTF_EXPRESSION:
677 case NODE_ENUMERATOR:
678 case NODE_UNARY_EXPRESSION:
683 BT_LOGE("Unknown node type: node-type=%d", parent->type);
689 static int reparent_type_specifier_list(struct ctf_node *node,
690 struct ctf_node *parent)
692 switch (parent->type) {
694 bt_list_add_tail(&node->siblings, &parent->u.root.declaration_list);
697 bt_list_add_tail(&node->siblings, &parent->u.event.declaration_list);
700 bt_list_add_tail(&node->siblings, &parent->u.stream.declaration_list);
703 bt_list_add_tail(&node->siblings, &parent->u.env.declaration_list);
706 bt_list_add_tail(&node->siblings, &parent->u.trace.declaration_list);
709 bt_list_add_tail(&node->siblings, &parent->u.clock.declaration_list);
712 bt_list_add_tail(&node->siblings, &parent->u.callsite.declaration_list);
715 bt_list_add_tail(&node->siblings, &parent->u.variant.declaration_list);
718 bt_list_add_tail(&node->siblings, &parent->u._struct.declaration_list);
721 parent->u._typedef.type_specifier_list = node;
723 case NODE_TYPEALIAS_TARGET:
724 parent->u.typealias_target.type_specifier_list = node;
726 case NODE_TYPEALIAS_ALIAS:
727 parent->u.typealias_alias.type_specifier_list = node;
730 parent->u._enum.container_type = node;
732 case NODE_STRUCT_OR_VARIANT_DECLARATION:
733 parent->u.struct_or_variant_declaration.type_specifier_list = node;
735 case NODE_TYPE_DECLARATOR:
736 case NODE_TYPE_SPECIFIER:
738 case NODE_FLOATING_POINT:
741 case NODE_CTF_EXPRESSION:
743 case NODE_ENUMERATOR:
744 case NODE_UNARY_EXPRESSION:
749 BT_LOGE("Unknown node type: node-type=%d", parent->type);
755 static int reparent_type_declarator(struct ctf_node *node,
756 struct ctf_node *parent)
758 switch (parent->type) {
759 case NODE_TYPE_DECLARATOR:
760 parent->u.type_declarator.type = TYPEDEC_NESTED;
761 parent->u.type_declarator.u.nested.type_declarator = node;
763 case NODE_STRUCT_OR_VARIANT_DECLARATION:
764 _bt_list_splice_tail(&node->tmp_head, &parent->u.struct_or_variant_declaration.type_declarators);
767 _bt_list_splice_tail(&node->tmp_head, &parent->u._typedef.type_declarators);
769 case NODE_TYPEALIAS_TARGET:
770 _bt_list_splice_tail(&node->tmp_head, &parent->u.typealias_target.type_declarators);
772 case NODE_TYPEALIAS_ALIAS:
773 _bt_list_splice_tail(&node->tmp_head, &parent->u.typealias_alias.type_declarators);
787 case NODE_FLOATING_POINT:
790 case NODE_CTF_EXPRESSION:
791 case NODE_TYPE_SPECIFIER:
792 case NODE_TYPE_SPECIFIER_LIST:
794 case NODE_ENUMERATOR:
795 case NODE_UNARY_EXPRESSION:
800 BT_LOGE("Unknown node type: node-type=%d", parent->type);
809 * Link node to parent. Returns 0 on success, -EPERM if it is not permitted to
810 * create the link declared by the input, -ENOENT if node or parent is NULL,
811 * -EINVAL if there is an internal structure problem.
813 static int set_parent_node(struct ctf_node *node,
814 struct ctf_node *parent)
816 if (!node || !parent)
819 /* Note: Linking to parent will be done only by an external visitor */
821 switch (node->type) {
823 BT_LOGE_STR("Trying to reparent root node.");
827 if (parent->type == NODE_ROOT) {
828 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.event);
834 if (parent->type == NODE_ROOT) {
835 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.stream);
841 if (parent->type == NODE_ROOT) {
842 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.env);
848 if (parent->type == NODE_ROOT) {
849 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.trace);
855 if (parent->type == NODE_ROOT) {
856 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.clock);
862 if (parent->type == NODE_ROOT) {
863 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.callsite);
869 case NODE_CTF_EXPRESSION:
870 return reparent_ctf_expression(node, parent);
871 case NODE_UNARY_EXPRESSION:
872 if (parent->type == NODE_TYPE_DECLARATOR)
873 parent->u.type_declarator.bitfield_len = node;
879 return reparent_typedef(node, parent);
880 case NODE_TYPEALIAS_TARGET:
881 if (parent->type == NODE_TYPEALIAS)
882 parent->u.typealias.target = node;
885 case NODE_TYPEALIAS_ALIAS:
886 if (parent->type == NODE_TYPEALIAS)
887 parent->u.typealias.alias = node;
891 return reparent_typealias(node, parent);
894 if (parent->type == NODE_TYPE_DECLARATOR) {
895 _bt_list_splice_tail(&node->tmp_head, &parent->u.type_declarator.pointers);
899 case NODE_TYPE_DECLARATOR:
900 return reparent_type_declarator(node, parent);
902 case NODE_TYPE_SPECIFIER_LIST:
903 return reparent_type_specifier_list(node, parent);
905 case NODE_TYPE_SPECIFIER:
906 return reparent_type_specifier(node, parent);
908 case NODE_FLOATING_POINT:
914 return -EINVAL; /* Dealt with internally within grammar */
916 case NODE_ENUMERATOR:
917 if (parent->type == NODE_ENUM) {
918 _bt_list_splice_tail(&node->tmp_head, &parent->u._enum.enumerator_list);
923 case NODE_STRUCT_OR_VARIANT_DECLARATION:
924 switch (parent->type) {
926 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
929 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
938 BT_LOGE("Unknown node type: node-type=%d", parent->type);
945 void yyerror(struct ctf_scanner *scanner, yyscan_t yyscanner, const char *str)
947 _BT_LOGE_LINENO(yyget_lineno(scanner->scanner),
948 "%s: token=\"%s\"", str, yyget_text(scanner->scanner));
957 #define reparent_error(scanner, str) \
959 yyerror(scanner, scanner->scanner, YY_("reparent_error: " str)); \
963 static struct ctf_ast *ctf_ast_alloc(struct ctf_scanner *scanner)
967 ast = objstack_alloc(scanner->objstack, sizeof(*ast));
970 ast->root.type = NODE_ROOT;
971 BT_INIT_LIST_HEAD(&ast->root.tmp_head);
972 BT_INIT_LIST_HEAD(&ast->root.u.root.declaration_list);
973 BT_INIT_LIST_HEAD(&ast->root.u.root.trace);
974 BT_INIT_LIST_HEAD(&ast->root.u.root.env);
975 BT_INIT_LIST_HEAD(&ast->root.u.root.stream);
976 BT_INIT_LIST_HEAD(&ast->root.u.root.event);
977 BT_INIT_LIST_HEAD(&ast->root.u.root.clock);
978 BT_INIT_LIST_HEAD(&ast->root.u.root.callsite);
982 int ctf_scanner_append_ast(struct ctf_scanner *scanner, FILE *input)
984 /* Start processing new stream */
985 yyrestart(input, scanner->scanner);
986 return yyparse(scanner, scanner->scanner);
989 struct ctf_scanner *ctf_scanner_alloc(void)
991 struct ctf_scanner *scanner;
994 scanner = malloc(sizeof(*scanner));
997 memset(scanner, 0, sizeof(*scanner));
998 ret = yylex_init_extra(scanner, &scanner->scanner);
1000 BT_LOGE("yylex_init_extra() failed: ret=%d", ret);
1001 goto cleanup_scanner;
1003 scanner->objstack = objstack_create();
1004 if (!scanner->objstack)
1006 scanner->ast = ctf_ast_alloc(scanner);
1008 goto cleanup_objstack;
1009 init_scope(&scanner->root_scope, NULL);
1010 scanner->cs = &scanner->root_scope;
1015 objstack_destroy(scanner->objstack);
1017 ret = yylex_destroy(scanner->scanner);
1019 BT_LOGE("yylex_destroy() failed: scanner-addr=%p, ret=%d",
1026 void ctf_scanner_free(struct ctf_scanner *scanner)
1032 finalize_scope(&scanner->root_scope);
1033 objstack_destroy(scanner->objstack);
1034 ret = yylex_destroy(scanner->scanner);
1036 BT_LOGE("yylex_destroy() failed: scanner-addr=%p, ret=%d",
1046 %parse-param {struct ctf_scanner *scanner}
1047 %parse-param {yyscan_t yyscanner}
1048 %lex-param {yyscan_t yyscanner}
1050 * Expect two shift-reduce conflicts. Caused by enum name-opt : type {}
1051 * vs struct { int :value; } (unnamed bit-field). The default is to
1052 * shift, so whenever we encounter an enumeration, we are doing the
1053 * proper thing (shift). It is illegal to declare an enumeration
1054 * "bit-field", so it is OK if this situation ends up in a parsing
1059 %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
1060 %token <s> IDENTIFIER ID_TYPE
1065 unsigned long long ull;
1071 %type <s> CTF_STRING_LITERAL CTF_CHARACTER_LITERAL
1075 %type <ull> CTF_INTEGER_LITERAL
1076 %type <n> postfix_expression unary_expression unary_expression_or_range
1078 %type <n> declaration
1079 %type <n> event_declaration
1080 %type <n> stream_declaration
1081 %type <n> env_declaration
1082 %type <n> trace_declaration
1083 %type <n> clock_declaration
1084 %type <n> callsite_declaration
1085 %type <n> integer_declaration_specifiers
1086 %type <n> declaration_specifiers
1087 %type <n> alias_declaration_specifiers
1089 %type <n> type_declarator_list
1090 %type <n> integer_type_specifier
1091 %type <n> type_specifier
1092 %type <n> struct_type_specifier
1093 %type <n> variant_type_specifier
1094 %type <n> enum_type_specifier
1095 %type <n> struct_or_variant_declaration_list
1096 %type <n> struct_or_variant_declaration
1097 %type <n> struct_or_variant_declarator_list
1098 %type <n> struct_or_variant_declarator
1099 %type <n> enumerator_list
1100 %type <n> enumerator
1101 %type <n> abstract_declarator_list
1102 %type <n> abstract_declarator
1103 %type <n> direct_abstract_declarator
1104 %type <n> alias_abstract_declarator_list
1105 %type <n> alias_abstract_declarator
1106 %type <n> direct_alias_abstract_declarator
1107 %type <n> declarator
1108 %type <n> direct_declarator
1109 %type <n> type_declarator
1110 %type <n> direct_type_declarator
1112 %type <n> ctf_assignment_expression_list
1113 %type <n> ctf_assignment_expression
1120 if (set_parent_node($1, &ctf_scanner_get_ast(scanner)->root))
1121 reparent_error(scanner, "error reparenting to root");
1125 if (set_parent_node($2, &ctf_scanner_get_ast(scanner)->root))
1126 reparent_error(scanner, "error reparenting to root");
1155 | CTF_FLOATING_POINT
1188 /* 2: Phrase structure grammar */
1193 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1194 $$->u.unary_expression.type = UNARY_STRING;
1195 $$->u.unary_expression.u.string = yylval.s;
1199 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1200 $$->u.unary_expression.type = UNARY_STRING;
1201 $$->u.unary_expression.u.string = yylval.s;
1205 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1206 $$->u.unary_expression.type = UNARY_STRING;
1207 $$->u.unary_expression.u.string = yylval.s;
1209 | CTF_INTEGER_LITERAL
1211 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1212 $$->u.unary_expression.type = UNARY_UNSIGNED_CONSTANT;
1213 $$->u.unary_expression.u.unsigned_constant = $1;
1215 | CTF_STRING_LITERAL
1217 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1218 $$->u.unary_expression.type = UNARY_STRING;
1219 $$->u.unary_expression.u.string = $1;
1221 | CTF_CHARACTER_LITERAL
1223 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1224 $$->u.unary_expression.type = UNARY_STRING;
1225 $$->u.unary_expression.u.string = $1;
1227 | CTF_LPAREN unary_expression CTF_RPAREN
1231 | postfix_expression CTF_LSBRAC unary_expression CTF_RSBRAC
1233 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1234 $$->u.unary_expression.type = UNARY_SBRAC;
1235 $$->u.unary_expression.u.sbrac_exp = $3;
1236 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1237 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1239 | postfix_expression CTF_DOT IDENTIFIER
1241 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1242 $$->u.unary_expression.type = UNARY_STRING;
1243 $$->u.unary_expression.u.string = yylval.s;
1244 $$->u.unary_expression.link = UNARY_DOTLINK;
1245 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1246 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1248 | postfix_expression CTF_DOT ID_TYPE
1250 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1251 $$->u.unary_expression.type = UNARY_STRING;
1252 $$->u.unary_expression.u.string = yylval.s;
1253 $$->u.unary_expression.link = UNARY_DOTLINK;
1254 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1255 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1257 | postfix_expression CTF_DOT keywords
1259 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1260 $$->u.unary_expression.type = UNARY_STRING;
1261 $$->u.unary_expression.u.string = yylval.s;
1262 $$->u.unary_expression.link = UNARY_DOTLINK;
1263 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1264 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1266 | postfix_expression CTF_RARROW IDENTIFIER
1268 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1269 $$->u.unary_expression.type = UNARY_STRING;
1270 $$->u.unary_expression.u.string = yylval.s;
1271 $$->u.unary_expression.link = UNARY_ARROWLINK;
1272 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1273 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1275 | postfix_expression CTF_RARROW ID_TYPE
1277 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1278 $$->u.unary_expression.type = UNARY_STRING;
1279 $$->u.unary_expression.u.string = yylval.s;
1280 $$->u.unary_expression.link = UNARY_ARROWLINK;
1281 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1282 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1289 | CTF_PLUS postfix_expression
1292 if ($$->u.unary_expression.type != UNARY_UNSIGNED_CONSTANT
1293 && $$->u.unary_expression.type != UNARY_SIGNED_CONSTANT) {
1294 reparent_error(scanner, "expecting numeric constant");
1297 | CTF_MINUS postfix_expression
1300 if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1301 $$->u.unary_expression.type = UNARY_SIGNED_CONSTANT;
1302 $$->u.unary_expression.u.signed_constant =
1303 -($$->u.unary_expression.u.unsigned_constant);
1304 } else if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1305 $$->u.unary_expression.u.signed_constant =
1306 -($$->u.unary_expression.u.signed_constant);
1308 reparent_error(scanner, "expecting numeric constant");
1313 unary_expression_or_range:
1314 unary_expression CTF_DOTDOTDOT unary_expression
1317 _bt_list_splice_tail(&($3)->tmp_head, &($$)->tmp_head);
1318 $3->u.unary_expression.link = UNARY_DOTDOTDOT;
1324 /* 2.2: Declarations */
1327 declaration_specifiers CTF_SEMICOLON
1331 | stream_declaration
1339 | callsite_declaration
1341 | declaration_specifiers CTF_TYPEDEF declaration_specifiers type_declarator_list CTF_SEMICOLON
1343 struct ctf_node *list;
1345 $$ = make_node(scanner, NODE_TYPEDEF);
1346 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1347 $$->u._typedef.type_specifier_list = list;
1348 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1349 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1350 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
1352 | CTF_TYPEDEF declaration_specifiers type_declarator_list CTF_SEMICOLON
1354 struct ctf_node *list;
1356 $$ = make_node(scanner, NODE_TYPEDEF);
1357 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1358 $$->u._typedef.type_specifier_list = list;
1359 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1360 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
1362 | declaration_specifiers CTF_TYPEDEF type_declarator_list CTF_SEMICOLON
1364 struct ctf_node *list;
1366 $$ = make_node(scanner, NODE_TYPEDEF);
1367 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1368 $$->u._typedef.type_specifier_list = list;
1369 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1370 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
1372 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list CTF_SEMICOLON
1374 struct ctf_node *list;
1376 $$ = make_node(scanner, NODE_TYPEALIAS);
1377 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
1378 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
1380 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1381 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
1382 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1383 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
1385 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1386 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
1387 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1388 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);
1393 event_declaration_begin event_declaration_end
1395 $$ = make_node(scanner, NODE_EVENT);
1397 | event_declaration_begin ctf_assignment_expression_list event_declaration_end
1399 $$ = make_node(scanner, NODE_EVENT);
1400 if (set_parent_node($2, $$))
1401 reparent_error(scanner, "event_declaration");
1405 event_declaration_begin:
1407 { push_scope(scanner); }
1410 event_declaration_end:
1411 CTF_RBRAC CTF_SEMICOLON
1412 { pop_scope(scanner); }
1417 stream_declaration_begin stream_declaration_end
1419 $$ = make_node(scanner, NODE_STREAM);
1421 | stream_declaration_begin ctf_assignment_expression_list stream_declaration_end
1423 $$ = make_node(scanner, NODE_STREAM);
1424 if (set_parent_node($2, $$))
1425 reparent_error(scanner, "stream_declaration");
1429 stream_declaration_begin:
1430 CTF_STREAM CTF_LBRAC
1431 { push_scope(scanner); }
1434 stream_declaration_end:
1435 CTF_RBRAC CTF_SEMICOLON
1436 { pop_scope(scanner); }
1440 env_declaration_begin env_declaration_end
1442 $$ = make_node(scanner, NODE_ENV);
1444 | env_declaration_begin ctf_assignment_expression_list env_declaration_end
1446 $$ = make_node(scanner, NODE_ENV);
1447 if (set_parent_node($2, $$))
1448 reparent_error(scanner, "env declaration");
1452 env_declaration_begin:
1454 { push_scope(scanner); }
1457 env_declaration_end:
1458 CTF_RBRAC CTF_SEMICOLON
1459 { pop_scope(scanner); }
1463 trace_declaration_begin trace_declaration_end
1465 $$ = make_node(scanner, NODE_TRACE);
1467 | trace_declaration_begin ctf_assignment_expression_list trace_declaration_end
1469 $$ = make_node(scanner, NODE_TRACE);
1470 if (set_parent_node($2, $$))
1471 reparent_error(scanner, "trace_declaration");
1475 trace_declaration_begin:
1477 { push_scope(scanner); }
1480 trace_declaration_end:
1481 CTF_RBRAC CTF_SEMICOLON
1482 { pop_scope(scanner); }
1486 CTF_CLOCK clock_declaration_begin clock_declaration_end
1488 $$ = make_node(scanner, NODE_CLOCK);
1490 | CTF_CLOCK clock_declaration_begin ctf_assignment_expression_list clock_declaration_end
1492 $$ = make_node(scanner, NODE_CLOCK);
1493 if (set_parent_node($3, $$))
1494 reparent_error(scanner, "trace_declaration");
1498 clock_declaration_begin:
1500 { push_scope(scanner); }
1503 clock_declaration_end:
1504 CTF_RBRAC CTF_SEMICOLON
1505 { pop_scope(scanner); }
1508 callsite_declaration:
1509 CTF_CALLSITE callsite_declaration_begin callsite_declaration_end
1511 $$ = make_node(scanner, NODE_CALLSITE);
1513 | CTF_CALLSITE callsite_declaration_begin ctf_assignment_expression_list callsite_declaration_end
1515 $$ = make_node(scanner, NODE_CALLSITE);
1516 if (set_parent_node($3, $$))
1517 reparent_error(scanner, "trace_declaration");
1521 callsite_declaration_begin:
1523 { push_scope(scanner); }
1526 callsite_declaration_end:
1527 CTF_RBRAC CTF_SEMICOLON
1528 { pop_scope(scanner); }
1531 integer_declaration_specifiers:
1534 struct ctf_node *node;
1536 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1537 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1538 node->u.type_specifier.type = TYPESPEC_CONST;
1539 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1541 | integer_type_specifier
1543 struct ctf_node *node;
1545 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1547 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1549 | integer_declaration_specifiers CTF_CONST
1551 struct ctf_node *node;
1554 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1555 node->u.type_specifier.type = TYPESPEC_CONST;
1556 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1558 | integer_declaration_specifiers integer_type_specifier
1561 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
1565 declaration_specifiers:
1568 struct ctf_node *node;
1570 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1571 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1572 node->u.type_specifier.type = TYPESPEC_CONST;
1573 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1577 struct ctf_node *node;
1579 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1581 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1583 | declaration_specifiers CTF_CONST
1585 struct ctf_node *node;
1588 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1589 node->u.type_specifier.type = TYPESPEC_CONST;
1590 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1592 | declaration_specifiers type_specifier
1595 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
1599 type_declarator_list:
1602 | type_declarator_list CTF_COMMA type_declarator
1605 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
1609 integer_type_specifier:
1612 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1613 $$->u.type_specifier.type = TYPESPEC_CHAR;
1617 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1618 $$->u.type_specifier.type = TYPESPEC_SHORT;
1622 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1623 $$->u.type_specifier.type = TYPESPEC_INT;
1627 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1628 $$->u.type_specifier.type = TYPESPEC_LONG;
1632 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1633 $$->u.type_specifier.type = TYPESPEC_SIGNED;
1637 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1638 $$->u.type_specifier.type = TYPESPEC_UNSIGNED;
1642 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1643 $$->u.type_specifier.type = TYPESPEC_BOOL;
1647 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1648 $$->u.type_specifier.type = TYPESPEC_ID_TYPE;
1649 $$->u.type_specifier.id_type = yylval.s;
1651 | CTF_INTEGER CTF_LBRAC CTF_RBRAC
1653 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1654 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1655 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1657 | CTF_INTEGER CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1659 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1660 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1661 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1662 if (set_parent_node($3, $$->u.type_specifier.node))
1663 reparent_error(scanner, "integer reparent error");
1670 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1671 $$->u.type_specifier.type = TYPESPEC_VOID;
1675 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1676 $$->u.type_specifier.type = TYPESPEC_CHAR;
1680 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1681 $$->u.type_specifier.type = TYPESPEC_SHORT;
1685 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1686 $$->u.type_specifier.type = TYPESPEC_INT;
1690 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1691 $$->u.type_specifier.type = TYPESPEC_LONG;
1695 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1696 $$->u.type_specifier.type = TYPESPEC_FLOAT;
1700 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1701 $$->u.type_specifier.type = TYPESPEC_DOUBLE;
1705 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1706 $$->u.type_specifier.type = TYPESPEC_SIGNED;
1710 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1711 $$->u.type_specifier.type = TYPESPEC_UNSIGNED;
1715 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1716 $$->u.type_specifier.type = TYPESPEC_BOOL;
1720 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1721 $$->u.type_specifier.type = TYPESPEC_COMPLEX;
1725 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1726 $$->u.type_specifier.type = TYPESPEC_IMAGINARY;
1730 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1731 $$->u.type_specifier.type = TYPESPEC_ID_TYPE;
1732 $$->u.type_specifier.id_type = yylval.s;
1734 | CTF_FLOATING_POINT CTF_LBRAC CTF_RBRAC
1736 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1737 $$->u.type_specifier.type = TYPESPEC_FLOATING_POINT;
1738 $$->u.type_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1740 | CTF_FLOATING_POINT CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1742 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1743 $$->u.type_specifier.type = TYPESPEC_FLOATING_POINT;
1744 $$->u.type_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1745 if (set_parent_node($3, $$->u.type_specifier.node))
1746 reparent_error(scanner, "floating point reparent error");
1748 | CTF_INTEGER CTF_LBRAC CTF_RBRAC
1750 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1751 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1752 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1754 | CTF_INTEGER CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1756 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1757 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1758 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1759 if (set_parent_node($3, $$->u.type_specifier.node))
1760 reparent_error(scanner, "integer reparent error");
1764 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1765 $$->u.type_specifier.type = TYPESPEC_STRING;
1766 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1768 | CTF_STRING CTF_LBRAC CTF_RBRAC
1770 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1771 $$->u.type_specifier.type = TYPESPEC_STRING;
1772 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1774 | CTF_STRING CTF_LBRAC ctf_assignment_expression_list CTF_RBRAC
1776 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1777 $$->u.type_specifier.type = TYPESPEC_STRING;
1778 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1779 if (set_parent_node($3, $$->u.type_specifier.node))
1780 reparent_error(scanner, "string reparent error");
1782 | CTF_ENUM enum_type_specifier
1784 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1785 $$->u.type_specifier.type = TYPESPEC_ENUM;
1786 $$->u.type_specifier.node = $2;
1788 | CTF_VARIANT variant_type_specifier
1790 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1791 $$->u.type_specifier.type = TYPESPEC_VARIANT;
1792 $$->u.type_specifier.node = $2;
1794 | CTF_STRUCT struct_type_specifier
1796 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1797 $$->u.type_specifier.type = TYPESPEC_STRUCT;
1798 $$->u.type_specifier.node = $2;
1802 struct_type_specifier:
1803 struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1805 $$ = make_node(scanner, NODE_STRUCT);
1806 $$->u._struct.has_body = 1;
1807 if ($2 && set_parent_node($2, $$))
1808 reparent_error(scanner, "struct reparent error");
1810 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1812 $$ = make_node(scanner, NODE_STRUCT);
1813 $$->u._struct.has_body = 1;
1814 $$->u._struct.name = $1;
1815 if ($3 && set_parent_node($3, $$))
1816 reparent_error(scanner, "struct reparent error");
1818 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1820 $$ = make_node(scanner, NODE_STRUCT);
1821 $$->u._struct.has_body = 1;
1822 $$->u._struct.name = $1;
1823 if ($3 && set_parent_node($3, $$))
1824 reparent_error(scanner, "struct reparent error");
1828 $$ = make_node(scanner, NODE_STRUCT);
1829 $$->u._struct.has_body = 0;
1830 $$->u._struct.name = $1;
1834 $$ = make_node(scanner, NODE_STRUCT);
1835 $$->u._struct.has_body = 0;
1836 $$->u._struct.name = $1;
1838 | struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1840 $$ = make_node(scanner, NODE_STRUCT);
1841 $$->u._struct.has_body = 1;
1842 bt_list_add_tail(&($6)->siblings, &$$->u._struct.min_align);
1843 if ($2 && set_parent_node($2, $$))
1844 reparent_error(scanner, "struct reparent error");
1846 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1848 $$ = make_node(scanner, NODE_STRUCT);
1849 $$->u._struct.has_body = 1;
1850 $$->u._struct.name = $1;
1851 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1852 if ($3 && set_parent_node($3, $$))
1853 reparent_error(scanner, "struct reparent error");
1855 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end CTF_TOK_ALIGN CTF_LPAREN unary_expression CTF_RPAREN
1857 $$ = make_node(scanner, NODE_STRUCT);
1858 $$->u._struct.has_body = 1;
1859 $$->u._struct.name = $1;
1860 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1861 if ($3 && set_parent_node($3, $$))
1862 reparent_error(scanner, "struct reparent error");
1866 struct_declaration_begin:
1868 { push_scope(scanner); }
1871 struct_declaration_end:
1873 { pop_scope(scanner); }
1876 variant_type_specifier:
1877 variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1879 $$ = make_node(scanner, NODE_VARIANT);
1880 $$->u.variant.has_body = 1;
1881 if ($2 && set_parent_node($2, $$))
1882 reparent_error(scanner, "variant reparent error");
1884 | CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1886 $$ = make_node(scanner, NODE_VARIANT);
1887 $$->u.variant.has_body = 1;
1888 $$->u.variant.choice = $2;
1889 if ($5 && set_parent_node($5, $$))
1890 reparent_error(scanner, "variant reparent error");
1892 | CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1894 $$ = make_node(scanner, NODE_VARIANT);
1895 $$->u.variant.has_body = 1;
1896 $$->u.variant.choice = $2;
1897 if ($5 && set_parent_node($5, $$))
1898 reparent_error(scanner, "variant reparent error");
1900 | IDENTIFIER variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1902 $$ = make_node(scanner, NODE_VARIANT);
1903 $$->u.variant.has_body = 1;
1904 $$->u.variant.name = $1;
1905 if ($3 && set_parent_node($3, $$))
1906 reparent_error(scanner, "variant reparent error");
1908 | IDENTIFIER CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1910 $$ = make_node(scanner, NODE_VARIANT);
1911 $$->u.variant.has_body = 1;
1912 $$->u.variant.name = $1;
1913 $$->u.variant.choice = $3;
1914 if ($6 && set_parent_node($6, $$))
1915 reparent_error(scanner, "variant reparent error");
1917 | IDENTIFIER CTF_LT IDENTIFIER CTF_GT
1919 $$ = make_node(scanner, NODE_VARIANT);
1920 $$->u.variant.has_body = 0;
1921 $$->u.variant.name = $1;
1922 $$->u.variant.choice = $3;
1924 | IDENTIFIER CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1926 $$ = make_node(scanner, NODE_VARIANT);
1927 $$->u.variant.has_body = 1;
1928 $$->u.variant.name = $1;
1929 $$->u.variant.choice = $3;
1930 if ($6 && set_parent_node($6, $$))
1931 reparent_error(scanner, "variant reparent error");
1933 | IDENTIFIER CTF_LT ID_TYPE CTF_GT
1935 $$ = make_node(scanner, NODE_VARIANT);
1936 $$->u.variant.has_body = 0;
1937 $$->u.variant.name = $1;
1938 $$->u.variant.choice = $3;
1940 | ID_TYPE variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1942 $$ = make_node(scanner, NODE_VARIANT);
1943 $$->u.variant.has_body = 1;
1944 $$->u.variant.name = $1;
1945 if ($3 && set_parent_node($3, $$))
1946 reparent_error(scanner, "variant reparent error");
1948 | ID_TYPE CTF_LT IDENTIFIER CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1950 $$ = make_node(scanner, NODE_VARIANT);
1951 $$->u.variant.has_body = 1;
1952 $$->u.variant.name = $1;
1953 $$->u.variant.choice = $3;
1954 if ($6 && set_parent_node($6, $$))
1955 reparent_error(scanner, "variant reparent error");
1957 | ID_TYPE CTF_LT IDENTIFIER CTF_GT
1959 $$ = make_node(scanner, NODE_VARIANT);
1960 $$->u.variant.has_body = 0;
1961 $$->u.variant.name = $1;
1962 $$->u.variant.choice = $3;
1964 | ID_TYPE CTF_LT ID_TYPE CTF_GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1966 $$ = make_node(scanner, NODE_VARIANT);
1967 $$->u.variant.has_body = 1;
1968 $$->u.variant.name = $1;
1969 $$->u.variant.choice = $3;
1970 if ($6 && set_parent_node($6, $$))
1971 reparent_error(scanner, "variant reparent error");
1973 | ID_TYPE CTF_LT ID_TYPE CTF_GT
1975 $$ = make_node(scanner, NODE_VARIANT);
1976 $$->u.variant.has_body = 0;
1977 $$->u.variant.name = $1;
1978 $$->u.variant.choice = $3;
1982 variant_declaration_begin:
1984 { push_scope(scanner); }
1987 variant_declaration_end:
1989 { pop_scope(scanner); }
1992 enum_type_specifier:
1993 CTF_LBRAC enumerator_list CTF_RBRAC
1995 $$ = make_node(scanner, NODE_ENUM);
1996 $$->u._enum.has_body = 1;
1997 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
1999 | CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2001 $$ = make_node(scanner, NODE_ENUM);
2002 $$->u._enum.has_body = 1;
2003 ($$)->u._enum.container_type = $2;
2004 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2006 | IDENTIFIER CTF_LBRAC enumerator_list CTF_RBRAC
2008 $$ = make_node(scanner, NODE_ENUM);
2009 $$->u._enum.has_body = 1;
2010 $$->u._enum.enum_id = $1;
2011 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2013 | IDENTIFIER CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2015 $$ = make_node(scanner, NODE_ENUM);
2016 $$->u._enum.has_body = 1;
2017 $$->u._enum.enum_id = $1;
2018 ($$)->u._enum.container_type = $3;
2019 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2021 | ID_TYPE CTF_LBRAC enumerator_list CTF_RBRAC
2023 $$ = make_node(scanner, NODE_ENUM);
2024 $$->u._enum.has_body = 1;
2025 $$->u._enum.enum_id = $1;
2026 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2028 | ID_TYPE CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_RBRAC
2030 $$ = make_node(scanner, NODE_ENUM);
2031 $$->u._enum.has_body = 1;
2032 $$->u._enum.enum_id = $1;
2033 ($$)->u._enum.container_type = $3;
2034 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2036 | CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2038 $$ = make_node(scanner, NODE_ENUM);
2039 $$->u._enum.has_body = 1;
2040 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
2042 | CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2044 $$ = make_node(scanner, NODE_ENUM);
2045 $$->u._enum.has_body = 1;
2046 ($$)->u._enum.container_type = $2;
2047 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2049 | IDENTIFIER CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2051 $$ = make_node(scanner, NODE_ENUM);
2052 $$->u._enum.has_body = 1;
2053 $$->u._enum.enum_id = $1;
2054 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2056 | IDENTIFIER CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2058 $$ = make_node(scanner, NODE_ENUM);
2059 $$->u._enum.has_body = 1;
2060 $$->u._enum.enum_id = $1;
2061 ($$)->u._enum.container_type = $3;
2062 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2066 $$ = make_node(scanner, NODE_ENUM);
2067 $$->u._enum.has_body = 0;
2068 $$->u._enum.enum_id = $1;
2070 | ID_TYPE CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2072 $$ = make_node(scanner, NODE_ENUM);
2073 $$->u._enum.has_body = 1;
2074 $$->u._enum.enum_id = $1;
2075 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2077 | ID_TYPE CTF_COLON integer_declaration_specifiers CTF_LBRAC enumerator_list CTF_COMMA CTF_RBRAC
2079 $$ = make_node(scanner, NODE_ENUM);
2080 $$->u._enum.has_body = 1;
2081 $$->u._enum.enum_id = $1;
2082 ($$)->u._enum.container_type = $3;
2083 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2087 $$ = make_node(scanner, NODE_ENUM);
2088 $$->u._enum.has_body = 0;
2089 $$->u._enum.enum_id = $1;
2093 struct_or_variant_declaration_list:
2096 | struct_or_variant_declaration_list struct_or_variant_declaration
2100 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2103 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
2108 struct_or_variant_declaration:
2109 declaration_specifiers struct_or_variant_declarator_list CTF_SEMICOLON
2111 struct ctf_node *list;
2113 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2114 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2115 $$ = make_node(scanner, NODE_STRUCT_OR_VARIANT_DECLARATION);
2116 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2117 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u.struct_or_variant_declaration.type_declarators);
2119 | declaration_specifiers CTF_TYPEDEF declaration_specifiers type_declarator_list CTF_SEMICOLON
2121 struct ctf_node *list;
2123 $$ = make_node(scanner, NODE_TYPEDEF);
2124 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2125 $$->u._typedef.type_specifier_list = list;
2126 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2127 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2128 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
2130 | CTF_TYPEDEF declaration_specifiers type_declarator_list CTF_SEMICOLON
2132 struct ctf_node *list;
2134 $$ = make_node(scanner, NODE_TYPEDEF);
2135 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2136 $$->u._typedef.type_specifier_list = list;
2137 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2138 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2140 | declaration_specifiers CTF_TYPEDEF type_declarator_list CTF_SEMICOLON
2142 struct ctf_node *list;
2144 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2145 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2146 $$ = make_node(scanner, NODE_TYPEDEF);
2147 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2148 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2150 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list CTF_SEMICOLON
2152 struct ctf_node *list;
2154 $$ = make_node(scanner, NODE_TYPEALIAS);
2155 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2156 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2158 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2159 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
2160 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2161 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
2163 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2164 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
2165 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2166 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);
2170 alias_declaration_specifiers:
2173 struct ctf_node *node;
2175 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2176 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2177 node->u.type_specifier.type = TYPESPEC_CONST;
2178 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2182 struct ctf_node *node;
2184 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2186 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2190 struct ctf_node *node;
2192 add_type(scanner, $1);
2193 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2194 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2195 node->u.type_specifier.type = TYPESPEC_ID_TYPE;
2196 node->u.type_specifier.id_type = yylval.s;
2197 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2199 | alias_declaration_specifiers CTF_CONST
2201 struct ctf_node *node;
2204 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2205 node->u.type_specifier.type = TYPESPEC_CONST;
2206 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2208 | alias_declaration_specifiers type_specifier
2211 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
2213 | alias_declaration_specifiers IDENTIFIER
2215 struct ctf_node *node;
2217 add_type(scanner, $2);
2219 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2220 node->u.type_specifier.type = TYPESPEC_ID_TYPE;
2221 node->u.type_specifier.id_type = yylval.s;
2222 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2226 struct_or_variant_declarator_list:
2227 struct_or_variant_declarator
2229 | struct_or_variant_declarator_list CTF_COMMA struct_or_variant_declarator
2232 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2236 struct_or_variant_declarator:
2239 | CTF_COLON unary_expression
2241 | declarator CTF_COLON unary_expression
2244 if (set_parent_node($3, $1))
2245 reparent_error(scanner, "struct_or_variant_declarator");
2252 | enumerator_list CTF_COMMA enumerator
2255 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2262 $$ = make_node(scanner, NODE_ENUMERATOR);
2263 $$->u.enumerator.id = $1;
2267 $$ = make_node(scanner, NODE_ENUMERATOR);
2268 $$->u.enumerator.id = $1;
2272 $$ = make_node(scanner, NODE_ENUMERATOR);
2273 $$->u.enumerator.id = $1;
2275 | CTF_STRING_LITERAL
2277 $$ = make_node(scanner, NODE_ENUMERATOR);
2278 $$->u.enumerator.id = $1;
2280 | IDENTIFIER CTF_EQUAL unary_expression_or_range
2282 $$ = make_node(scanner, NODE_ENUMERATOR);
2283 $$->u.enumerator.id = $1;
2284 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2286 | ID_TYPE CTF_EQUAL unary_expression_or_range
2288 $$ = make_node(scanner, NODE_ENUMERATOR);
2289 $$->u.enumerator.id = $1;
2290 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2292 | keywords CTF_EQUAL unary_expression_or_range
2294 $$ = make_node(scanner, NODE_ENUMERATOR);
2295 $$->u.enumerator.id = $1;
2296 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2298 | CTF_STRING_LITERAL CTF_EQUAL unary_expression_or_range
2300 $$ = make_node(scanner, NODE_ENUMERATOR);
2301 $$->u.enumerator.id = $1;
2302 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2306 abstract_declarator_list:
2309 | abstract_declarator_list CTF_COMMA abstract_declarator
2312 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2316 abstract_declarator:
2317 direct_abstract_declarator
2319 | pointer direct_abstract_declarator
2322 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2326 direct_abstract_declarator:
2329 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2330 $$->u.type_declarator.type = TYPEDEC_ID;
2335 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2336 $$->u.type_declarator.type = TYPEDEC_ID;
2337 $$->u.type_declarator.u.id = $1;
2339 | CTF_LPAREN abstract_declarator CTF_RPAREN
2341 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2342 $$->u.type_declarator.type = TYPEDEC_NESTED;
2343 $$->u.type_declarator.u.nested.type_declarator = $2;
2345 | direct_abstract_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2347 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2348 $$->u.type_declarator.type = TYPEDEC_NESTED;
2349 $$->u.type_declarator.u.nested.type_declarator = $1;
2350 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2351 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2353 | direct_abstract_declarator CTF_LSBRAC CTF_RSBRAC
2355 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2356 $$->u.type_declarator.type = TYPEDEC_NESTED;
2357 $$->u.type_declarator.u.nested.type_declarator = $1;
2358 $$->u.type_declarator.u.nested.abstract_array = 1;
2362 alias_abstract_declarator_list:
2363 alias_abstract_declarator
2365 | alias_abstract_declarator_list CTF_COMMA alias_abstract_declarator
2368 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2372 alias_abstract_declarator:
2373 direct_alias_abstract_declarator
2375 | pointer direct_alias_abstract_declarator
2378 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2382 direct_alias_abstract_declarator:
2385 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2386 $$->u.type_declarator.type = TYPEDEC_ID;
2389 | CTF_LPAREN alias_abstract_declarator CTF_RPAREN
2391 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2392 $$->u.type_declarator.type = TYPEDEC_NESTED;
2393 $$->u.type_declarator.u.nested.type_declarator = $2;
2395 | direct_alias_abstract_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2397 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2398 $$->u.type_declarator.type = TYPEDEC_NESTED;
2399 $$->u.type_declarator.u.nested.type_declarator = $1;
2400 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2401 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2403 | direct_alias_abstract_declarator CTF_LSBRAC CTF_RSBRAC
2405 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2406 $$->u.type_declarator.type = TYPEDEC_NESTED;
2407 $$->u.type_declarator.u.nested.type_declarator = $1;
2408 $$->u.type_declarator.u.nested.abstract_array = 1;
2415 | pointer direct_declarator
2418 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2425 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2426 $$->u.type_declarator.type = TYPEDEC_ID;
2427 $$->u.type_declarator.u.id = $1;
2429 | CTF_LPAREN declarator CTF_RPAREN
2431 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2432 $$->u.type_declarator.type = TYPEDEC_NESTED;
2433 $$->u.type_declarator.u.nested.type_declarator = $2;
2435 | direct_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2437 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2438 $$->u.type_declarator.type = TYPEDEC_NESTED;
2439 $$->u.type_declarator.u.nested.type_declarator = $1;
2440 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2441 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2446 direct_type_declarator
2448 | pointer direct_type_declarator
2451 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2455 direct_type_declarator:
2458 add_type(scanner, $1);
2459 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2460 $$->u.type_declarator.type = TYPEDEC_ID;
2461 $$->u.type_declarator.u.id = $1;
2463 | CTF_LPAREN type_declarator CTF_RPAREN
2465 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2466 $$->u.type_declarator.type = TYPEDEC_NESTED;
2467 $$->u.type_declarator.u.nested.type_declarator = $2;
2469 | direct_type_declarator CTF_LSBRAC unary_expression CTF_RSBRAC
2471 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2472 $$->u.type_declarator.type = TYPEDEC_NESTED;
2473 $$->u.type_declarator.u.nested.type_declarator = $1;
2474 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2475 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2482 $$ = make_node(scanner, NODE_POINTER);
2486 $$ = make_node(scanner, NODE_POINTER);
2487 bt_list_splice(&($2)->tmp_head, &($$)->tmp_head);
2489 | CTF_STAR type_qualifier_list pointer
2491 $$ = make_node(scanner, NODE_POINTER);
2492 $$->u.pointer.const_qualifier = 1;
2493 bt_list_splice(&($3)->tmp_head, &($$)->tmp_head);
2497 type_qualifier_list:
2498 /* pointer assumes only const type qualifier */
2500 | type_qualifier_list CTF_CONST
2503 /* 2.3: CTF-specific declarations */
2505 ctf_assignment_expression_list:
2506 ctf_assignment_expression CTF_SEMICOLON
2508 | ctf_assignment_expression_list ctf_assignment_expression CTF_SEMICOLON
2511 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2515 ctf_assignment_expression:
2516 unary_expression CTF_EQUAL unary_expression
2519 * Because we have left and right, cannot use
2522 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2523 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2524 if ($1->u.unary_expression.type != UNARY_STRING)
2525 reparent_error(scanner, "ctf_assignment_expression left expects string");
2526 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.ctf_expression.right);
2528 | unary_expression CTF_TYPEASSIGN declaration_specifiers /* Only allow struct */
2531 * Because we have left and right, cannot use
2534 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2535 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2536 if ($1->u.unary_expression.type != UNARY_STRING)
2537 reparent_error(scanner, "ctf_assignment_expression left expects string");
2538 bt_list_add_tail(&($3)->siblings, &($$)->u.ctf_expression.right);
2540 | declaration_specifiers CTF_TYPEDEF declaration_specifiers type_declarator_list
2542 struct ctf_node *list;
2544 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2545 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2546 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2547 $$ = make_node(scanner, NODE_TYPEDEF);
2548 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2549 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
2551 | CTF_TYPEDEF declaration_specifiers type_declarator_list
2553 struct ctf_node *list;
2555 $$ = make_node(scanner, NODE_TYPEDEF);
2556 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2557 $$->u._typedef.type_specifier_list = list;
2558 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2559 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2561 | declaration_specifiers CTF_TYPEDEF type_declarator_list
2563 struct ctf_node *list;
2565 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2566 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2567 $$ = make_node(scanner, NODE_TYPEDEF);
2568 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2569 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2571 | CTF_TYPEALIAS declaration_specifiers abstract_declarator_list CTF_TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list
2573 struct ctf_node *list;
2575 $$ = make_node(scanner, NODE_TYPEALIAS);
2576 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2577 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2579 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2580 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
2581 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2582 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
2584 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2585 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
2586 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2587 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);