pac: fix bug when checking for symb_ids

05441415 · Houtan Bastani · 9632b18c · 05441415
Verified Commit 05441415 authored Mar 15, 2019 by Houtan Bastani
--- a/src/ExprNode.cc
+++ b/src/ExprNode.cc
@@ -5661,7 +5661,7 @@ BinaryOpNode::getPacAREC(int lhs_symb_id, int lhs_orig_symb_id,
                  vid = vn1->symb_id;
                  lag = vn1->lag;
                }
-              if (pid > 0 && vid > 0)
+              if (pid >= 0 && vid >= 0)
                {
                  int vidorig = vid;
                  while (datatree.symbol_table.isAuxiliaryVariable(vid))