Changes in src/Parser/parser.yy [c6b4432:eb779d5]

File:

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

src/Parser/parser.yy

@@ -48 +48 @@
 using namespace std;
 
+#include "SynTree/Type.h"                               // for Type
 #include "DeclarationNode.h"                            // for DeclarationNode, ...
 #include "ExpressionNode.h"                             // for ExpressionNode, ...
@@ -57 +58 @@
 #include "Common/SemanticError.h"                                               // error_str
 #include "Common/utility.h"                                                             // for maybeMoveBuild, maybeBuild, CodeLo...
+
+#include "SynTree/Attribute.h"                                                  // for Attribute
 
 // lex uses __null in a boolean context, it's fine.
@@ -1723 +1726 @@
 cofor_statement:
         COFOR '(' for_control_expression_list ')' statement
-                { $$ = new StatementNode( build_cofor( yylloc, $3, maybe_build_compound( yylloc, $5 ) ) ); }
+                { SemanticError( yylloc, "cofor statement is currently unimplemented." ); $$ = nullptr; }
         ;
 
@@ -2166 +2169 @@
 type_qualifier_name:
         CONST
-                { $$ = DeclarationNode::newTypeQualifier( ast::CV::Const ); }
+                { $$ = DeclarationNode::newTypeQualifier( Type::Const ); }
         | RESTRICT
-                { $$ = DeclarationNode::newTypeQualifier( ast::CV::Restrict ); }
+                { $$ = DeclarationNode::newTypeQualifier( Type::Restrict ); }
         | VOLATILE
-                { $$ = DeclarationNode::newTypeQualifier( ast::CV::Volatile ); }
+                { $$ = DeclarationNode::newTypeQualifier( Type::Volatile ); }
         | ATOMIC
-                { $$ = DeclarationNode::newTypeQualifier( ast::CV::Atomic ); }
+                { $$ = DeclarationNode::newTypeQualifier( Type::Atomic ); }
         | forall
                 { $$ = DeclarationNode::newForall( $1 ); }
@@ -2203 +2206 @@
 storage_class:
         EXTERN
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::Extern ); }
+                { $$ = DeclarationNode::newStorageClass( Type::Extern ); }
         | STATIC
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::Static ); }
+                { $$ = DeclarationNode::newStorageClass( Type::Static ); }
         | AUTO
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::Auto ); }
+                { $$ = DeclarationNode::newStorageClass( Type::Auto ); }
         | REGISTER
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::Register ); }
+                { $$ = DeclarationNode::newStorageClass( Type::Register ); }
         | THREADLOCALGCC                                                                                // GCC
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::ThreadLocalGcc ); }
+                { $$ = DeclarationNode::newStorageClass( Type::ThreadlocalGcc ); }
         | THREADLOCALC11                                                                                // C11
-                { $$ = DeclarationNode::newStorageClass( ast::Storage::ThreadLocalC11 ); }
+                { $$ = DeclarationNode::newStorageClass( Type::ThreadlocalC11 ); }
                 // Put function specifiers here to simplify parsing rules, but separate them semantically.
         | INLINE                                                                                        // C99
-                { $$ = DeclarationNode::newFuncSpecifier( ast::Function::Inline ); }
+                { $$ = DeclarationNode::newFuncSpecifier( Type::Inline ); }
         | FORTRAN                                                                                       // C99
-                { $$ = DeclarationNode::newFuncSpecifier( ast::Function::Fortran ); }
+                { $$ = DeclarationNode::newFuncSpecifier( Type::Fortran ); }
         | NORETURN                                                                                      // C11
-                { $$ = DeclarationNode::newFuncSpecifier( ast::Function::Noreturn ); }
+                { $$ = DeclarationNode::newFuncSpecifier( Type::Noreturn ); }
         ;
 
@@ -3714 +3717 @@
                 { $$ = $1->addQualifiers( $2 ); }
         | '&' MUTEX paren_identifier attribute_list_opt
-                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( ast::CV::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
+                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
         | identifier_parameter_ptr
         | identifier_parameter_array attribute_list_opt
@@ -3764 +3767 @@
                 { $$ = $1->addQualifiers( $2 ); }
         | '&' MUTEX typedef_name attribute_list_opt
-                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( ast::CV::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
+                { $$ = $3->addPointer( DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf ) )->addQualifiers( $4 ); }
         | type_parameter_ptr
         | type_parameter_array attribute_list_opt
@@ -3938 +3941 @@
         abstract_parameter_ptr
         | '&' MUTEX attribute_list_opt
-                { $$ = DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( ast::CV::Mutex ), OperKinds::AddressOf )->addQualifiers( $3 ); }
+                { $$ = DeclarationNode::newPointer( DeclarationNode::newTypeQualifier( Type::Mutex ), OperKinds::AddressOf )->addQualifiers( $3 ); }
         | abstract_parameter_array attribute_list_opt
                 { $$ = $1->addQualifiers( $2 ); }