Update svflib

SVF-tools · Aug 23, 2023 · 070d208 · 070d208
1 parent ee0f16f
commit 070d208
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a b/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a
diff --git a/SVF-osx/Release-build/svf/libSvfCore.a b/SVF-osx/Release-build/svf/libSvfCore.a
diff --git a/SVF-osx/svf/include/Graphs/VFGNode.h b/SVF-osx/svf/include/Graphs/VFGNode.h
@@ -47,13 +47,13 @@ class VFGNode : public GenericVFGNodeTy
 {
 
 public:
-    /// 24 kinds of ICFG node
+    /// 25 kinds of ICFG node
     /// Gep represents offset edge for field sensitivity
     enum VFGNodeK
     {
         Addr, Copy, Gep, Store, Load, Cmp, BinaryOp, UnaryOp, Branch, TPhi, TIntraPhi, TInterPhi,
         MPhi, MIntraPhi, MInterPhi, FRet, ARet, AParm, FParm,
-        FunRet, APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp
+        APIN, APOUT, FPIN, FPOUT, NPtr, DummyVProp
     };
 
     typedef VFGEdge::VFGEdgeSetTy::iterator iterator;