fix CI

bjjwwang · Jul 29, 2024 · 7660b94 · 7660b94
1 parent dbf0d37
commit 7660b94
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/svf/lib/AE/Core/RelationSolver.cpp b/svf/lib/AE/Core/RelationSolver.cpp
@@ -320,12 +320,14 @@ AbstractState RelationSolver::BS(const AbstractState& domain, const Z3Expr &phi)
     {
         if (item.first >= bias)
         {
+            if (!retInv.inVarToValTable(item.first-bias))
+                retInv[item.first-bias] = IntervalValue::top();
+
             if (item.second == (infinity))
                 retInv[item.first - bias] = IntervalValue(BoundedDouble::minus_infinity(),
                                                           retInv[item.first - bias].getInterval().ub());
             else
-                retInv[item.first - bias] = IntervalValue(float(-item.second),
-                                                          retInv[item.first - bias].getInterval().ub());
+                retInv[item.first - bias] = IntervalValue(float(-item.second), retInv[item.first - bias].getInterval().ub());
 
         }
         else

diff --git a/svf/lib/AE/Svfexe/AbstractInterpretation.cpp b/svf/lib/AE/Svfexe/AbstractInterpretation.cpp
@@ -1198,7 +1198,7 @@ void AbstractInterpretation::handleExtAPI(const CallICFGNode *call)
             }
             else
             {
-                as[lhsId] = IntervalValue();
+                as[lhsId] = IntervalValue::top();
             }
             return;
         }
-Original file line number
+Diff line change
@@ Expand Up @@
                 }
                 else
                 {
-                    as[lhsId] = IntervalValue();
+                    as[lhsId] = IntervalValue::top();
                 }
                 return;
             }
@@ Expand Down @@