Change assert and instead raise diagnostics error (#34)

Assertions cause EOFFailure in the compiler and this PR fixes one such assert.
openqasm · Mar 26, 2024 · f6d695f · f6d695f
1 parent a9cf9fa
commit f6d695f
Showing 1 changed file with 18 additions and 2 deletions.
diff --git a/lib/AST/ASTGates.cpp b/lib/AST/ASTGates.cpp
@@ -1131,7 +1131,15 @@ ASTGateNode::ASTGateNode(const ASTIdentifierNode *Id,
     ++C;
   }
 
-  assert(C == Params.size() && "Inconsistent number of Params!");
+  if (C != Params.size()) {
+    std::stringstream M;
+    M << C
+      << " inconsistent parameters in the gate call for the "
+         "corresponding gate definition";
+    QasmDiagnosticEmitter::Instance().EmitDiagnostic(
+        DIAGLineCounter::Instance().GetLocation(), M.str(), DiagLevel::Error);
+    return;
+  }
 
   C = 0;
   Ty = ASTTypeUndefined;
@@ -1363,7 +1371,15 @@ ASTGateNode::ASTGateNode(const ASTIdentifierNode *Id,
     ++C;
   }
 
-  assert(C == Params.size() && "Inconsistent number of Params!");
+  if (C != Params.size()) {
+    std::stringstream M;
+    M << C
+      << " inconsistent parameters in the gate call for the "
+         "corresponding gate definition";
+    QasmDiagnosticEmitter::Instance().EmitDiagnostic(
+        DIAGLineCounter::Instance().GetLocation(), M.str(), DiagLevel::Error);
+    return;
+  }
 
   for (std::vector<ASTAngleNode *>::const_iterator I = Params.begin();
        I != Params.end(); ++I) {