Changeset 4b30318b for src/Validate

Timestamp:

Sep 2, 2023, 3:07:49 PM (2 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

6e93819

Parents:

389fbf5 (diff), 8a9a3ab (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/Validate/GenericParameter.cpp (modified) (1 diff)

src/Validate/GenericParameter.cpp

@@ -301 +301 @@
 const ast::Expr * TranslateDimensionCore::postvisit(
                 const ast::TypeExpr * expr ) {
-        // Does nothing, except prevents matching ast::Expr (above).
+        if ( auto instType = dynamic_cast<const ast::EnumInstType *>( expr->type.get() ) ) {
+                const ast::EnumDecl * baseEnum = instType->base.get();
+                return ast::ConstantExpr::from_int( expr->location, baseEnum->members.size() );
+        }
         return expr;
 }