Changeset ec3f9c8 for src/Parser/parser.yy

Timestamp:

Jan 27, 2021, 9:19:37 AM (3 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

d9e4d83

Parents:

352cbc2

Message:

formatting, update deprecated type-kind usage for new syntax

File:

• src/Parser/parser.yy (modified) (6 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 : Tue Jan 26 11:18:19 2021
-// Update Count     : 4674
+// Last Modified On : Wed Jan 27 08:58:56 2021
+// Update Count     : 4680
 //
 
@@ -41 +41 @@
 
 %{
-#define YYDEBUG_LEXER_TEXT (yylval)                                             // lexer loads this up each time
+#define YYDEBUG_LEXER_TEXT( yylval )                                    // lexer loads this up each time
 #define YYDEBUG 1                                                                               // get the pretty debugging code to compile
 #define YYERROR_VERBOSE                                                                 // more information in syntax errors
@@ -187 +187 @@
         ConstantExpr * constant = dynamic_cast<ConstantExpr *>(type->expr.get());
         if ( constant && (constant->get_constant()->get_value() == "0" || constant->get_constant()->get_value() == "1") ) {
-        type = new ExpressionNode( new CastExpr( maybeMoveBuild<Expression>(type), new BasicType( Type::Qualifiers(), BasicType::SignedInt ) ) );
+                type = new ExpressionNode( new CastExpr( maybeMoveBuild<Expression>(type), new BasicType( Type::Qualifiers(), BasicType::SignedInt ) ) );
         } // if
         return new ForCtrl(
@@ -1247 +1247 @@
                 { $$ = new StatementNode( build_computedgoto( $3 ) ); }
                 // A semantic check is required to ensure fallthru appears only in the body of a choose statement.
-    | fall_through_name ';'                                                             // CFA
+        | fall_through_name ';'                                                         // CFA
                 { $$ = new StatementNode( build_branch( BranchStmt::FallThrough ) ); }
-    | fall_through_name identifier_or_type_name ';'             // CFA
+        | fall_through_name identifier_or_type_name ';'         // CFA
                 { $$ = new StatementNode( build_branch( $2, BranchStmt::FallThrough ) ); }
         | fall_through_name DEFAULT ';'                                         // CFA
@@ -1739 +1739 @@
 
 enum_specifier_nobody:                                                                  // type specifier - {...}
-                // Preclude SUE declarations in restricted scopes:
-                //
-                //    int f( struct S { int i; } s1, Struct S s2 ) { struct S s3; ... }
-                //
-                // because it is impossible to call f due to name equivalence.
+                // Preclude SUE declarations in restricted scopes (see type_specifier_nobody)
         basic_type_specifier
         | sue_type_specifier_nobody
@@ -2461 +2457 @@
                 {
                         typedefTable.addToScope( *$2, TYPEDEFname, "9" );
-                        if ( $1 == TypeDecl::Otype ) { SemanticError( yylloc, "otype keyword is deprecated" ); }
-                        if ( $1 == TypeDecl::Dtype ) { SemanticError( yylloc, "dtype keyword is deprecated" ); }
-                        if ( $1 == TypeDecl::Ttype ) { SemanticError( yylloc, "ttype keyword is deprecated" ); }
+                        if ( $1 == TypeDecl::Otype ) { SemanticError( yylloc, "otype keyword is deprecated, use T " ); }
+                        if ( $1 == TypeDecl::Dtype ) { SemanticError( yylloc, "dtype keyword is deprecated, use T &" ); }
+                        if ( $1 == TypeDecl::Ttype ) { SemanticError( yylloc, "ttype keyword is deprecated, use T ..." ); }
                 }
           type_initializer_opt assertion_list_opt