svf-lib 1.0.751 → 1.0.752

package/SVF-linux/include/SABER/PathCondAllocator.h

@@ -138,6 +138,10 @@ public:
     }
     //@}
 
+    bool isNegCond(const Condition *condition) {
+        return condMgr->isNegCond(condition);
+    }
+
     /// Get dominators
     inline DominatorTree* getDT(const Function* fun)
     {

package/SVF-linux/include/Util/Conditions.h

@@ -287,6 +287,15 @@ public:
         assert(condToInstMap.find(cond)==condToInstMap.end() && "this should be a fresh condition");
         condToInstMap[cond] = inst;
     }
+
+    inline void setNegCondInst(const CondExpr *cond, const Instruction *inst) {
+        setCondInst(cond, inst);
+        negConds.set(cond->getId());
+    }
+
+    inline bool isNegCond(const CondExpr *cond) const {
+        return negConds.test(cond->getId());
+    }
     //@}
 
 private:
@@ -298,6 +307,7 @@ private:
     BranchCondToCondExprMap branchCondToCondExpr; ///< map branch condition to its Condition wrapper
     CondToTermInstMap condToInstMap; ///< map condition to llvm instruction
     BranchCondManager branchCondManager; ///< branch condition manager
+    NodeBS negConds;
 };
 
 } // End namespace SVF

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.751",
+  "version": "1.0.752",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {