Changeset de8a0a4 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Jan 26, 2025, 6:37:05 PM (3 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

a950021

Parents:

0f070a4 (diff), 11f92fac (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

File:

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

src/ResolvExpr/CandidateFinder.cpp ¶

@@ -672 +672 @@
                 void postvisit( const ast::SizeofExpr * sizeofExpr );
                 void postvisit( const ast::AlignofExpr * alignofExpr );
+                void postvisit( const ast::CountofExpr * countExpr );
                 void postvisit( const ast::AddressExpr * addressExpr );
                 void postvisit( const ast::LabelAddressExpr * labelExpr );
@@ -697 +698 @@
                 void postvisit( const ast::UntypedInitExpr * initExpr );
                 void postvisit( const ast::QualifiedNameExpr * qualifiedExpr );
-                void postvisit( const ast::CountExpr * countExpr );
 
                 void postvisit( const ast::InitExpr * ) {
@@ -941 +941 @@
                 }
         }
-        
 
         /// Adds aggregate member interpretations
@@ -1269 +1268 @@
                                         ? conversionCost( fromType, toType, cand->expr->get_lvalue(), symtab, cand->env )
                                         : castCost( fromType, toType, cand->expr->get_lvalue(), symtab, cand->env );
-                        
+
                         // Redefine enum cast
                         auto argAsEnum = fromType.as<ast::EnumInstType>();
@@ -1493 +1492 @@
         }
 
-        void Finder::postvisit( const ast::CountExpr * countExpr ) {
-                const ast::UntypedExpr * untyped = nullptr;
-                if ( countExpr->type ) {
-                        auto enumInst = countExpr->type.as<ast::EnumInstType>();
-                        if ( enumInst ) {
-                                addCandidate( ast::ConstantExpr::from_ulong(countExpr->location, enumInst->base->members.size()), tenv );
-                                return;
-                        }
-                        auto untypedFirst = ast::UntypedExpr::createCall( countExpr->location, "lowerBound", {} );
-                        auto castFirst = new ast::CastExpr( countExpr->location, untypedFirst , countExpr->type );
-                        untyped = ast::UntypedExpr::createCall(
-                                countExpr->location, "Countof", { castFirst }
-                        );
-                }
-                if (!untyped) untyped = ast::UntypedExpr::createCall(
-                                countExpr->location, "Countof", { countExpr->expr }
+        void Finder::postvisit( const ast::CountofExpr * countExpr ) {
+                if ( auto enumInst = countExpr->type.as<ast::EnumInstType>() ) {
+                        addCandidate( ast::ConstantExpr::from_ulong( countExpr->location, enumInst->base->members.size()), tenv );
+                        return;
+                }
+                auto untypedFirst = ast::UntypedExpr::createCall( countExpr->location, "lowerBound", {} );
+                auto castFirst = new ast::CastExpr( countExpr->location, untypedFirst , countExpr->type );
+                const ast::UntypedExpr * untyped = ast::UntypedExpr::createCall(
+                        countExpr->location, "Countof", { castFirst }
                 );
                 CandidateFinder finder( context, tenv );
@@ -1514 +1506 @@
                 CandidateList winners = findMinCost( finder.candidates );
                 if ( winners.size() == 0 ) {
-                        SemanticError( countExpr->expr, "Countof is not implemented for operand: " );
-                }
-                if ( winners.size() !=  1 ) {
-                        SemanticError( countExpr->expr, "Ambiguous expression in countof operand: " );
+                        SemanticError( countExpr, "Countof is not implemented: " );
+                }
+                if ( winners.size() != 1 ) {
+                        SemanticError( countExpr, "Ambiguous expression in countof: " );
                 }
                 CandidateRef & choice = winners.front();