SVF code formatter

SVF-tools · Oct 11, 2024 · 28ff9f4 · 28ff9f4
1 parent 5db169c
commit 28ff9f4
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/svf/lib/Graphs/CallGraph.cpp b/svf/lib/Graphs/CallGraph.cpp
@@ -113,7 +113,8 @@ CallGraph::CallGraph(CGEK k): kind(k)
 }
 
 /// Copy constructor
-CallGraph::CallGraph(const CallGraph& other) {
+CallGraph::CallGraph(const CallGraph& other)
+{
     callGraphNodeNum = other.callGraphNodeNum;
     numOfResolvedIndCallEdge = 0;
     kind = other.kind;
@@ -154,7 +155,8 @@ void CallGraph::destroy()
 /*!
  * Add call graph node
  */
-void CallGraph::addCallGraphNode(const SVFFunction* fun) {
+void CallGraph::addCallGraphNode(const SVFFunction* fun)
+{
     NodeID id  = callGraphNodeNum;
     CallGraphNode *callGraphNode = new CallGraphNode(id, fun);
     addGNode(id, callGraphNode);

diff --git a/svf/lib/Util/CallGraphBuilder.cpp b/svf/lib/Util/CallGraphBuilder.cpp
@@ -39,7 +39,8 @@ using namespace SVFUtil;
 CallGraph* CallGraphBuilder::buildSVFIRCallGraph(SVFModule* svfModule)
 {
     CallGraph* callgraph = new CallGraph();
-    for (const SVFFunction* svfFunc: svfModule->getFunctionSet()){
+    for (const SVFFunction* svfFunc: svfModule->getFunctionSet())
+    {
         callgraph->addCallGraphNode(svfFunc);
     }