svf-lib 1.0.1661 → 1.0.1662

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

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

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

@@ -414,6 +414,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-osx/svf/include/Graphs/ICFGWrapper.h

@@ -87,6 +87,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)
     //@{
@@ -722,4 +723,4 @@ struct DOTGraphTraits<SVF::ICFGWrapper *> : public DOTGraphTraits<SVF::SVFIR *>
 
 } // End namespace SVF
 
-#endif //SVF_ICFGWRAPPER_H
+#endif //SVF_ICFGWRAPPER_H

package/SVF-osx/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.1661",
+  "version": "1.0.1662",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {