Changeset 0522ebe for src/ResolvExpr/CommonType.cc

Timestamp:

Feb 26, 2024, 3:49:23 AM (8 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

a4da45e

Parents:

c17dc80

Message:

Add EnumPosType? to type system

File:

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

src/ResolvExpr/CommonType.cc

@@ -397 +397 @@
                                         result = new ast::BasicType{ kind, basic->qualifiers | type2->qualifiers };
                                 }
+                        }
+                } else if ( const ast::EnumPosType * pos = dynamic_cast< const ast::EnumPosType * >( type2 ) ) {
+                        ast::BasicType::Kind kind = commonTypes[ basic->kind ][ ast::BasicType::SignedInt ];
+                        if (
+                                ( ( kind == basic->kind && basic->qualifiers >= type2->qualifiers )
+                                        || widen.first )
+                                && ( ( kind != basic->kind && basic->qualifiers <= type2->qualifiers )
+                                        || widen.second )
+                        ) {
+                                result = new ast::BasicType{ kind, basic->qualifiers | type2->qualifiers };
                         }
                 }