svf-lib 1.0.2256 → 1.0.2258

package/SVF-linux-aarch64/Release-build/include/Util/Options.h

@@ -126,7 +126,7 @@ public:
     static const Option<bool> CallGraphDotGraph;
     static const Option<bool> PAGPrint;
     static const Option<u32_t> IndirectCallLimit;
-    static const Option<bool> UsePreCompFieldSensitive;
+    static Option<bool> UsePreCompFieldSensitive;
     static const Option<bool> EnableAliasCheck;
     static const Option<bool> EnableTypeCheck;
     static const Option<bool> EnableThreadCallGraph;
@@ -184,8 +184,8 @@ public:
 
     // SymbolTableInfo.cpp
     static const Option<bool> LocMemModel;
-    static const Option<bool> ModelConsts;
-    static const Option<bool> ModelArrays;
+    static Option<bool> ModelConsts;
+    static Option<bool> ModelArrays;
     static const Option<bool> CyclicFldIdx;
     static const Option<bool> SymTabPrint;
 

package/SVF-osx/Release-build/include/SVF-LLVM/LLVMModule.h

@@ -72,7 +72,7 @@ public:
     typedef OrderedMap<const Function*, NodeID> FunToIDMapTy;
 
     typedef std::vector<const Function*> FunctionSet;
-    typedef Map<const Function*, const SVFBasicBlock*> FunToExitBBMap;
+    typedef Map<const Function*, const BasicBlock*> FunToExitBBMap;
     typedef Map<const Function*, const Function *> FunToRealDefFunMap;
 
 private:
@@ -173,7 +173,7 @@ public:
 
 public:
 
-    inline const SVFBasicBlock* getFunExitBB(const Function* fun) const
+    inline const BasicBlock* getFunExitBB(const Function* fun) const
     {
         auto it = funToExitBB.find(fun);
         if (it == funToExitBB.end()) return nullptr;
@@ -435,7 +435,7 @@ private:
         funSet.push_back(svfFunc);
     }
 
-    inline void setFunExitBB(const Function* fun, const SVFBasicBlock* bb)
+    inline void setFunExitBB(const Function* fun, const BasicBlock* bb)
     {
         funToExitBB[fun] = bb;
     }

package/package.json

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