svf-lib 1.0.1662 → 1.0.1663

package/SVF-linux/svf/include/AbstractExecution/ConsExeState.h

@@ -99,6 +99,8 @@ public:
         return "ConstantExpr";
     }
 
+    using ExeState::operator==;
+    using ExeState::operator!=;
     /// Exposed APIs
     //{%
     bool operator==(const ConsExeState &rhs) const;

package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h

@@ -418,6 +418,8 @@ public:
         return true;
     }
 
+    using ExeState::operator==;
+    using ExeState::operator!=;
     bool operator==(const IntervalExeState &rhs) const
     {
         return ExeState::operator==(rhs) && eqVarToValMap(_varToItvVal, rhs.getVarToVal()) &&

package/SVF-linux/svf/include/Graphs/ICFGWrapper.h

@@ -88,6 +88,7 @@ public:
         _icfgEdge = edge;
     }
 
+    using SVF::GenericEdge<NodeType>::operator==;
     /// Add the hash function for std::set (we also can overload operator< to implement this)
     //  and duplicated elements in the set are not inserted (binary tree comparison)
     //@{
@@ -724,4 +725,4 @@ struct DOTGraphTraits<SVF::ICFGWrapper *> : public DOTGraphTraits<SVF::SVFIR *>
 
 } // End namespace SVF
 
-#endif //SVF_ICFGWRAPPER_H
+#endif //SVF_ICFGWRAPPER_H

package/SVF-linux/svf/include/SVFIR/SVFType.h

@@ -31,7 +31,7 @@
 #define INCLUDE_SVFIR_SVFTYPE_H_
 
 #include "Util/SparseBitVector.h"
-
+#include <cstdint>
 #include <deque>
 #include <iostream>
 #include <list>

package/package.json

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