Changeset 9ddcee1 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Feb 1, 2024, 5:13:04 PM (6 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

020fa10

Parents:

496ffc17

Message:

Remove EnumPosExpr?, an early design that no longer used. The implementation of the feature has been replaced by ReplacePseudoFunc?

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (2 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -659 +659 @@
                 void postvisit( const ast::OffsetofExpr * offsetofExpr );
                 void postvisit( const ast::OffsetPackExpr * offsetPackExpr );
-                void postvisit( const ast::EnumPosExpr * enumPosExpr );
                 void postvisit( const ast::LogicalExpr * logicalExpr );
                 void postvisit( const ast::ConditionalExpr * conditionalExpr );
@@ -1507 +1506 @@
         void Finder::postvisit( const ast::OffsetPackExpr * offsetPackExpr ) {
                 addCandidate( offsetPackExpr, tenv );
-        }
-
-        void Finder::postvisit( const ast::EnumPosExpr * enumPosExpr ) {
-                CandidateFinder finder( context, tenv );
-                finder.find( enumPosExpr->expr );
-                CandidateList winners = findMinCost( finder.candidates );
-                if ( winners.size() != 1 ) SemanticError( enumPosExpr->expr.get(), "Ambiguous expression in position. ");
-                CandidateRef & choice = winners.front();
-                auto refExpr = referenceToRvalueConversion( choice->expr, choice->cost );
-                auto refResult = (refExpr->result).as<ast::EnumInstType>();
-                if ( !refResult ) {
-                        SemanticError( refExpr, "Position for Non enum type is not supported" );
-                }
-                // determineEnumPosConstant( enumPosExpr, refResult );
-
-                const ast::NameExpr * const nameExpr = enumPosExpr->expr.strict_as<ast::NameExpr>();
-                const ast::EnumDecl * base = refResult->base;
-                if ( !base ) {
-                        SemanticError( enumPosExpr, "Cannot be reference to a defined enumeration type" );
-                }
-                auto it = std::find_if( std::begin( base->members ), std::end( base->members ), 
-                        [nameExpr]( ast::ptr<ast::Decl> decl ) { return decl->name == nameExpr->name; } );
-                unsigned position = it - base->members.begin();
-                addCandidate( ast::ConstantExpr::from_int( enumPosExpr->location, position ), tenv );
         }