SVF code formatter

Author: yuleisui

svf/include/AE/Core/ICFGWTO.h

@@ -54,10 +54,11 @@ class ICFGWTO : public WTO<ICFG>
     Set<const FunObjVar*> scc;
 
     explicit ICFGWTO(ICFG* graph,const ICFGNode* node, Set<const FunObjVar*> funcScc = {}) :
-        Base(graph, node), scc(funcScc){
-            if (scc.empty()) // if empty funcScc, default use the function of the node
-                scc.insert(node->getFun());
-        } 
+        Base(graph, node), scc(funcScc)
+    {
+        if (scc.empty()) // if empty funcScc, default use the function of the node
+            scc.insert(node->getFun());
+    }
 
     virtual ~ICFGWTO()
     {

svf/lib/AE/Svfexe/AbstractInterpretation.cpp

@@ -133,7 +133,8 @@ void AbstractInterpretation::initWTO()
         if (isEntry)
         {
             Set<const FunObjVar*> funcScc;
-            for (const auto& node: cgSCCNodes) {
+            for (const auto& node: cgSCCNodes)
+            {
                 funcScc.insert(callGraph->getGNode(node)->getFunction());
             }
             ICFGWTO* iwto = new ICFGWTO(icfg, icfg->getFunEntryICFGNode(fun), funcScc);
@@ -790,8 +791,8 @@ void AbstractInterpretation::handleCycleWTO(const ICFGCycleWTO*cycle)
             {
 
                 if (isRecursiveFun(cycle->head()->getICFGNode()->getFun()) &&
-                    !(Options::HandleRecur() == WIDEN_ONLY ||
-                        Options::HandleRecur() == WIDEN_NARROW))
+                        !(Options::HandleRecur() == WIDEN_ONLY ||
+                          Options::HandleRecur() == WIDEN_NARROW))
                 {
                     // When Options::HandleRecur() == TOP, skipRecursiveCall will handle recursions,
                     // thus should not reach this branch