Changes in src/Parser/parser.yy [f6e3e34:f38e7d7]

File:

• src/Parser/parser.yy (modified) (13 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 : Thu Mar 22 16:56:21 2018
-// Update Count     : 3125
+// Last Modified On : Tue Apr 17 17:10:30 2018
+// Update Count     : 3144
 //
 
@@ -391 +391 @@
 %precedence '('
 
-%locations                      // support location tracking for error messages
+%locations                                                                                              // support location tracking for error messages
 
 %start translation_unit                                                                 // parse-tree root
@@ -497 +497 @@
                 { $$ = new ExpressionNode( build_func( new ExpressionNode( build_postfix_name( $5 ) ), $2 ) ); }
         | type_name '.' no_attr_identifier                                      // CFA, nested type
-                { SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; }
         | type_name '.' '[' push field_list pop ']'                     // CFA, nested type / tuple field selector
-                { SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; }
         | GENERIC '(' assignment_expression ',' generic_assoc_list ')' // C11
-                { SemanticError( yylloc, "_Generic is currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "_Generic is currently unimplemented." ); $$ = nullptr; }
         ;
 
@@ -687 +687 @@
         | '(' type_no_function ')' cast_expression
                 { $$ = new ExpressionNode( build_cast( $2, $4 ) ); }
+        | '(' COROUTINE '&' ')' cast_expression                         // CFA
+                { SemanticError( yylloc, "coroutine cast is currently unimplemented." ); $$ = nullptr; }
+        | '(' THREAD '&' ')' cast_expression                            // CFA
+                { SemanticError( yylloc, "monitor cast is currently unimplemented." ); $$ = nullptr; }
+        | '(' MONITOR '&' ')' cast_expression                           // CFA
+                { SemanticError( yylloc, "thread cast is currently unimplemented." ); $$ = nullptr; }
                 // VIRTUAL cannot be opt because of look ahead issues
-        | '(' VIRTUAL ')' cast_expression
+        | '(' VIRTUAL ')' cast_expression                                       // CFA
                 { $$ = new ExpressionNode( new VirtualCastExpr( maybeMoveBuild< Expression >( $4 ), maybeMoveBuildType( nullptr ) ) ); }
-        | '(' VIRTUAL type_no_function ')' cast_expression
+        | '(' VIRTUAL type_no_function ')' cast_expression      // CFA
                 { $$ = new ExpressionNode( new VirtualCastExpr( maybeMoveBuild< Expression >( $5 ), maybeMoveBuildType( $3 ) ) ); }
 //      | '(' type_no_function ')' tuple
@@ -782 +788 @@
         | logical_OR_expression '?' comma_expression ':' conditional_expression
                 { $$ = new ExpressionNode( build_cond( $1, $3, $5 ) ); }
-                // FIX ME: this hack computes $1 twice
+                // FIX ME: computes $1 twice
         | logical_OR_expression '?' /* empty */ ':' conditional_expression // GCC, omitted first operand
                 { $$ = new ExpressionNode( build_cond( $1, $1, $4 ) ); }
@@ -797 +803 @@
                 { $$ = new ExpressionNode( build_binary_val( $2, $1, $3 ) ); }
         | unary_expression '=' '{' initializer_list comma_opt '}'
-                { SemanticError( yylloc, "Initializer assignment is currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "Initializer assignment is currently unimplemented." ); $$ = nullptr; }
         ;
 
@@ -867 +873 @@
         | exception_statement
         | enable_disable_statement
-                { SemanticError( yylloc, "enable/disable statement is currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "enable/disable statement is currently unimplemented." ); $$ = nullptr; }
         | asm_statement
         ;
@@ -1062 +1068 @@
                 { $$ = new StatementNode( build_return( $2 ) ); }
         | RETURN '{' initializer_list comma_opt '}'
-                { SemanticError( yylloc, "Initializer return is currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "Initializer return is currently unimplemented." ); $$ = nullptr; }
         | THROW assignment_expression_opt ';'                           // handles rethrow
                 { $$ = new StatementNode( build_throw( $2 ) ); }
@@ -1086 +1092 @@
 mutex_statement:
         MUTEX '(' argument_expression_list ')' statement
-                { SemanticError( yylloc, "Mutex statement is currently unimplemented." ); $$ = nullptr; } // FIX ME
+                { SemanticError( yylloc, "Mutex statement is currently unimplemented." ); $$ = nullptr; }
         ;
 
@@ -1702 +1708 @@
         | LONG
                 { $$ = DeclarationNode::newLength( DeclarationNode::Long ); }
-        | ZERO_T
-                { $$ = DeclarationNode::newBuiltinType( DeclarationNode::Zero ); }
-        | ONE_T
-                { $$ = DeclarationNode::newBuiltinType( DeclarationNode::One ); }
         | VALIST                                                                                        // GCC, __builtin_va_list
                 { $$ = DeclarationNode::newBuiltinType( DeclarationNode::Valist ); }
@@ -1725 +1727 @@
 basic_type_specifier:
         direct_type
+                // Cannot have type modifiers, e.g., short, long, etc.
         | type_qualifier_list_opt indirect_type type_qualifier_list_opt
                 { $$ = $2->addQualifiers( $1 )->addQualifiers( $3 ); }
@@ -1730 +1733 @@
 
 direct_type:
-                // A semantic check is necessary for conflicting type qualifiers.
         basic_type_name
         | type_qualifier_list basic_type_name
@@ -1749 +1751 @@
         | ATTR_TYPEGENname '(' comma_expression ')'                     // CFA: e.g., @type(a+b) y;
                 { $$ = DeclarationNode::newAttr( $1, $3 ); }
+        | ZERO_T                                                                                        // CFA
+                { $$ = DeclarationNode::newBuiltinType( DeclarationNode::Zero ); }
+        | ONE_T                                                                                         // CFA
+                { $$ = DeclarationNode::newBuiltinType( DeclarationNode::One ); }
         ;