Changeset 8315947 for src/ResolvExpr

Timestamp:

Jul 13, 2024, 3:29:22 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

2e6b2a0

Parents:

76b507d

Message:

Remove automatic conversion from Enum type name to its len; change With() semantic for enum to avoid type ambiguity (not fully implemented)

File:

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

src/ResolvExpr/Resolver.cpp

@@ -322 +322 @@
 
 namespace {
-        bool structOrUnion( const Candidate & i ) {
+        bool structOrUnionOrEnum( const Candidate & i ) {
                 const ast::Type * t = i.expr->result->stripReferences();
-                return dynamic_cast< const ast::StructInstType * >( t ) || dynamic_cast< const ast::UnionInstType * >( t );
+                return dynamic_cast< const ast::StructInstType * >( t ) || dynamic_cast< const ast::UnionInstType * >( t ) || dynamic_cast< const ast::EnumInstType * >( t );
         }
         /// Predicate for "Candidate has integral type"
@@ -1140 +1140 @@
         for (auto & expr : exprs) {
                 // only struct- and union-typed expressions are viable candidates
-                expr = findKindExpression( expr, context, structOrUnion, "with expression" );
+                expr = findKindExpression( expr, context, structOrUnionOrEnum, "with expression" );
 
                 // if with expression might be impure, create a temporary so that it is evaluated once