Changes in src/Parser/parser.yy [1e30df7:7cf8006]

File:

• src/Parser/parser.yy (modified) (15 diffs)

src/Parser/parser.yy

@@ -10 +10 @@
 // Created On       : Sat Sep  1 20:22:55 2001
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Sat Oct  8 08:21:18 2022
-// Update Count     : 5709
+// Last Modified On : Wed Nov  2 21:31:21 2022
+// Update Count     : 5810
 //
 
@@ -278 +278 @@
 
 // Types declaration for productions
+
 %union {
         Token tok;
@@ -290 +291 @@
         CondCtl * ifctl;
         ForCtrl * fctl;
-        enum OperKinds compop;
+        OperKinds compop;
         LabelNode * label;
         InitializerNode * in;
@@ -296 +297 @@
         std::string * str;
         bool flag;
+        EnumHiding hide;
         CatchStmt::Kind catch_kind;
         GenericExpr * genexpr;
@@ -305 +307 @@
 %token TYPEDEF
 %token EXTERN STATIC AUTO REGISTER
-%token THREADLOCALGCC THREADLOCALC11                                            // GCC, C11
+%token THREADLOCALGCC THREADLOCALC11                                    // GCC, C11
 %token INLINE FORTRAN                                                                   // C99, extension ISO/IEC 9899:1999 Section J.5.9(1)
 %token NORETURN                                                                                 // C11
@@ -318 +320 @@
 %token DECIMAL32 DECIMAL64 DECIMAL128                                   // GCC
 %token ZERO_T ONE_T                                                                             // CFA
-%token SIZEOF TYPEOF VALIST AUTO_TYPE                                   // GCC
+%token SIZEOF TYPEOF VA_LIST VA_ARG AUTO_TYPE                   // GCC
 %token OFFSETOF BASETYPEOF TYPEID                                               // CFA
 %token ENUM STRUCT UNION
@@ -364 +366 @@
 %type<constant> string_literal
 %type<str> string_literal_list
+
+%type<hide> hide_opt                                    visible_hide_opt
 
 // expressions
@@ -409 +413 @@
 // declarations
 %type<decl> abstract_declarator abstract_ptr abstract_array abstract_function array_dimension multi_array_dimension
-%type<decl> abstract_parameter_declarator abstract_parameter_ptr abstract_parameter_array abstract_parameter_function array_parameter_dimension array_parameter_1st_dimension
+%type<decl> abstract_parameter_declarator_opt abstract_parameter_declarator abstract_parameter_ptr abstract_parameter_array abstract_parameter_function array_parameter_dimension array_parameter_1st_dimension
 %type<decl> abstract_parameter_declaration
 
@@ -698 +702 @@
         primary_expression
         | postfix_expression '[' assignment_expression ',' tuple_expression_list ']'
-                        // Historic, transitional: Disallow commas in subscripts.
-                        // Switching to this behaviour may help check if a C compatibilty case uses comma-exprs in subscripts.
-                        // Current: Commas in subscripts make tuples.
+                // Historic, transitional: Disallow commas in subscripts.
+                // Switching to this behaviour may help check if a C compatibilty case uses comma-exprs in subscripts.
+                // Current: Commas in subscripts make tuples.
                 { $$ = new ExpressionNode( build_binary_val( OperKinds::Index, $1, new ExpressionNode( build_tuple( (ExpressionNode *)($3->set_last( $5 ) ) )) ) ); }
         | postfix_expression '[' assignment_expression ']'
@@ -720 +724 @@
         | postfix_expression '(' argument_expression_list_opt ')'
                 { $$ = new ExpressionNode( build_func( $1, $3 ) ); }
+        | VA_ARG '(' primary_expression ',' declaration_specifier_nobody abstract_parameter_declarator_opt ')'
+                // { SemanticError( yylloc, "va_arg is currently unimplemented." ); $$ = nullptr; }
+                { $$ = new ExpressionNode( build_func( new ExpressionNode( build_varref( new string( "__builtin_va_arg") ) ),
+                                                                                           (ExpressionNode *)($3->set_last( (ExpressionNode *)($6 ? $6->addType( $5 ) : $5) )) ) ); }
         | postfix_expression '`' identifier                                     // CFA, postfix call
                 { $$ = new ExpressionNode( build_func( new ExpressionNode( build_varref( build_postfix_name( $3 ) ) ), $1 ) ); }
@@ -2156 +2164 @@
         | LONG
                 { $$ = DeclarationNode::newLength( DeclarationNode::Long ); }
-        | VALIST                                                                                        // GCC, __builtin_va_list
+        | VA_LIST                                                                                       // GCC, __builtin_va_list
                 { $$ = DeclarationNode::newBuiltinType( DeclarationNode::Valist ); }
         | AUTO_TYPE
@@ -2549 +2557 @@
         | ENUM attribute_list_opt identifier
                 { typedefTable.makeTypedef( *$3 ); }
-          '{' enumerator_list comma_opt '}'
-                { $$ = DeclarationNode::newEnum( $3, $6, true, false )->addQualifiers( $2 ); }
+          hide_opt '{' enumerator_list comma_opt '}'
+          { $$ = DeclarationNode::newEnum( $3, $7, true, false )->addQualifiers( $2 ); }
         | ENUM attribute_list_opt typedef_name                          // unqualified type name
-          '{' enumerator_list comma_opt '}'
-                { $$ = DeclarationNode::newEnum( $3->name, $5, true, false )->addQualifiers( $2 ); }
+          hide_opt '{' enumerator_list comma_opt '}'
+                { $$ = DeclarationNode::newEnum( $3->name, $6, true, false )->addQualifiers( $2 ); }
         | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt '{' enumerator_list comma_opt '}'
                 {
@@ -2570 +2578 @@
                         typedefTable.makeTypedef( *$6 );
                 }
-          '{' enumerator_list comma_opt '}'
-                {
-                        $$ = DeclarationNode::newEnum( $6, $10, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
+          hide_opt '{' enumerator_list comma_opt '}'
+                {
+                        $$ = DeclarationNode::newEnum( $6, $11, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
                 }
         | ENUM '(' ')' attribute_list_opt identifier attribute_list_opt
-          '{' enumerator_list comma_opt '}'
-                {
-                        $$ = DeclarationNode::newEnum( $5, $8, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
-                }
-        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt typedef_name attribute_list_opt '{' enumerator_list comma_opt '}'
-                {
-                        $$ = DeclarationNode::newEnum( $6->name, $9, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
-                }
-        | ENUM '(' ')' attribute_list_opt typedef_name attribute_list_opt '{' enumerator_list comma_opt '}'
-                {
-                        $$ = DeclarationNode::newEnum( $5->name, $8, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
+          hide_opt '{' enumerator_list comma_opt '}'
+                {
+                        $$ = DeclarationNode::newEnum( $5, $9, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
+                }
+        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt typedef_name attribute_list_opt
+          hide_opt '{' enumerator_list comma_opt '}'
+                {
+                        $$ = DeclarationNode::newEnum( $6->name, $10, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
+                }
+        | ENUM '(' ')' attribute_list_opt typedef_name attribute_list_opt
+          hide_opt '{' enumerator_list comma_opt '}'
+                {
+                        $$ = DeclarationNode::newEnum( $5->name, $9, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
                 }
         | enum_type_nobody
+        ;
+
+hide_opt:
+        // empty
+                { $$ = EnumHiding::Visible; }
+        | '!'
+                { $$ = EnumHiding::Hide; }
         ;
 
@@ -2598 +2615 @@
 
 enumerator_list:
-        identifier_or_type_name enumerator_value_opt
-                { $$ = DeclarationNode::newEnumValueGeneric( $1, $2 ); }
+        visible_hide_opt identifier_or_type_name enumerator_value_opt
+                { $$ = DeclarationNode::newEnumValueGeneric( $2, $3 ); }
         | INLINE type_name
                 { $$ = DeclarationNode::newEnumInLine( *$2->type->symbolic.name ); }
-        | enumerator_list ',' identifier_or_type_name enumerator_value_opt
-                { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( $3, $4 ) ); }
+        | enumerator_list ',' visible_hide_opt identifier_or_type_name enumerator_value_opt
+                { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( $4, $5 ) ); }
         | enumerator_list ',' INLINE type_name enumerator_value_opt
                 { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( new string("inline"), nullptr ) ); }
+        ;
+
+visible_hide_opt:
+        hide_opt
+        | '^'
+                { $$ = EnumHiding::Visible; }
         ;
 
@@ -3676 +3699 @@
 // functions.
 
+abstract_parameter_declarator_opt:
+        // empty
+                { $$ = nullptr; }
+        | abstract_parameter_declarator
+        ;
+
 abstract_parameter_declarator:
         abstract_parameter_ptr