Changeset 63be3387 for src/Parser


Ignore:
Timestamp:
Nov 14, 2022, 11:52:44 AM (3 years ago)
Author:
caparson <caparson@…>
Branches:
ADT, ast-experimental, master
Children:
7d9598d8
Parents:
b77f0e1 (diff), 19a8c40 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.
Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:
src/Parser
Files:
5 edited

Legend:

Unmodified
Added
Removed

  • src/Parser/DeclarationNode.cc

    rb77f0e1 r63be3387  
    2727#include "SynTree/LinkageSpec.h"   // for Spec, linkageName, Cforall
    2828#include "SynTree/Attribute.h"     // for Attribute
    29 #include "SynTree/Declaration.h"   // for TypeDecl, ObjectDecl, Declaration
     29#include "SynTree/Declaration.h"   // for TypeDecl, ObjectDecl, InlineMemberDecl, Declaration
    3030#include "SynTree/Expression.h"    // for Expression, ConstantExpr
    3131#include "SynTree/Statement.h"     // for AsmStmt
    … …  
    11651165                SemanticError( this, "invalid function specifier for " );
    11661166        } // if
     1167        if ( enumInLine ) {
     1168                return new InlineMemberDecl( *name, storageClasses, linkage, nullptr );
     1169        } // if
    11671170        assertf( name, "ObjectDecl must a have name\n" );
    11681171        return (new ObjectDecl( *name, storageClasses, linkage, maybeBuild< Expression >( bitfieldWidth ), nullptr, maybeBuild< Initializer >( initializer ) ))->set_asmName( asmName )->set_extension( extension );

  • src/Parser/ExpressionNode.cc

    rb77f0e1 r63be3387  
    519519                }
    520520        }
    521         auto ret =  new QualifiedNameExpr( newDecl, name->name );
    522         if ( auto e = dynamic_cast<EnumDecl*>(newDecl) ) {
    523                 auto enumInst = new EnumInstType( Type::Qualifiers(), e );
    524                 auto obj = new ObjectDecl( name->name, Type::StorageClasses(), LinkageSpec::Cforall, nullptr, enumInst, nullptr );
    525         }
    526         return ret;
     521        return new QualifiedNameExpr( newDecl, name->name );
    527522}
    528523

  • src/Parser/ParseNode.h

    rb77f0e1 r63be3387  
    1010// Created On       : Sat May 16 13:28:16 2015
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Tue Oct 18 16:22:15 2022
    13 // Update Count     : 937
     12// Last Modified On : Wed Nov  2 21:27:07 2022
     13// Update Count     : 939
    1414//
    1515
    … …  
    168168        Ctor, Dtor,
    169169}; // OperKinds
     170
     171enum class EnumHiding { Visible, Hide };
    170172
    171173struct LabelNode {

  • src/Parser/TypeData.cc

    rb77f0e1 r63be3387  
    925925        for ( const DeclarationNode * cur = td->enumeration.constants; cur != nullptr; cur = dynamic_cast< DeclarationNode * >( cur->get_next() ), ++members ) {
    926926                if ( cur->enumInLine ) {
    927                         // Tell the compiler this is a inline value placeholder
    928                         ObjectDecl * member = dynamic_cast< ObjectDecl* >(* members);
    929                         member->enumInLine = true;
    930                 }
    931                 if ( ret->isTyped && !ret->base && cur->has_enumeratorValue() ) {
     927                        // Do Nothing
     928                } else if ( ret->isTyped && !ret->base && cur->has_enumeratorValue() ) {
    932929                        SemanticError( td->location, "Enumerator of enum(void) cannot have an explicit initializer value." );
    933930                } else if ( cur->has_enumeratorValue() ) {

  • src/Parser/parser.yy

    rb77f0e1 r63be3387  
    1010// Created On       : Sat Sep  1 20:22:55 2001
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Fri Oct 14 14:04:43 2022
    13 // Update Count     : 5751
     12// Last Modified On : Wed Nov  2 21:31:21 2022
     13// Update Count     : 5810
    1414//
    1515
    … …  
    278278
    279279// Types declaration for productions
     280
    280281%union {
    281282        Token tok;
    … …  
    290291        CondCtl * ifctl;
    291292        ForCtrl * fctl;
    292         enum OperKinds compop;
     293        OperKinds compop;
    293294        LabelNode * label;
    294295        InitializerNode * in;
    … …  
    296297        std::string * str;
    297298        bool flag;
     299        EnumHiding hide;
    298300        CatchStmt::Kind catch_kind;
    299301        GenericExpr * genexpr;
    … …  
    364366%type<constant> string_literal
    365367%type<str> string_literal_list
     368
     369%type<hide> hide_opt                                    visible_hide_opt
    366370
    367371// expressions
    … …  
    25532557        | ENUM attribute_list_opt identifier
    25542558                { typedefTable.makeTypedef( *$3 ); }
    2555           '{' enumerator_list comma_opt '}'
    2556                 { $$ = DeclarationNode::newEnum( $3, $6, true, false )->addQualifiers( $2 ); }
     2559          hide_opt '{' enumerator_list comma_opt '}'
     2560          { $$ = DeclarationNode::newEnum( $3, $7, true, false )->addQualifiers( $2 ); }
    25572561        | ENUM attribute_list_opt typedef_name                          // unqualified type name
    2558           '{' enumerator_list comma_opt '}'
    2559                 { $$ = DeclarationNode::newEnum( $3->name, $5, true, false )->addQualifiers( $2 ); }
     2562          hide_opt '{' enumerator_list comma_opt '}'
     2563                { $$ = DeclarationNode::newEnum( $3->name, $6, true, false )->addQualifiers( $2 ); }
    25602564        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt '{' enumerator_list comma_opt '}'
    25612565                {
    … …  
    25742578                        typedefTable.makeTypedef( *$6 );
    25752579                }
    2576           '{' enumerator_list comma_opt '}'
    2577                 {
    2578                         $$ = DeclarationNode::newEnum( $6, $10, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
     2580          hide_opt '{' enumerator_list comma_opt '}'
     2581                {
     2582                        $$ = DeclarationNode::newEnum( $6, $11, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
    25792583                }
    25802584        | ENUM '(' ')' attribute_list_opt identifier attribute_list_opt
    2581           '{' enumerator_list comma_opt '}'
    2582                 {
    2583                         $$ = DeclarationNode::newEnum( $5, $8, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
    2584                 }
    2585         | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt typedef_name attribute_list_opt '{' enumerator_list comma_opt '}'
    2586                 {
    2587                         $$ = DeclarationNode::newEnum( $6->name, $9, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
    2588                 }
    2589         | ENUM '(' ')' attribute_list_opt typedef_name attribute_list_opt '{' enumerator_list comma_opt '}'
    2590                 {
    2591                         $$ = DeclarationNode::newEnum( $5->name, $8, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
     2585          hide_opt '{' enumerator_list comma_opt '}'
     2586                {
     2587                        $$ = DeclarationNode::newEnum( $5, $9, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
     2588                }
     2589        | ENUM '(' cfa_abstract_parameter_declaration ')' attribute_list_opt typedef_name attribute_list_opt
     2590          hide_opt '{' enumerator_list comma_opt '}'
     2591                {
     2592                        $$ = DeclarationNode::newEnum( $6->name, $10, true, true, $3 )->addQualifiers( $5 )->addQualifiers( $7 );
     2593                }
     2594        | ENUM '(' ')' attribute_list_opt typedef_name attribute_list_opt
     2595          hide_opt '{' enumerator_list comma_opt '}'
     2596                {
     2597                        $$ = DeclarationNode::newEnum( $5->name, $9, true, true, nullptr )->addQualifiers( $4 )->addQualifiers( $6 );
    25922598                }
    25932599        | enum_type_nobody
     2600        ;
     2601
     2602hide_opt:
     2603        // empty
     2604                { $$ = EnumHiding::Visible; }
     2605        | '!'
     2606                { $$ = EnumHiding::Hide; }
    25942607        ;
    25952608
    … …  
    26022615
    26032616enumerator_list:
    2604         identifier_or_type_name enumerator_value_opt
    2605                 { $$ = DeclarationNode::newEnumValueGeneric( $1, $2 ); }
     2617        visible_hide_opt identifier_or_type_name enumerator_value_opt
     2618                { $$ = DeclarationNode::newEnumValueGeneric( $2, $3 ); }
    26062619        | INLINE type_name
    26072620                { $$ = DeclarationNode::newEnumInLine( *$2->type->symbolic.name ); }
    2608         | enumerator_list ',' identifier_or_type_name enumerator_value_opt
    2609                 { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( $3, $4 ) ); }
     2621        | enumerator_list ',' visible_hide_opt identifier_or_type_name enumerator_value_opt
     2622                { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( $4, $5 ) ); }
    26102623        | enumerator_list ',' INLINE type_name enumerator_value_opt
    26112624                { $$ = $1->appendList( DeclarationNode::newEnumValueGeneric( new string("inline"), nullptr ) ); }
     2625        ;
     2626
     2627visible_hide_opt:
     2628        hide_opt
     2629        | '^'
     2630                { $$ = EnumHiding::Visible; }
    26122631        ;
    26132632
Note: See TracChangeset for help on using the changeset viewer.