stop processing if we substitute a unary op with a lead. closes #20

68850536 · Houtan Bastani · 7c9f272e · 68850536
Verified Commit 68850536 authored Mar 05, 2019 by Houtan Bastani
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

src/ExprNode.cc src/ExprNode.cc +6 -0

No files found.
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -3489,6 +3489,12 @@ UnaryOpNode::substituteUnaryOpNodes(DataTree &static_datatree, diff_table_t &nod
  if (it == nodes.end())
    return buildSimilarUnaryOpNode(argsubst, datatree);

+  if (arg->maxLead() > 0)
+    {
+      cerr << "Cannot substitue unary operations that contain leads" << endl;
+      exit(EXIT_FAILURE);
+    }
+
  string unary_op = "";
  switch (op_code)
    {