Changeset 0c327ce for src/AST/Pass.impl.hpp

Timestamp:

Jul 12, 2024, 3:30:06 PM (4 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

76b507d

Parents:

9c447e2

Message:

1. Add bound check to Serial function: now compiler generates the unchecked functions in ImplementEnumFunc?, and enum.hfa implements the bound check on top. Todo: Wrapped the checked version into a trait; 2. countof is now works on any type that implement Countof(). Because Countof() is implemented in enum.hfa for all CfaEnum?, we can call countof on { T | CfaEnum?(T) }

File:

• src/AST/Pass.impl.hpp (modified) (1 diff)

src/AST/Pass.impl.hpp

@@ -1339 +1339 @@
                         maybe_accept( node, &CountExpr::result );
                 }
-                maybe_accept( node, &CountExpr::type );
+                if ( node->type ) {
+                        maybe_accept( node, &CountExpr::type );
+                } else {
+                        maybe_accept( node, &CountExpr::expr );
+                }
         }
         VISIT_END( Expr, node );