Changes in src/Parser/parser.yy [c453ac4:24c3b67]

File:

• src/Parser/parser.yy (modified) (7 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 Dec 21 11:32:56 2017
-// Update Count     : 2996
+// Last Modified On : Thu Feb 15 17:12:31 2018
+// Update Count     : 3006
 //
 
@@ -482 +482 @@
                 { $$ = new ExpressionNode( new StmtExpr( dynamic_cast< CompoundStmt * >(maybeMoveBuild< Statement >($2) ) ) ); }
         | type_name '.' no_attr_identifier                                      // CFA, nested type
-                { throw SemanticError("Qualified names are currently unimplemented."); $$ = nullptr; }                                                          // FIX ME
+                { throw SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; } // FIX ME
         | type_name '.' '[' push field_list pop ']'                     // CFA, nested type / tuple field selector
-                { throw SemanticError("Qualified names are currently unimplemented."); $$ = nullptr; }                                                          // FIX ME
+                { throw SemanticError( yylloc, "Qualified names are currently unimplemented." ); $$ = nullptr; } // FIX ME
+        | GENERIC '(' assignment_expression ',' generic_assoc_list ')' // C11
+                { throw SemanticError( yylloc, "_Generic is currently unimplemented." ); $$ = nullptr; } // FIX ME
+        ;
+
+generic_assoc_list:                                                                             // C11
+        | generic_association
+        | generic_assoc_list ',' generic_association
+        ;
+
+generic_association:                                                                    // C11
+        type_no_function ':' assignment_expression
+        | DEFAULT ':' assignment_expression
         ;
 
@@ -767 +779 @@
         | unary_expression assignment_operator assignment_expression
                 { $$ = new ExpressionNode( build_binary_val( $2, $1, $3 ) ); }
+        | unary_expression '=' '{' initializer_list comma_opt '}' // FIX ME
+                { $$ = nullptr; }
         ;
 
@@ -1050 +1064 @@
         | RETURN comma_expression_opt ';'
                 { $$ = new StatementNode( build_return( $2 ) ); }
+        | RETURN '{' initializer_list comma_opt '}'                     // FIX ME
+                { $$ = nullptr; }
         | THROW assignment_expression_opt ';'                           // handles rethrow
                 { $$ = new StatementNode( build_throw( $2 ) ); }
@@ -1068 +1084 @@
 mutex_statement:
         MUTEX '(' argument_expression_list ')' statement
-                { throw SemanticError("Mutex statement is currently unimplemented."); $$ = nullptr; } // FIX ME
+                { throw SemanticError( yylloc, "Mutex statement is currently unimplemented." ); $$ = nullptr; } // FIX ME
         ;
 
@@ -1289 +1305 @@
 static_assert:
         STATICASSERT '(' constant_expression ',' string_literal ')' ';' // C11
-                { throw SemanticError("Static assert is currently unimplemented."); $$ = nullptr; }     // FIX ME
+                { throw SemanticError( yylloc, "Static assert is currently unimplemented." ); $$ = nullptr; }   // FIX ME
 
 // C declaration syntax is notoriously confusing and error prone. Cforall provides its own type, variable and function
@@ -2377 +2393 @@
                 {
                         linkageStack.push( linkage );                           // handle nested extern "C"/"Cforall"
-                        linkage = LinkageSpec::linkageUpdate( linkage, $2 );
+                        linkage = LinkageSpec::linkageUpdate( yylloc, linkage, $2 );
                 }
           '{' external_definition_list_opt '}'