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
37 #include <babeltrace/list.h>
38 #include <babeltrace/babeltrace-internal.h>
39 #include "ctf-scanner.h"
40 #include "ctf-parser.h"
47 /* Join two lists, put "add" at the end of "head". */
49 _bt_list_splice_tail (struct bt_list_head *add, struct bt_list_head *head)
51 /* Do nothing if the list which gets added is empty. */
52 if (add != add->next) {
53 add->next->prev = head->prev;
54 add->prev->next = head;
55 head->prev->next = add->next;
56 head->prev = add->prev;
61 int yyparse(struct ctf_scanner *scanner);
63 int yylex(union YYSTYPE *yyval, struct ctf_scanner *scanner);
65 int yylex_init_extra(struct ctf_scanner *scanner, yyscan_t * ptr_yy_globals);
67 int yylex_destroy(yyscan_t yyscanner);
69 void yyrestart(FILE * in_str, yyscan_t scanner);
71 int yyget_lineno(yyscan_t yyscanner);
73 char *yyget_text(yyscan_t yyscanner);
75 static const char *node_type_to_str[] = {
76 #define ENTRY(S) [S] = #S,
77 FOREACH_CTF_NODES(ENTRY)
82 * Static node for out of memory errors. Only "type" is used. lineno is
83 * always left at 0. The rest of the node content can be overwritten,
86 static struct ctf_node error_node = {
91 const char *node_type(struct ctf_node *node)
93 if (node->type < NR_NODE_TYPES)
94 return node_type_to_str[node->type];
99 void setstring(struct ctf_scanner *scanner, YYSTYPE *lvalp, const char *src)
101 lvalp->s = objstack_alloc(scanner->objstack, strlen(src) + 1);
102 strcpy(lvalp->s, src);
106 int str_check(size_t str_len, size_t offset, size_t len)
109 if (offset + len < offset)
111 if (offset + len > str_len)
117 int bt_isodigit(int c)
135 int parse_base_sequence(const char *src, size_t len, size_t pos,
136 char *buffer, size_t *buf_len, int base)
138 const size_t max_char = 3;
141 while (!str_check(len, pos, 1) && nr_char < max_char) {
146 buffer[nr_char++] = c;
149 } else if (base == 16) {
151 buffer[nr_char++] = c;
156 /* Unsupported base */
161 buffer[nr_char] = '\0';
167 int import_basic_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
168 size_t len, const char *src, char delim)
170 size_t pos = 0, dpos = 0;
172 if (str_check(len, pos, 1))
174 if (src[pos++] != delim)
177 while (src[pos] != delim) {
180 if (str_check(len, pos, 1))
184 if (str_check(len, pos, 1))
234 if (parse_base_sequence(src, len, pos - 1,
235 oct_buffer, &oct_len, 8))
237 c = strtoul(&oct_buffer[0], NULL, 8);
246 if (parse_base_sequence(src, len, pos,
247 hex_buffer, &hex_len, 16))
249 c = strtoul(&hex_buffer[0], NULL, 16);
257 if (str_check(len, dpos, 1))
259 lvalp->s[dpos++] = c;
262 if (str_check(len, dpos, 1))
264 lvalp->s[dpos++] = '\0';
266 if (str_check(len, pos, 1))
268 if (src[pos++] != delim)
271 if (str_check(len, pos, 1))
273 if (src[pos] != '\0')
278 int import_string(struct ctf_scanner *scanner, YYSTYPE *lvalp,
279 const char *src, char delim)
283 len = strlen(src) + 1;
284 lvalp->s = objstack_alloc(scanner->objstack, len);
286 // TODO: import wide string
287 printfl_error(yyget_lineno(scanner),
288 "Wide string not supported yet.");
291 return import_basic_string(scanner, lvalp, len, src, delim);
295 static void init_scope(struct ctf_scanner_scope *scope,
296 struct ctf_scanner_scope *parent)
298 scope->parent = parent;
299 scope->types = g_hash_table_new_full(g_str_hash, g_str_equal,
303 static void finalize_scope(struct ctf_scanner_scope *scope)
305 g_hash_table_destroy(scope->types);
308 static void push_scope(struct ctf_scanner *scanner)
310 struct ctf_scanner_scope *ns;
312 printf_debug("push scope\n");
313 ns = malloc(sizeof(struct ctf_scanner_scope));
314 init_scope(ns, scanner->cs);
318 static void pop_scope(struct ctf_scanner *scanner)
320 struct ctf_scanner_scope *os;
322 printf_debug("pop scope\n");
324 scanner->cs = os->parent;
329 static int lookup_type(struct ctf_scanner_scope *s, const char *id)
333 ret = (int) (long) g_hash_table_lookup(s->types, id);
334 printf_debug("lookup %p %s %d\n", s, id, ret);
339 int is_type(struct ctf_scanner *scanner, const char *id)
341 struct ctf_scanner_scope *it;
344 for (it = scanner->cs; it != NULL; it = it->parent) {
345 if (lookup_type(it, id)) {
350 printf_debug("is type %s %d\n", id, ret);
354 static void add_type(struct ctf_scanner *scanner, char *id)
356 printf_debug("add type %s\n", id);
357 if (lookup_type(scanner->cs, id))
359 g_hash_table_insert(scanner->cs->types, id, id);
362 static struct ctf_node *make_node(struct ctf_scanner *scanner,
365 struct ctf_ast *ast = ctf_scanner_get_ast(scanner);
366 struct ctf_node *node;
368 node = malloc(sizeof(*node));
370 printfl_fatal(yyget_lineno(scanner->scanner), "out of memory");
373 memset(node, 0, sizeof(*node));
375 node->lineno = yyget_lineno(scanner->scanner);
376 BT_INIT_LIST_HEAD(&node->tmp_head);
377 bt_list_add(&node->gc, &ast->allocated_nodes);
378 bt_list_add(&node->siblings, &node->tmp_head);
382 node->type = NODE_ERROR;
383 printfn_fatal(node, "trying to create root node");
387 BT_INIT_LIST_HEAD(&node->u.event.declaration_list);
390 BT_INIT_LIST_HEAD(&node->u.stream.declaration_list);
393 BT_INIT_LIST_HEAD(&node->u.env.declaration_list);
396 BT_INIT_LIST_HEAD(&node->u.trace.declaration_list);
399 BT_INIT_LIST_HEAD(&node->u.clock.declaration_list);
402 BT_INIT_LIST_HEAD(&node->u.callsite.declaration_list);
405 case NODE_CTF_EXPRESSION:
406 BT_INIT_LIST_HEAD(&node->u.ctf_expression.left);
407 BT_INIT_LIST_HEAD(&node->u.ctf_expression.right);
409 case NODE_UNARY_EXPRESSION:
413 BT_INIT_LIST_HEAD(&node->u._typedef.type_declarators);
415 case NODE_TYPEALIAS_TARGET:
416 BT_INIT_LIST_HEAD(&node->u.typealias_target.type_declarators);
418 case NODE_TYPEALIAS_ALIAS:
419 BT_INIT_LIST_HEAD(&node->u.typealias_alias.type_declarators);
424 case NODE_TYPE_SPECIFIER:
426 case NODE_TYPE_SPECIFIER_LIST:
427 BT_INIT_LIST_HEAD(&node->u.type_specifier_list.head);
431 case NODE_TYPE_DECLARATOR:
432 BT_INIT_LIST_HEAD(&node->u.type_declarator.pointers);
435 case NODE_FLOATING_POINT:
436 BT_INIT_LIST_HEAD(&node->u.floating_point.expressions);
439 BT_INIT_LIST_HEAD(&node->u.integer.expressions);
442 BT_INIT_LIST_HEAD(&node->u.string.expressions);
444 case NODE_ENUMERATOR:
445 BT_INIT_LIST_HEAD(&node->u.enumerator.values);
448 BT_INIT_LIST_HEAD(&node->u._enum.enumerator_list);
450 case NODE_STRUCT_OR_VARIANT_DECLARATION:
451 BT_INIT_LIST_HEAD(&node->u.struct_or_variant_declaration.type_declarators);
454 BT_INIT_LIST_HEAD(&node->u.variant.declaration_list);
457 BT_INIT_LIST_HEAD(&node->u._struct.declaration_list);
458 BT_INIT_LIST_HEAD(&node->u._struct.min_align);
463 node->type = NODE_ERROR;
464 printfn_fatal(node, "unknown node type '%d'", (int) type);
471 static int reparent_ctf_expression(struct ctf_node *node,
472 struct ctf_node *parent)
474 switch (parent->type) {
476 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
479 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
482 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
485 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
488 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
491 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
493 case NODE_FLOATING_POINT:
494 _bt_list_splice_tail(&node->tmp_head, &parent->u.floating_point.expressions);
497 _bt_list_splice_tail(&node->tmp_head, &parent->u.integer.expressions);
500 _bt_list_splice_tail(&node->tmp_head, &parent->u.string.expressions);
504 case NODE_CTF_EXPRESSION:
506 case NODE_TYPEALIAS_TARGET:
507 case NODE_TYPEALIAS_ALIAS:
509 case NODE_TYPE_SPECIFIER:
510 case NODE_TYPE_SPECIFIER_LIST:
512 case NODE_TYPE_DECLARATOR:
513 case NODE_ENUMERATOR:
515 case NODE_STRUCT_OR_VARIANT_DECLARATION:
518 case NODE_UNARY_EXPRESSION:
523 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
529 static int reparent_typedef(struct ctf_node *node, struct ctf_node *parent)
531 switch (parent->type) {
533 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
536 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
539 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
542 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
545 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
548 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
551 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
554 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
557 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
560 case NODE_FLOATING_POINT:
563 case NODE_CTF_EXPRESSION:
565 case NODE_TYPEALIAS_TARGET:
566 case NODE_TYPEALIAS_ALIAS:
568 case NODE_TYPE_SPECIFIER:
569 case NODE_TYPE_SPECIFIER_LIST:
571 case NODE_TYPE_DECLARATOR:
572 case NODE_ENUMERATOR:
574 case NODE_STRUCT_OR_VARIANT_DECLARATION:
575 case NODE_UNARY_EXPRESSION:
580 printfn_fatal(node, "unknown node type %d", parent->type);
586 static int reparent_typealias(struct ctf_node *node, struct ctf_node *parent)
588 switch (parent->type) {
590 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.declaration_list);
593 _bt_list_splice_tail(&node->tmp_head, &parent->u.event.declaration_list);
596 _bt_list_splice_tail(&node->tmp_head, &parent->u.stream.declaration_list);
599 _bt_list_splice_tail(&node->tmp_head, &parent->u.env.declaration_list);
602 _bt_list_splice_tail(&node->tmp_head, &parent->u.trace.declaration_list);
605 _bt_list_splice_tail(&node->tmp_head, &parent->u.clock.declaration_list);
608 _bt_list_splice_tail(&node->tmp_head, &parent->u.callsite.declaration_list);
611 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
614 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
617 case NODE_FLOATING_POINT:
620 case NODE_CTF_EXPRESSION:
622 case NODE_TYPEALIAS_TARGET:
623 case NODE_TYPEALIAS_ALIAS:
625 case NODE_TYPE_SPECIFIER:
626 case NODE_TYPE_SPECIFIER_LIST:
628 case NODE_TYPE_DECLARATOR:
629 case NODE_ENUMERATOR:
631 case NODE_STRUCT_OR_VARIANT_DECLARATION:
632 case NODE_UNARY_EXPRESSION:
637 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
643 static int reparent_type_specifier(struct ctf_node *node,
644 struct ctf_node *parent)
646 switch (parent->type) {
647 case NODE_TYPE_SPECIFIER_LIST:
648 _bt_list_splice_tail(&node->tmp_head, &parent->u.type_specifier_list.head);
651 case NODE_TYPE_SPECIFIER:
661 case NODE_TYPEALIAS_TARGET:
662 case NODE_TYPEALIAS_ALIAS:
663 case NODE_TYPE_DECLARATOR:
665 case NODE_STRUCT_OR_VARIANT_DECLARATION:
667 case NODE_FLOATING_POINT:
670 case NODE_CTF_EXPRESSION:
672 case NODE_ENUMERATOR:
673 case NODE_UNARY_EXPRESSION:
678 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
684 static int reparent_type_specifier_list(struct ctf_node *node,
685 struct ctf_node *parent)
687 switch (parent->type) {
689 bt_list_add_tail(&node->siblings, &parent->u.root.declaration_list);
692 bt_list_add_tail(&node->siblings, &parent->u.event.declaration_list);
695 bt_list_add_tail(&node->siblings, &parent->u.stream.declaration_list);
698 bt_list_add_tail(&node->siblings, &parent->u.env.declaration_list);
701 bt_list_add_tail(&node->siblings, &parent->u.trace.declaration_list);
704 bt_list_add_tail(&node->siblings, &parent->u.clock.declaration_list);
707 bt_list_add_tail(&node->siblings, &parent->u.callsite.declaration_list);
710 bt_list_add_tail(&node->siblings, &parent->u.variant.declaration_list);
713 bt_list_add_tail(&node->siblings, &parent->u._struct.declaration_list);
716 parent->u._typedef.type_specifier_list = node;
718 case NODE_TYPEALIAS_TARGET:
719 parent->u.typealias_target.type_specifier_list = node;
721 case NODE_TYPEALIAS_ALIAS:
722 parent->u.typealias_alias.type_specifier_list = node;
725 parent->u._enum.container_type = node;
727 case NODE_STRUCT_OR_VARIANT_DECLARATION:
728 parent->u.struct_or_variant_declaration.type_specifier_list = node;
730 case NODE_TYPE_DECLARATOR:
731 case NODE_TYPE_SPECIFIER:
733 case NODE_FLOATING_POINT:
736 case NODE_CTF_EXPRESSION:
738 case NODE_ENUMERATOR:
739 case NODE_UNARY_EXPRESSION:
744 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
750 static int reparent_type_declarator(struct ctf_node *node,
751 struct ctf_node *parent)
753 switch (parent->type) {
754 case NODE_TYPE_DECLARATOR:
755 parent->u.type_declarator.type = TYPEDEC_NESTED;
756 parent->u.type_declarator.u.nested.type_declarator = node;
758 case NODE_STRUCT_OR_VARIANT_DECLARATION:
759 _bt_list_splice_tail(&node->tmp_head, &parent->u.struct_or_variant_declaration.type_declarators);
762 _bt_list_splice_tail(&node->tmp_head, &parent->u._typedef.type_declarators);
764 case NODE_TYPEALIAS_TARGET:
765 _bt_list_splice_tail(&node->tmp_head, &parent->u.typealias_target.type_declarators);
767 case NODE_TYPEALIAS_ALIAS:
768 _bt_list_splice_tail(&node->tmp_head, &parent->u.typealias_alias.type_declarators);
782 case NODE_FLOATING_POINT:
785 case NODE_CTF_EXPRESSION:
786 case NODE_TYPE_SPECIFIER:
787 case NODE_TYPE_SPECIFIER_LIST:
789 case NODE_ENUMERATOR:
790 case NODE_UNARY_EXPRESSION:
795 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
804 * Link node to parent. Returns 0 on success, -EPERM if it is not permitted to
805 * create the link declared by the input, -ENOENT if node or parent is NULL,
806 * -EINVAL if there is an internal structure problem.
808 static int set_parent_node(struct ctf_node *node,
809 struct ctf_node *parent)
811 if (!node || !parent)
814 /* Note: Linking to parent will be done only by an external visitor */
816 switch (node->type) {
818 printfn_fatal(node, "trying to reparent root node");
822 if (parent->type == NODE_ROOT) {
823 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.event);
829 if (parent->type == NODE_ROOT) {
830 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.stream);
836 if (parent->type == NODE_ROOT) {
837 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.env);
843 if (parent->type == NODE_ROOT) {
844 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.trace);
850 if (parent->type == NODE_ROOT) {
851 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.clock);
857 if (parent->type == NODE_ROOT) {
858 _bt_list_splice_tail(&node->tmp_head, &parent->u.root.callsite);
864 case NODE_CTF_EXPRESSION:
865 return reparent_ctf_expression(node, parent);
866 case NODE_UNARY_EXPRESSION:
867 if (parent->type == NODE_TYPE_DECLARATOR)
868 parent->u.type_declarator.bitfield_len = node;
874 return reparent_typedef(node, parent);
875 case NODE_TYPEALIAS_TARGET:
876 if (parent->type == NODE_TYPEALIAS)
877 parent->u.typealias.target = node;
880 case NODE_TYPEALIAS_ALIAS:
881 if (parent->type == NODE_TYPEALIAS)
882 parent->u.typealias.alias = node;
886 return reparent_typealias(node, parent);
889 if (parent->type == NODE_TYPE_DECLARATOR) {
890 _bt_list_splice_tail(&node->tmp_head, &parent->u.type_declarator.pointers);
894 case NODE_TYPE_DECLARATOR:
895 return reparent_type_declarator(node, parent);
897 case NODE_TYPE_SPECIFIER_LIST:
898 return reparent_type_specifier_list(node, parent);
900 case NODE_TYPE_SPECIFIER:
901 return reparent_type_specifier(node, parent);
903 case NODE_FLOATING_POINT:
909 return -EINVAL; /* Dealt with internally within grammar */
911 case NODE_ENUMERATOR:
912 if (parent->type == NODE_ENUM) {
913 _bt_list_splice_tail(&node->tmp_head, &parent->u._enum.enumerator_list);
918 case NODE_STRUCT_OR_VARIANT_DECLARATION:
919 switch (parent->type) {
921 _bt_list_splice_tail(&node->tmp_head, &parent->u._struct.declaration_list);
924 _bt_list_splice_tail(&node->tmp_head, &parent->u.variant.declaration_list);
933 printfn_fatal(node, "unknown node type '%d'", (int) parent->type);
940 void yyerror(struct ctf_scanner *scanner, const char *str)
942 printfl_error(yyget_lineno(scanner->scanner),
943 "token \"%s\": %s\n",
944 yyget_text(scanner->scanner), str);
953 #define reparent_error(scanner, str) \
955 yyerror(scanner, YY_("reparent_error: " str)); \
959 static struct ctf_ast *ctf_ast_alloc(void)
963 ast = malloc(sizeof(*ast));
966 memset(ast, 0, sizeof(*ast));
967 BT_INIT_LIST_HEAD(&ast->allocated_nodes);
968 ast->root.type = NODE_ROOT;
969 BT_INIT_LIST_HEAD(&ast->root.tmp_head);
970 BT_INIT_LIST_HEAD(&ast->root.u.root.declaration_list);
971 BT_INIT_LIST_HEAD(&ast->root.u.root.trace);
972 BT_INIT_LIST_HEAD(&ast->root.u.root.env);
973 BT_INIT_LIST_HEAD(&ast->root.u.root.stream);
974 BT_INIT_LIST_HEAD(&ast->root.u.root.event);
975 BT_INIT_LIST_HEAD(&ast->root.u.root.clock);
976 BT_INIT_LIST_HEAD(&ast->root.u.root.callsite);
980 static void ctf_ast_free(struct ctf_ast *ast)
982 struct ctf_node *node, *tmp;
984 bt_list_for_each_entry_safe(node, tmp, &ast->allocated_nodes, gc)
989 int ctf_scanner_append_ast(struct ctf_scanner *scanner)
991 return yyparse(scanner);
994 struct ctf_scanner *ctf_scanner_alloc(FILE *input)
996 struct ctf_scanner *scanner;
999 yydebug = babeltrace_debug;
1001 scanner = malloc(sizeof(*scanner));
1004 memset(scanner, 0, sizeof(*scanner));
1006 ret = yylex_init_extra(scanner, &scanner->scanner);
1008 printf_fatal("yylex_init error");
1009 goto cleanup_scanner;
1011 /* Start processing new stream */
1012 yyrestart(input, scanner->scanner);
1014 scanner->ast = ctf_ast_alloc();
1017 scanner->objstack = objstack_create();
1018 if (!scanner->objstack)
1020 init_scope(&scanner->root_scope, NULL);
1021 scanner->cs = &scanner->root_scope;
1024 fprintf(stdout, "Scanner input is a%s.\n",
1025 isatty(fileno(input)) ? "n interactive tty" :
1026 " noninteractive file");
1031 ctf_ast_free(scanner->ast);
1033 ret = yylex_destroy(scanner->scanner);
1035 printf_fatal("yylex_destroy error");
1041 void ctf_scanner_free(struct ctf_scanner *scanner)
1045 finalize_scope(&scanner->root_scope);
1046 objstack_destroy(scanner->objstack);
1047 ctf_ast_free(scanner->ast);
1048 ret = yylex_destroy(scanner->scanner);
1050 printf_error("yylex_destroy error");
1059 %parse-param {struct ctf_scanner *scanner}
1060 %lex-param {struct ctf_scanner *scanner}
1062 * Expect two shift-reduce conflicts. Caused by enum name-opt : type {}
1063 * vs struct { int :value; } (unnamed bit-field). The default is to
1064 * shift, so whenever we encounter an enumeration, we are doing the
1065 * proper thing (shift). It is illegal to declare an enumeration
1066 * "bit-field", so it is OK if this situation ends up in a parsing
1071 %token INTEGER_LITERAL STRING_LITERAL CHARACTER_LITERAL LSBRAC RSBRAC LPAREN RPAREN LBRAC RBRAC RARROW STAR PLUS MINUS LT GT TYPEASSIGN COLON SEMICOLON DOTDOTDOT DOT EQUAL COMMA CONST CHAR DOUBLE ENUM ENV EVENT FLOATING_POINT FLOAT INTEGER INT LONG SHORT SIGNED STREAM STRING STRUCT TRACE CALLSITE CLOCK TYPEALIAS TYPEDEF UNSIGNED VARIANT VOID _BOOL _COMPLEX _IMAGINARY TOK_ALIGN
1072 %token <s> IDENTIFIER ID_TYPE
1077 unsigned long long ull;
1083 %type <s> STRING_LITERAL CHARACTER_LITERAL
1087 %type <ull> INTEGER_LITERAL
1088 %type <n> postfix_expression unary_expression unary_expression_or_range
1090 %type <n> declaration
1091 %type <n> event_declaration
1092 %type <n> stream_declaration
1093 %type <n> env_declaration
1094 %type <n> trace_declaration
1095 %type <n> clock_declaration
1096 %type <n> callsite_declaration
1097 %type <n> integer_declaration_specifiers
1098 %type <n> declaration_specifiers
1099 %type <n> alias_declaration_specifiers
1101 %type <n> type_declarator_list
1102 %type <n> integer_type_specifier
1103 %type <n> type_specifier
1104 %type <n> struct_type_specifier
1105 %type <n> variant_type_specifier
1106 %type <n> enum_type_specifier
1107 %type <n> struct_or_variant_declaration_list
1108 %type <n> struct_or_variant_declaration
1109 %type <n> struct_or_variant_declarator_list
1110 %type <n> struct_or_variant_declarator
1111 %type <n> enumerator_list
1112 %type <n> enumerator
1113 %type <n> abstract_declarator_list
1114 %type <n> abstract_declarator
1115 %type <n> direct_abstract_declarator
1116 %type <n> alias_abstract_declarator_list
1117 %type <n> alias_abstract_declarator
1118 %type <n> direct_alias_abstract_declarator
1119 %type <n> declarator
1120 %type <n> direct_declarator
1121 %type <n> type_declarator
1122 %type <n> direct_type_declarator
1124 %type <n> ctf_assignment_expression_list
1125 %type <n> ctf_assignment_expression
1132 if (set_parent_node($1, &ctf_scanner_get_ast(scanner)->root))
1133 reparent_error(scanner, "error reparenting to root");
1137 if (set_parent_node($2, &ctf_scanner_get_ast(scanner)->root))
1138 reparent_error(scanner, "error reparenting to root");
1200 /* 2: Phrase structure grammar */
1205 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1206 $$->u.unary_expression.type = UNARY_STRING;
1207 $$->u.unary_expression.u.string = yylval.s;
1211 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1212 $$->u.unary_expression.type = UNARY_STRING;
1213 $$->u.unary_expression.u.string = yylval.s;
1217 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1218 $$->u.unary_expression.type = UNARY_STRING;
1219 $$->u.unary_expression.u.string = yylval.s;
1223 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1224 $$->u.unary_expression.type = UNARY_UNSIGNED_CONSTANT;
1225 $$->u.unary_expression.u.unsigned_constant = $1;
1229 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1230 $$->u.unary_expression.type = UNARY_STRING;
1231 $$->u.unary_expression.u.string = $1;
1235 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1236 $$->u.unary_expression.type = UNARY_STRING;
1237 $$->u.unary_expression.u.string = $1;
1239 | LPAREN unary_expression RPAREN
1243 | postfix_expression LSBRAC unary_expression RSBRAC
1245 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1246 $$->u.unary_expression.type = UNARY_SBRAC;
1247 $$->u.unary_expression.u.sbrac_exp = $3;
1248 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1249 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1251 | postfix_expression DOT IDENTIFIER
1253 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1254 $$->u.unary_expression.type = UNARY_STRING;
1255 $$->u.unary_expression.u.string = yylval.s;
1256 $$->u.unary_expression.link = UNARY_DOTLINK;
1257 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1258 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1260 | postfix_expression DOT ID_TYPE
1262 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1263 $$->u.unary_expression.type = UNARY_STRING;
1264 $$->u.unary_expression.u.string = yylval.s;
1265 $$->u.unary_expression.link = UNARY_DOTLINK;
1266 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1267 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1269 | postfix_expression RARROW IDENTIFIER
1271 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1272 $$->u.unary_expression.type = UNARY_STRING;
1273 $$->u.unary_expression.u.string = yylval.s;
1274 $$->u.unary_expression.link = UNARY_ARROWLINK;
1275 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1276 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1278 | postfix_expression RARROW ID_TYPE
1280 $$ = make_node(scanner, NODE_UNARY_EXPRESSION);
1281 $$->u.unary_expression.type = UNARY_STRING;
1282 $$->u.unary_expression.u.string = yylval.s;
1283 $$->u.unary_expression.link = UNARY_ARROWLINK;
1284 bt_list_splice(&($1)->tmp_head, &($$)->tmp_head);
1285 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
1292 | PLUS postfix_expression
1295 if ($$->u.unary_expression.type != UNARY_UNSIGNED_CONSTANT
1296 && $$->u.unary_expression.type != UNARY_SIGNED_CONSTANT) {
1297 reparent_error(scanner, "expecting numeric constant");
1300 | MINUS postfix_expression
1303 if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1304 $$->u.unary_expression.type = UNARY_SIGNED_CONSTANT;
1305 $$->u.unary_expression.u.signed_constant =
1306 -($$->u.unary_expression.u.unsigned_constant);
1307 } else if ($$->u.unary_expression.type == UNARY_UNSIGNED_CONSTANT) {
1308 $$->u.unary_expression.u.signed_constant =
1309 -($$->u.unary_expression.u.signed_constant);
1311 reparent_error(scanner, "expecting numeric constant");
1316 unary_expression_or_range:
1317 unary_expression DOTDOTDOT unary_expression
1320 _bt_list_splice_tail(&($3)->tmp_head, &($$)->tmp_head);
1321 $3->u.unary_expression.link = UNARY_DOTDOTDOT;
1327 /* 2.2: Declarations */
1330 declaration_specifiers SEMICOLON
1334 | stream_declaration
1342 | callsite_declaration
1344 | declaration_specifiers TYPEDEF declaration_specifiers type_declarator_list SEMICOLON
1346 struct ctf_node *list;
1348 $$ = make_node(scanner, NODE_TYPEDEF);
1349 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1350 $$->u._typedef.type_specifier_list = list;
1351 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1352 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1353 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
1355 | TYPEDEF declaration_specifiers type_declarator_list SEMICOLON
1357 struct ctf_node *list;
1359 $$ = make_node(scanner, NODE_TYPEDEF);
1360 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1361 $$->u._typedef.type_specifier_list = list;
1362 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1363 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
1365 | declaration_specifiers TYPEDEF type_declarator_list SEMICOLON
1367 struct ctf_node *list;
1369 $$ = make_node(scanner, NODE_TYPEDEF);
1370 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1371 $$->u._typedef.type_specifier_list = list;
1372 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1373 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
1375 | TYPEALIAS declaration_specifiers abstract_declarator_list TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list SEMICOLON
1377 struct ctf_node *list;
1379 $$ = make_node(scanner, NODE_TYPEALIAS);
1380 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
1381 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
1383 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1384 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
1385 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1386 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
1388 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1389 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
1390 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
1391 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);
1396 event_declaration_begin event_declaration_end
1398 $$ = make_node(scanner, NODE_EVENT);
1400 | event_declaration_begin ctf_assignment_expression_list event_declaration_end
1402 $$ = make_node(scanner, NODE_EVENT);
1403 if (set_parent_node($2, $$))
1404 reparent_error(scanner, "event_declaration");
1408 event_declaration_begin:
1410 { push_scope(scanner); }
1413 event_declaration_end:
1415 { pop_scope(scanner); }
1420 stream_declaration_begin stream_declaration_end
1422 $$ = make_node(scanner, NODE_STREAM);
1424 | stream_declaration_begin ctf_assignment_expression_list stream_declaration_end
1426 $$ = make_node(scanner, NODE_STREAM);
1427 if (set_parent_node($2, $$))
1428 reparent_error(scanner, "stream_declaration");
1432 stream_declaration_begin:
1434 { push_scope(scanner); }
1437 stream_declaration_end:
1439 { pop_scope(scanner); }
1443 env_declaration_begin env_declaration_end
1445 $$ = make_node(scanner, NODE_ENV);
1447 | env_declaration_begin ctf_assignment_expression_list env_declaration_end
1449 $$ = make_node(scanner, NODE_ENV);
1450 if (set_parent_node($2, $$))
1451 reparent_error(scanner, "env declaration");
1455 env_declaration_begin:
1457 { push_scope(scanner); }
1460 env_declaration_end:
1462 { pop_scope(scanner); }
1466 trace_declaration_begin trace_declaration_end
1468 $$ = make_node(scanner, NODE_TRACE);
1470 | trace_declaration_begin ctf_assignment_expression_list trace_declaration_end
1472 $$ = make_node(scanner, NODE_TRACE);
1473 if (set_parent_node($2, $$))
1474 reparent_error(scanner, "trace_declaration");
1478 trace_declaration_begin:
1480 { push_scope(scanner); }
1483 trace_declaration_end:
1485 { pop_scope(scanner); }
1489 CLOCK clock_declaration_begin clock_declaration_end
1491 $$ = make_node(scanner, NODE_CLOCK);
1493 | CLOCK clock_declaration_begin ctf_assignment_expression_list clock_declaration_end
1495 $$ = make_node(scanner, NODE_CLOCK);
1496 if (set_parent_node($3, $$))
1497 reparent_error(scanner, "trace_declaration");
1501 clock_declaration_begin:
1503 { push_scope(scanner); }
1506 clock_declaration_end:
1508 { pop_scope(scanner); }
1511 callsite_declaration:
1512 CALLSITE callsite_declaration_begin callsite_declaration_end
1514 $$ = make_node(scanner, NODE_CALLSITE);
1516 | CALLSITE callsite_declaration_begin ctf_assignment_expression_list callsite_declaration_end
1518 $$ = make_node(scanner, NODE_CALLSITE);
1519 if (set_parent_node($3, $$))
1520 reparent_error(scanner, "trace_declaration");
1524 callsite_declaration_begin:
1526 { push_scope(scanner); }
1529 callsite_declaration_end:
1531 { pop_scope(scanner); }
1534 integer_declaration_specifiers:
1537 struct ctf_node *node;
1539 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1540 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1541 node->u.type_specifier.type = TYPESPEC_CONST;
1542 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1544 | integer_type_specifier
1546 struct ctf_node *node;
1548 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1550 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1552 | integer_declaration_specifiers CONST
1554 struct ctf_node *node;
1557 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1558 node->u.type_specifier.type = TYPESPEC_CONST;
1559 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1561 | integer_declaration_specifiers integer_type_specifier
1564 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
1568 declaration_specifiers:
1571 struct ctf_node *node;
1573 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1574 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1575 node->u.type_specifier.type = TYPESPEC_CONST;
1576 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1580 struct ctf_node *node;
1582 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
1584 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1586 | declaration_specifiers CONST
1588 struct ctf_node *node;
1591 node = make_node(scanner, NODE_TYPE_SPECIFIER);
1592 node->u.type_specifier.type = TYPESPEC_CONST;
1593 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
1595 | declaration_specifiers type_specifier
1598 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
1602 type_declarator_list:
1605 | type_declarator_list COMMA type_declarator
1608 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
1612 integer_type_specifier:
1615 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1616 $$->u.type_specifier.type = TYPESPEC_CHAR;
1620 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1621 $$->u.type_specifier.type = TYPESPEC_SHORT;
1625 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1626 $$->u.type_specifier.type = TYPESPEC_INT;
1630 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1631 $$->u.type_specifier.type = TYPESPEC_LONG;
1635 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1636 $$->u.type_specifier.type = TYPESPEC_SIGNED;
1640 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1641 $$->u.type_specifier.type = TYPESPEC_UNSIGNED;
1645 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1646 $$->u.type_specifier.type = TYPESPEC_BOOL;
1650 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1651 $$->u.type_specifier.type = TYPESPEC_ID_TYPE;
1652 $$->u.type_specifier.id_type = yylval.s;
1654 | INTEGER LBRAC RBRAC
1656 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1657 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1658 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1660 | INTEGER LBRAC ctf_assignment_expression_list RBRAC
1662 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1663 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1664 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1665 if (set_parent_node($3, $$->u.type_specifier.node))
1666 reparent_error(scanner, "integer reparent error");
1673 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1674 $$->u.type_specifier.type = TYPESPEC_VOID;
1678 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1679 $$->u.type_specifier.type = TYPESPEC_CHAR;
1683 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1684 $$->u.type_specifier.type = TYPESPEC_SHORT;
1688 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1689 $$->u.type_specifier.type = TYPESPEC_INT;
1693 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1694 $$->u.type_specifier.type = TYPESPEC_LONG;
1698 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1699 $$->u.type_specifier.type = TYPESPEC_FLOAT;
1703 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1704 $$->u.type_specifier.type = TYPESPEC_DOUBLE;
1708 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1709 $$->u.type_specifier.type = TYPESPEC_SIGNED;
1713 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1714 $$->u.type_specifier.type = TYPESPEC_UNSIGNED;
1718 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1719 $$->u.type_specifier.type = TYPESPEC_BOOL;
1723 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1724 $$->u.type_specifier.type = TYPESPEC_COMPLEX;
1728 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1729 $$->u.type_specifier.type = TYPESPEC_IMAGINARY;
1733 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1734 $$->u.type_specifier.type = TYPESPEC_ID_TYPE;
1735 $$->u.type_specifier.id_type = yylval.s;
1737 | FLOATING_POINT LBRAC RBRAC
1739 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1740 $$->u.type_specifier.type = TYPESPEC_FLOATING_POINT;
1741 $$->u.type_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1743 | FLOATING_POINT LBRAC ctf_assignment_expression_list RBRAC
1745 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1746 $$->u.type_specifier.type = TYPESPEC_FLOATING_POINT;
1747 $$->u.type_specifier.node = make_node(scanner, NODE_FLOATING_POINT);
1748 if (set_parent_node($3, $$->u.type_specifier.node))
1749 reparent_error(scanner, "floating point reparent error");
1751 | INTEGER LBRAC RBRAC
1753 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1754 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1755 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1757 | INTEGER LBRAC ctf_assignment_expression_list RBRAC
1759 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1760 $$->u.type_specifier.type = TYPESPEC_INTEGER;
1761 $$->u.type_specifier.node = make_node(scanner, NODE_INTEGER);
1762 if (set_parent_node($3, $$->u.type_specifier.node))
1763 reparent_error(scanner, "integer reparent error");
1767 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1768 $$->u.type_specifier.type = TYPESPEC_STRING;
1769 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1771 | STRING LBRAC RBRAC
1773 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1774 $$->u.type_specifier.type = TYPESPEC_STRING;
1775 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1777 | STRING LBRAC ctf_assignment_expression_list RBRAC
1779 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1780 $$->u.type_specifier.type = TYPESPEC_STRING;
1781 $$->u.type_specifier.node = make_node(scanner, NODE_STRING);
1782 if (set_parent_node($3, $$->u.type_specifier.node))
1783 reparent_error(scanner, "string reparent error");
1785 | ENUM enum_type_specifier
1787 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1788 $$->u.type_specifier.type = TYPESPEC_ENUM;
1789 $$->u.type_specifier.node = $2;
1791 | VARIANT variant_type_specifier
1793 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1794 $$->u.type_specifier.type = TYPESPEC_VARIANT;
1795 $$->u.type_specifier.node = $2;
1797 | STRUCT struct_type_specifier
1799 $$ = make_node(scanner, NODE_TYPE_SPECIFIER);
1800 $$->u.type_specifier.type = TYPESPEC_STRUCT;
1801 $$->u.type_specifier.node = $2;
1805 struct_type_specifier:
1806 struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1808 $$ = make_node(scanner, NODE_STRUCT);
1809 $$->u._struct.has_body = 1;
1810 if ($2 && set_parent_node($2, $$))
1811 reparent_error(scanner, "struct reparent error");
1813 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1815 $$ = make_node(scanner, NODE_STRUCT);
1816 $$->u._struct.has_body = 1;
1817 $$->u._struct.name = $1;
1818 if ($3 && set_parent_node($3, $$))
1819 reparent_error(scanner, "struct reparent error");
1821 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end
1823 $$ = make_node(scanner, NODE_STRUCT);
1824 $$->u._struct.has_body = 1;
1825 $$->u._struct.name = $1;
1826 if ($3 && set_parent_node($3, $$))
1827 reparent_error(scanner, "struct reparent error");
1831 $$ = make_node(scanner, NODE_STRUCT);
1832 $$->u._struct.has_body = 0;
1833 $$->u._struct.name = $1;
1837 $$ = make_node(scanner, NODE_STRUCT);
1838 $$->u._struct.has_body = 0;
1839 $$->u._struct.name = $1;
1841 | struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end TOK_ALIGN LPAREN unary_expression RPAREN
1843 $$ = make_node(scanner, NODE_STRUCT);
1844 $$->u._struct.has_body = 1;
1845 bt_list_add_tail(&($6)->siblings, &$$->u._struct.min_align);
1846 if ($2 && set_parent_node($2, $$))
1847 reparent_error(scanner, "struct reparent error");
1849 | IDENTIFIER struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end TOK_ALIGN LPAREN unary_expression RPAREN
1851 $$ = make_node(scanner, NODE_STRUCT);
1852 $$->u._struct.has_body = 1;
1853 $$->u._struct.name = $1;
1854 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1855 if ($3 && set_parent_node($3, $$))
1856 reparent_error(scanner, "struct reparent error");
1858 | ID_TYPE struct_declaration_begin struct_or_variant_declaration_list struct_declaration_end TOK_ALIGN LPAREN unary_expression RPAREN
1860 $$ = make_node(scanner, NODE_STRUCT);
1861 $$->u._struct.has_body = 1;
1862 $$->u._struct.name = $1;
1863 bt_list_add_tail(&($7)->siblings, &$$->u._struct.min_align);
1864 if ($3 && set_parent_node($3, $$))
1865 reparent_error(scanner, "struct reparent error");
1869 struct_declaration_begin:
1871 { push_scope(scanner); }
1874 struct_declaration_end:
1876 { pop_scope(scanner); }
1879 variant_type_specifier:
1880 variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1882 $$ = make_node(scanner, NODE_VARIANT);
1883 $$->u.variant.has_body = 1;
1884 if ($2 && set_parent_node($2, $$))
1885 reparent_error(scanner, "variant reparent error");
1887 | LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1889 $$ = make_node(scanner, NODE_VARIANT);
1890 $$->u.variant.has_body = 1;
1891 $$->u.variant.choice = $2;
1892 if ($5 && set_parent_node($5, $$))
1893 reparent_error(scanner, "variant reparent error");
1895 | LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1897 $$ = make_node(scanner, NODE_VARIANT);
1898 $$->u.variant.has_body = 1;
1899 $$->u.variant.choice = $2;
1900 if ($5 && set_parent_node($5, $$))
1901 reparent_error(scanner, "variant reparent error");
1903 | IDENTIFIER variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1905 $$ = make_node(scanner, NODE_VARIANT);
1906 $$->u.variant.has_body = 1;
1907 $$->u.variant.name = $1;
1908 if ($3 && set_parent_node($3, $$))
1909 reparent_error(scanner, "variant reparent error");
1911 | IDENTIFIER LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1913 $$ = make_node(scanner, NODE_VARIANT);
1914 $$->u.variant.has_body = 1;
1915 $$->u.variant.name = $1;
1916 $$->u.variant.choice = $3;
1917 if ($6 && set_parent_node($6, $$))
1918 reparent_error(scanner, "variant reparent error");
1920 | IDENTIFIER LT IDENTIFIER GT
1922 $$ = make_node(scanner, NODE_VARIANT);
1923 $$->u.variant.has_body = 0;
1924 $$->u.variant.name = $1;
1925 $$->u.variant.choice = $3;
1927 | IDENTIFIER LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1929 $$ = make_node(scanner, NODE_VARIANT);
1930 $$->u.variant.has_body = 1;
1931 $$->u.variant.name = $1;
1932 $$->u.variant.choice = $3;
1933 if ($6 && set_parent_node($6, $$))
1934 reparent_error(scanner, "variant reparent error");
1936 | IDENTIFIER LT ID_TYPE GT
1938 $$ = make_node(scanner, NODE_VARIANT);
1939 $$->u.variant.has_body = 0;
1940 $$->u.variant.name = $1;
1941 $$->u.variant.choice = $3;
1943 | ID_TYPE variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1945 $$ = make_node(scanner, NODE_VARIANT);
1946 $$->u.variant.has_body = 1;
1947 $$->u.variant.name = $1;
1948 if ($3 && set_parent_node($3, $$))
1949 reparent_error(scanner, "variant reparent error");
1951 | ID_TYPE LT IDENTIFIER GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1953 $$ = make_node(scanner, NODE_VARIANT);
1954 $$->u.variant.has_body = 1;
1955 $$->u.variant.name = $1;
1956 $$->u.variant.choice = $3;
1957 if ($6 && set_parent_node($6, $$))
1958 reparent_error(scanner, "variant reparent error");
1960 | ID_TYPE LT IDENTIFIER GT
1962 $$ = make_node(scanner, NODE_VARIANT);
1963 $$->u.variant.has_body = 0;
1964 $$->u.variant.name = $1;
1965 $$->u.variant.choice = $3;
1967 | ID_TYPE LT ID_TYPE GT variant_declaration_begin struct_or_variant_declaration_list variant_declaration_end
1969 $$ = make_node(scanner, NODE_VARIANT);
1970 $$->u.variant.has_body = 1;
1971 $$->u.variant.name = $1;
1972 $$->u.variant.choice = $3;
1973 if ($6 && set_parent_node($6, $$))
1974 reparent_error(scanner, "variant reparent error");
1976 | ID_TYPE LT ID_TYPE GT
1978 $$ = make_node(scanner, NODE_VARIANT);
1979 $$->u.variant.has_body = 0;
1980 $$->u.variant.name = $1;
1981 $$->u.variant.choice = $3;
1985 variant_declaration_begin:
1987 { push_scope(scanner); }
1990 variant_declaration_end:
1992 { pop_scope(scanner); }
1995 enum_type_specifier:
1996 LBRAC enumerator_list RBRAC
1998 $$ = make_node(scanner, NODE_ENUM);
1999 $$->u._enum.has_body = 1;
2000 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
2002 | COLON integer_declaration_specifiers LBRAC enumerator_list RBRAC
2004 $$ = make_node(scanner, NODE_ENUM);
2005 $$->u._enum.has_body = 1;
2006 ($$)->u._enum.container_type = $2;
2007 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2009 | IDENTIFIER LBRAC enumerator_list RBRAC
2011 $$ = make_node(scanner, NODE_ENUM);
2012 $$->u._enum.has_body = 1;
2013 $$->u._enum.enum_id = $1;
2014 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2016 | IDENTIFIER COLON integer_declaration_specifiers LBRAC enumerator_list RBRAC
2018 $$ = make_node(scanner, NODE_ENUM);
2019 $$->u._enum.has_body = 1;
2020 $$->u._enum.enum_id = $1;
2021 ($$)->u._enum.container_type = $3;
2022 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2024 | ID_TYPE LBRAC enumerator_list RBRAC
2026 $$ = make_node(scanner, NODE_ENUM);
2027 $$->u._enum.has_body = 1;
2028 $$->u._enum.enum_id = $1;
2029 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2031 | ID_TYPE COLON integer_declaration_specifiers LBRAC enumerator_list RBRAC
2033 $$ = make_node(scanner, NODE_ENUM);
2034 $$->u._enum.has_body = 1;
2035 $$->u._enum.enum_id = $1;
2036 ($$)->u._enum.container_type = $3;
2037 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2039 | LBRAC enumerator_list COMMA RBRAC
2041 $$ = make_node(scanner, NODE_ENUM);
2042 $$->u._enum.has_body = 1;
2043 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u._enum.enumerator_list);
2045 | COLON integer_declaration_specifiers LBRAC enumerator_list COMMA RBRAC
2047 $$ = make_node(scanner, NODE_ENUM);
2048 $$->u._enum.has_body = 1;
2049 ($$)->u._enum.container_type = $2;
2050 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._enum.enumerator_list);
2052 | IDENTIFIER LBRAC enumerator_list COMMA RBRAC
2054 $$ = make_node(scanner, NODE_ENUM);
2055 $$->u._enum.has_body = 1;
2056 $$->u._enum.enum_id = $1;
2057 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2059 | IDENTIFIER COLON integer_declaration_specifiers LBRAC enumerator_list COMMA RBRAC
2061 $$ = make_node(scanner, NODE_ENUM);
2062 $$->u._enum.has_body = 1;
2063 $$->u._enum.enum_id = $1;
2064 ($$)->u._enum.container_type = $3;
2065 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2069 $$ = make_node(scanner, NODE_ENUM);
2070 $$->u._enum.has_body = 0;
2071 $$->u._enum.enum_id = $1;
2073 | ID_TYPE LBRAC enumerator_list COMMA RBRAC
2075 $$ = make_node(scanner, NODE_ENUM);
2076 $$->u._enum.has_body = 1;
2077 $$->u._enum.enum_id = $1;
2078 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._enum.enumerator_list);
2080 | ID_TYPE COLON integer_declaration_specifiers LBRAC enumerator_list COMMA RBRAC
2082 $$ = make_node(scanner, NODE_ENUM);
2083 $$->u._enum.has_body = 1;
2084 $$->u._enum.enum_id = $1;
2085 ($$)->u._enum.container_type = $3;
2086 _bt_list_splice_tail(&($5)->tmp_head, &($$)->u._enum.enumerator_list);
2090 $$ = make_node(scanner, NODE_ENUM);
2091 $$->u._enum.has_body = 0;
2092 $$->u._enum.enum_id = $1;
2096 struct_or_variant_declaration_list:
2099 | struct_or_variant_declaration_list struct_or_variant_declaration
2103 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2106 bt_list_add_tail(&($$)->siblings, &($$)->tmp_head);
2111 struct_or_variant_declaration:
2112 declaration_specifiers struct_or_variant_declarator_list SEMICOLON
2114 struct ctf_node *list;
2116 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2117 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2118 $$ = make_node(scanner, NODE_STRUCT_OR_VARIANT_DECLARATION);
2119 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2120 _bt_list_splice_tail(&($2)->tmp_head, &($$)->u.struct_or_variant_declaration.type_declarators);
2122 | declaration_specifiers TYPEDEF declaration_specifiers type_declarator_list SEMICOLON
2124 struct ctf_node *list;
2126 $$ = make_node(scanner, NODE_TYPEDEF);
2127 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2128 $$->u._typedef.type_specifier_list = list;
2129 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2130 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2131 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
2133 | TYPEDEF declaration_specifiers type_declarator_list SEMICOLON
2135 struct ctf_node *list;
2137 $$ = make_node(scanner, NODE_TYPEDEF);
2138 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2139 $$->u._typedef.type_specifier_list = list;
2140 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2141 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2143 | declaration_specifiers TYPEDEF type_declarator_list SEMICOLON
2145 struct ctf_node *list;
2147 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2148 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2149 $$ = make_node(scanner, NODE_TYPEDEF);
2150 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2151 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2153 | TYPEALIAS declaration_specifiers abstract_declarator_list TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list SEMICOLON
2155 struct ctf_node *list;
2157 $$ = make_node(scanner, NODE_TYPEALIAS);
2158 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2159 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2161 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2162 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
2163 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2164 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
2166 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2167 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
2168 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2169 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);
2173 alias_declaration_specifiers:
2176 struct ctf_node *node;
2178 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2179 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2180 node->u.type_specifier.type = TYPESPEC_CONST;
2181 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2185 struct ctf_node *node;
2187 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2189 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2193 struct ctf_node *node;
2195 add_type(scanner, $1);
2196 $$ = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2197 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2198 node->u.type_specifier.type = TYPESPEC_ID_TYPE;
2199 node->u.type_specifier.id_type = yylval.s;
2200 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2202 | alias_declaration_specifiers CONST
2204 struct ctf_node *node;
2207 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2208 node->u.type_specifier.type = TYPESPEC_CONST;
2209 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2211 | alias_declaration_specifiers type_specifier
2214 bt_list_add_tail(&($2)->siblings, &($$)->u.type_specifier_list.head);
2216 | alias_declaration_specifiers IDENTIFIER
2218 struct ctf_node *node;
2220 add_type(scanner, $2);
2222 node = make_node(scanner, NODE_TYPE_SPECIFIER);
2223 node->u.type_specifier.type = TYPESPEC_ID_TYPE;
2224 node->u.type_specifier.id_type = yylval.s;
2225 bt_list_add_tail(&node->siblings, &($$)->u.type_specifier_list.head);
2229 struct_or_variant_declarator_list:
2230 struct_or_variant_declarator
2232 | struct_or_variant_declarator_list COMMA struct_or_variant_declarator
2235 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2239 struct_or_variant_declarator:
2242 | COLON unary_expression
2244 | declarator COLON unary_expression
2247 if (set_parent_node($3, $1))
2248 reparent_error(scanner, "struct_or_variant_declarator");
2255 | enumerator_list COMMA enumerator
2258 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2265 $$ = make_node(scanner, NODE_ENUMERATOR);
2266 $$->u.enumerator.id = $1;
2270 $$ = make_node(scanner, NODE_ENUMERATOR);
2271 $$->u.enumerator.id = $1;
2275 $$ = make_node(scanner, NODE_ENUMERATOR);
2276 $$->u.enumerator.id = $1;
2280 $$ = make_node(scanner, NODE_ENUMERATOR);
2281 $$->u.enumerator.id = $1;
2283 | IDENTIFIER EQUAL unary_expression_or_range
2285 $$ = make_node(scanner, NODE_ENUMERATOR);
2286 $$->u.enumerator.id = $1;
2287 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2289 | ID_TYPE EQUAL unary_expression_or_range
2291 $$ = make_node(scanner, NODE_ENUMERATOR);
2292 $$->u.enumerator.id = $1;
2293 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2295 | keywords EQUAL unary_expression_or_range
2297 $$ = make_node(scanner, NODE_ENUMERATOR);
2298 $$->u.enumerator.id = $1;
2299 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2301 | STRING_LITERAL EQUAL unary_expression_or_range
2303 $$ = make_node(scanner, NODE_ENUMERATOR);
2304 $$->u.enumerator.id = $1;
2305 bt_list_splice(&($3)->tmp_head, &($$)->u.enumerator.values);
2309 abstract_declarator_list:
2312 | abstract_declarator_list COMMA abstract_declarator
2315 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2319 abstract_declarator:
2320 direct_abstract_declarator
2322 | pointer direct_abstract_declarator
2325 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2329 direct_abstract_declarator:
2332 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2333 $$->u.type_declarator.type = TYPEDEC_ID;
2338 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2339 $$->u.type_declarator.type = TYPEDEC_ID;
2340 $$->u.type_declarator.u.id = $1;
2342 | LPAREN abstract_declarator RPAREN
2344 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2345 $$->u.type_declarator.type = TYPEDEC_NESTED;
2346 $$->u.type_declarator.u.nested.type_declarator = $2;
2348 | direct_abstract_declarator LSBRAC unary_expression RSBRAC
2350 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2351 $$->u.type_declarator.type = TYPEDEC_NESTED;
2352 $$->u.type_declarator.u.nested.type_declarator = $1;
2353 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2354 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2356 | direct_abstract_declarator LSBRAC RSBRAC
2358 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2359 $$->u.type_declarator.type = TYPEDEC_NESTED;
2360 $$->u.type_declarator.u.nested.type_declarator = $1;
2361 $$->u.type_declarator.u.nested.abstract_array = 1;
2365 alias_abstract_declarator_list:
2366 alias_abstract_declarator
2368 | alias_abstract_declarator_list COMMA alias_abstract_declarator
2371 bt_list_add_tail(&($3)->siblings, &($$)->tmp_head);
2375 alias_abstract_declarator:
2376 direct_alias_abstract_declarator
2378 | pointer direct_alias_abstract_declarator
2381 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2385 direct_alias_abstract_declarator:
2388 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2389 $$->u.type_declarator.type = TYPEDEC_ID;
2392 | LPAREN alias_abstract_declarator RPAREN
2394 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2395 $$->u.type_declarator.type = TYPEDEC_NESTED;
2396 $$->u.type_declarator.u.nested.type_declarator = $2;
2398 | direct_alias_abstract_declarator LSBRAC unary_expression RSBRAC
2400 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2401 $$->u.type_declarator.type = TYPEDEC_NESTED;
2402 $$->u.type_declarator.u.nested.type_declarator = $1;
2403 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2404 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2406 | direct_alias_abstract_declarator LSBRAC RSBRAC
2408 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2409 $$->u.type_declarator.type = TYPEDEC_NESTED;
2410 $$->u.type_declarator.u.nested.type_declarator = $1;
2411 $$->u.type_declarator.u.nested.abstract_array = 1;
2418 | pointer direct_declarator
2421 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2428 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2429 $$->u.type_declarator.type = TYPEDEC_ID;
2430 $$->u.type_declarator.u.id = $1;
2432 | LPAREN declarator RPAREN
2434 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2435 $$->u.type_declarator.type = TYPEDEC_NESTED;
2436 $$->u.type_declarator.u.nested.type_declarator = $2;
2438 | direct_declarator LSBRAC unary_expression RSBRAC
2440 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2441 $$->u.type_declarator.type = TYPEDEC_NESTED;
2442 $$->u.type_declarator.u.nested.type_declarator = $1;
2443 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2444 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2449 direct_type_declarator
2451 | pointer direct_type_declarator
2454 bt_list_splice(&($1)->tmp_head, &($$)->u.type_declarator.pointers);
2458 direct_type_declarator:
2461 add_type(scanner, $1);
2462 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2463 $$->u.type_declarator.type = TYPEDEC_ID;
2464 $$->u.type_declarator.u.id = $1;
2466 | LPAREN type_declarator RPAREN
2468 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2469 $$->u.type_declarator.type = TYPEDEC_NESTED;
2470 $$->u.type_declarator.u.nested.type_declarator = $2;
2472 | direct_type_declarator LSBRAC unary_expression RSBRAC
2474 $$ = make_node(scanner, NODE_TYPE_DECLARATOR);
2475 $$->u.type_declarator.type = TYPEDEC_NESTED;
2476 $$->u.type_declarator.u.nested.type_declarator = $1;
2477 BT_INIT_LIST_HEAD(&($$)->u.type_declarator.u.nested.length);
2478 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.type_declarator.u.nested.length);
2485 $$ = make_node(scanner, NODE_POINTER);
2489 $$ = make_node(scanner, NODE_POINTER);
2490 bt_list_splice(&($2)->tmp_head, &($$)->tmp_head);
2492 | STAR type_qualifier_list pointer
2494 $$ = make_node(scanner, NODE_POINTER);
2495 $$->u.pointer.const_qualifier = 1;
2496 bt_list_splice(&($3)->tmp_head, &($$)->tmp_head);
2500 type_qualifier_list:
2501 /* pointer assumes only const type qualifier */
2503 | type_qualifier_list CONST
2506 /* 2.3: CTF-specific declarations */
2508 ctf_assignment_expression_list:
2509 ctf_assignment_expression SEMICOLON
2511 | ctf_assignment_expression_list ctf_assignment_expression SEMICOLON
2514 bt_list_add_tail(&($2)->siblings, &($$)->tmp_head);
2518 ctf_assignment_expression:
2519 unary_expression EQUAL unary_expression
2522 * Because we have left and right, cannot use
2525 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2526 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2527 if ($1->u.unary_expression.type != UNARY_STRING)
2528 reparent_error(scanner, "ctf_assignment_expression left expects string");
2529 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.ctf_expression.right);
2531 | unary_expression TYPEASSIGN declaration_specifiers /* Only allow struct */
2534 * Because we have left and right, cannot use
2537 $$ = make_node(scanner, NODE_CTF_EXPRESSION);
2538 _bt_list_splice_tail(&($1)->tmp_head, &($$)->u.ctf_expression.left);
2539 if ($1->u.unary_expression.type != UNARY_STRING)
2540 reparent_error(scanner, "ctf_assignment_expression left expects string");
2541 bt_list_add_tail(&($3)->siblings, &($$)->u.ctf_expression.right);
2543 | declaration_specifiers TYPEDEF declaration_specifiers type_declarator_list
2545 struct ctf_node *list;
2547 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2548 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2549 _bt_list_splice_tail(&($3)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2550 $$ = make_node(scanner, NODE_TYPEDEF);
2551 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2552 _bt_list_splice_tail(&($4)->tmp_head, &($$)->u._typedef.type_declarators);
2554 | TYPEDEF declaration_specifiers type_declarator_list
2556 struct ctf_node *list;
2558 $$ = make_node(scanner, NODE_TYPEDEF);
2559 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2560 $$->u._typedef.type_specifier_list = list;
2561 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2562 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2564 | declaration_specifiers TYPEDEF type_declarator_list
2566 struct ctf_node *list;
2568 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2569 _bt_list_splice_tail(&($1)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2570 $$ = make_node(scanner, NODE_TYPEDEF);
2571 ($$)->u.struct_or_variant_declaration.type_specifier_list = list;
2572 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u._typedef.type_declarators);
2574 | TYPEALIAS declaration_specifiers abstract_declarator_list TYPEASSIGN alias_declaration_specifiers alias_abstract_declarator_list
2576 struct ctf_node *list;
2578 $$ = make_node(scanner, NODE_TYPEALIAS);
2579 $$->u.typealias.target = make_node(scanner, NODE_TYPEALIAS_TARGET);
2580 $$->u.typealias.alias = make_node(scanner, NODE_TYPEALIAS_ALIAS);
2582 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2583 $$->u.typealias.target->u.typealias_target.type_specifier_list = list;
2584 _bt_list_splice_tail(&($2)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2585 _bt_list_splice_tail(&($3)->tmp_head, &($$)->u.typealias.target->u.typealias_target.type_declarators);
2587 list = make_node(scanner, NODE_TYPE_SPECIFIER_LIST);
2588 $$->u.typealias.alias->u.typealias_alias.type_specifier_list = list;
2589 _bt_list_splice_tail(&($5)->u.type_specifier_list.head, &list->u.type_specifier_list.head);
2590 _bt_list_splice_tail(&($6)->tmp_head, &($$)->u.typealias.alias->u.typealias_alias.type_declarators);