remove svffunction (#1671)

* remove some svffunction * init bb in funvar * remove svffunction * remove svfmodule and svfllvmvalue
SVF-tools · Mar 3, 2025 · c427b12 · c427b12
1 parent b661b1c
commit c427b12
Show file tree

Hide file tree

Showing 43 changed files with 489 additions and 1,515 deletions.
diff --git a/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h b/svf-llvm/include/SVF-LLVM/BreakConstantExpr.h
@@ -15,7 +15,6 @@
 #ifndef BREAKCONSTANTGEPS_H
 #define BREAKCONSTANTGEPS_H
 
-#include "SVF-LLVM/SVFLLVMValue.h"
 
 namespace SVF
 {

diff --git a/svf-llvm/include/SVF-LLVM/CppUtil.h b/svf-llvm/include/SVF-LLVM/CppUtil.h
@@ -30,8 +30,8 @@
 #ifndef CPPUtil_H_
 #define CPPUtil_H_
 
-#include "SVF-LLVM/SVFLLVMValue.h"
 #include "SVF-LLVM/BasicTypes.h"
+#include "Util/GeneralType.h"
 
 namespace SVF
 {

diff --git a/svf-llvm/include/SVF-LLVM/DCHG.h b/svf-llvm/include/SVF-LLVM/DCHG.h
@@ -17,14 +17,12 @@
 #include "Graphs/GenericGraph.h"
 #include "Graphs/CHG.h"
 #include "SVF-LLVM/BasicTypes.h"
-#include "SVF-LLVM/SVFModule.h"
 #include "Util/SVFUtil.h"
 #include "Util/WorkList.h"
 
 namespace SVF
 {
 
-class SVFModule;
 class DCHNode;
 
 class DCHEdge : public GenericEdge<DCHNode>
@@ -230,8 +228,8 @@ class DCHGraph : public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
     static bool isAgg(const DIType* t);
 
 public:
-    DCHGraph(const SVFModule *svfMod)
-        : svfModule(svfMod), numTypes(0)   // vfID(0), buildingCHGTime(0) {
+    DCHGraph()
+        :numTypes(0)   // vfID(0), buildingCHGTime(0) {
     {
         this->kind = DI;
     }
@@ -358,8 +356,6 @@ class DCHGraph : public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
     bool isFirstField(const DIType* f, const DIType* b);
 
 protected:
-    /// SVF Module this CHG is built from.
-    const SVFModule* svfModule;
     /// Whether this CHG is an extended CHG (first-field). Set by buildCHG.
     bool extended = false;
     /// Maps DITypes to their nodes.
@@ -394,7 +390,7 @@ class DCHGraph : public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
     void handleDISubroutineType(const DISubroutineType* subroutineType);
 
     /// Finds all defined virtual functions and attaches them to nodes.
-    void buildVTables(const SVFModule& module);
+    void buildVTables();
 
     /// Returns a set of all children of type (CHA). Also gradually builds chaMap.
     const NodeBS& cha(const DIType* type, bool firstField);