try skipping use-before-init for fields

Signed-off-by: Ahmad Rezaii <[email protected]>
chapel-lang · Jan 8, 2025 · 6642d82 · 6642d82
1 parent 3e46ac5
commit 6642d82
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/frontend/lib/resolution/Resolver.cpp b/frontend/lib/resolution/Resolver.cpp
@@ -3135,7 +3135,14 @@ checkForErrorUseBeforeDefine(Context* context, const AstNode* node,
       if (node->id().symbolPath() == target.symbolPath()) {
         if (target.postOrderId() > node->id().postOrderId()) {
           // resolved to an identifier defined later
-          CHPL_REPORT(context, UseOfLaterVariable, node, target);
+          // check if this is a field that is not initialized?
+          if (parsing::idIsField(context, target)) {
+            // skip for now and let prod handle
+            return false;
+            //CHPL_REPORT(context, FieldUsedBeforeInitialized, node, target);
+          } else {
+            CHPL_REPORT(context, UseOfLaterVariable, node, target);
+          }
           return true;
         }
     }
@@ -3223,7 +3230,7 @@ checkForIdentifierTargetErrorsQuery(Context* context, ID nodeId, ID targetId) {
   // Use bitwise-OR here to avoid short-circuiting.
   ret |= checkForErrorModuleAsVariable(context, nodeAst, targetId);
   ret |= checkForErrorNestedClassFieldRef(context, nodeAst, targetId);
-    ret |= checkForErrorUseBeforeDefine(context, nodeAst, targetId);
+  ret |= checkForErrorUseBeforeDefine(context, nodeAst, targetId);
 
   return QUERY_END(ret);
 }