Changeset 8bea701

Timestamp:

Mar 28, 2021, 10:59:56 PM (4 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:

9e234f0b

Parents:

fec3e9a

Message:

add semantic error for typed enumeration is currently unimplemented

File:

• src/Parser/parser.yy (modified) (2 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 Mar 23 20:56:24 2021
-// Update Count     : 4929
+// Last Modified On : Sun Mar 28 18:53:34 2021
+// Update Count     : 4940
 //
 
@@ -2226 +2226 @@
                 { $$ = DeclarationNode::newEnum( $3->name, $5, true )->addQualifiers( $2 ); }
         | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt '{' enumerator_list comma_opt '}'
-                // { SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr; }
-                { $$ = nullptr; }
-        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt identifier attribute_list_opt '{' enumerator_list comma_opt '}'
-                // { SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr; }
-                { typedefTable.makeTypedef( *$6 ); }
+                {
+                        if ( $3->storageClasses.val != 0 || $3->type->qualifiers.val != 0 ) { SemanticError( yylloc, "storage-class and CV qualifiers are not meaningful for constants." ); }
+                        SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr;
+                }
+        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt identifier attribute_list_opt
+                {
+                        if ( $3->storageClasses.val != 0 || $3->type->qualifiers.val != 0 ) { SemanticError( yylloc, "storage-class and CV qualifiers are not meaningful for constants." ); }
+                        typedefTable.makeTypedef( *$6 );
+                }
+          '{' enumerator_list comma_opt '}'
+                {
+                        SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr;
+                }
         | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt typedef_name attribute_list_opt '{' enumerator_list comma_opt '}'
-                // { SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr; }
-                { typedefTable.makeTypedef( *$6->name ); }
+                {
+                        if ( $3->storageClasses.val != 0 || $3->type->qualifiers.val != 0 ) { SemanticError( yylloc, "storage-class and CV qualifiers are not meaningful for constants." ); }
+                        typedefTable.makeTypedef( *$6->name );
+                        SemanticError( yylloc, "Typed enumeration is currently unimplemented." ); $$ = nullptr;
+                }
         | enum_type_nobody
         ;