Changeset bbf2cb1 for src/ResolvExpr/CommonType.cc

Timestamp:

Mar 6, 2024, 6:06:30 AM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

f6e8c67

Parents:

00eaeb8

Message:

Add the Working support to succ() and pred() pseudo function to Enum

File:

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

src/ResolvExpr/CommonType.cc

@@ -672 +672 @@
 
         void postvisit( const ast::EnumInstType * enumInst ) {
-                if (!dynamic_cast<const ast::EnumInstType *>(type2))
+                // if ( dynamic_cast<const ast::EnumPosType *>(enumInst) ) {
+                //      result = enumInst;
+                // } else 
+                if (!dynamic_cast<const ast::EnumInstType *>(type2)) {
                         result = commonType( type2, enumInst, tenv, need, have, open, widen);
                 }
+        }
+
+        void postvisit( const ast::EnumPosType * enumPos ) {
+                if ( auto type2AsPos = dynamic_cast<const ast::EnumPosType *>(type2) ) {
+                        // result = commonType( type2AsPos->instance, enumPos->instance, tenv, need, have, open, widen );
+                        result = enumPos;
+                } else if (  auto typeAsBasic = dynamic_cast<const ast::BasicType *>(type2) ) {
+                        result = type2;
+                }
+        }
 
         void postvisit( const ast::TraitInstType * ) {}