SVF code formatter

JasonZhongZexin · Oct 22, 2024 · a68b293 · a68b293
1 parent 2108688
commit a68b293
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/svf/include/Graphs/ThreadCallGraph.h b/svf/include/Graphs/ThreadCallGraph.h
@@ -47,7 +47,7 @@ class ThreadForkEdge: public PTACallGraphEdge
 public:
     /// Constructor
     ThreadForkEdge(PTACallGraphNode* s, PTACallGraphNode* d, CallSiteID csId) :
-          PTACallGraphEdge(s, d, PTACallGraphEdge::TDForkEdge, csId)
+        PTACallGraphEdge(s, d, PTACallGraphEdge::TDForkEdge, csId)
     {
     }
     /// Destructor
@@ -90,7 +90,7 @@ class ThreadJoinEdge: public PTACallGraphEdge
 public:
     /// Constructor
     ThreadJoinEdge(PTACallGraphNode* s, PTACallGraphNode* d, CallSiteID csId) :
-          PTACallGraphEdge(s, d, PTACallGraphEdge::TDJoinEdge, csId)
+        PTACallGraphEdge(s, d, PTACallGraphEdge::TDJoinEdge, csId)
     {
     }
     /// Destructor
@@ -130,7 +130,7 @@ class HareParForEdge: public PTACallGraphEdge
 public:
     /// Constructor
     HareParForEdge(PTACallGraphNode* s, PTACallGraphNode* d, CallSiteID csId) :
-          PTACallGraphEdge(s, d, PTACallGraphEdge::HareParForEdge, csId)
+        PTACallGraphEdge(s, d, PTACallGraphEdge::HareParForEdge, csId)
     {
     }
     /// Destructor

diff --git a/svf/lib/Graphs/PTACallGraph.cpp b/svf/lib/Graphs/PTACallGraph.cpp
@@ -168,8 +168,8 @@ void PTACallGraph::addCallGraphNode(const SVFFunction* fun)
  *  Whether we have already created this call graph edge
  */
 PTACallGraphEdge* PTACallGraph::hasGraphEdge(PTACallGraphNode* src,
-                                          PTACallGraphNode* dst,
-                                             PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const
+        PTACallGraphNode* dst,
+        PTACallGraphEdge::CEDGEK kind, CallSiteID csId) const
 {
     PTACallGraphEdge edge(src,dst,kind,csId);
     PTACallGraphEdge* outEdge = src->hasOutgoingEdge(&edge);
@@ -187,8 +187,8 @@ PTACallGraphEdge* PTACallGraph::hasGraphEdge(PTACallGraphNode* src,
  * get PTACallGraph edge via nodes
  */
 PTACallGraphEdge* PTACallGraph::getGraphEdge(PTACallGraphNode* src,
-                                          PTACallGraphNode* dst,
-                                             PTACallGraphEdge::CEDGEK kind, CallSiteID)
+        PTACallGraphNode* dst,
+        PTACallGraphEdge::CEDGEK kind, CallSiteID)
 {
     for (PTACallGraphEdge::CallGraphEdgeSet::iterator iter = src->OutEdgeBegin();
             iter != src->OutEdgeEnd(); ++iter)

diff --git a/svf/lib/Graphs/ThreadCallGraph.cpp b/svf/lib/Graphs/ThreadCallGraph.cpp
@@ -40,7 +40,7 @@ using namespace SVFUtil;
  * Constructor
  */
 ThreadCallGraph::ThreadCallGraph(const PTACallGraph& cg) :
-      PTACallGraph(cg), tdAPI(ThreadAPI::getThreadAPI())
+    PTACallGraph(cg), tdAPI(ThreadAPI::getThreadAPI())
 {
     kind = ThdCallGraph;
     DBOUT(DGENERAL, outs() << SVFUtil::pasMsg("Building ThreadCallGraph\n"));