Changeset cdb4eaa for src/ResolvExpr/ConversionCost.cc

Timestamp:

Apr 17, 2024, 2:27:56 PM (2 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

748c751

Parents:

76c7addb

Message:

Fix succ(Enum) error and resolution ambiguity of enum with inheritance

File:

• src/ResolvExpr/ConversionCost.cc (modified) (1 diff)

src/ResolvExpr/ConversionCost.cc

@@ -362 +362 @@
 
 void ConversionCost::postvisit( const ast::EnumInstType * inst ) {
-        if ( inst->base && inst->base->base ) {
-                if ( auto dstAsAttr = dynamic_cast<const ast::EnumAttrType *>( dst ) ) {
-                        auto instAsAttr = ast::EnumAttrType( inst, dstAsAttr->attr );
-                        if ( instAsAttr.match(dstAsAttr) ) {
-                                cost.incUnsafe();
-                        }
-
-                } else if ( auto dstAsInst = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
-                        if (inst->base && dstAsInst->base) {
-                                if (inst->base == dstAsInst->base) {
-                                        cost.incUnsafe();
-                                }
-                        }
-                } else {
-                        auto instAsVal = ast::EnumAttrType( inst, ast::EnumAttribute::Value );
-                        cost = costCalc( &instAsVal, dst, srcIsLvalue, symtab, env );
-                        if ( cost < Cost::infinity ) {
-                                cost.incUnsafe();
-                        }
-                }
-                return;
+        if ( auto dstAsInst = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
+                if (inst->base && dstAsInst->base) {
+                        if (inst->base->name == dstAsInst->base->name) {
+                                cost = Cost::zero;
+                                return;
+                        }
+                }
         } 
         static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicType::SignedInt ) };