svf-lib 1.0.2444 → 1.0.2446

package/SVF-osx/include/CFL/CFLGraphBuilder.h

@@ -117,8 +117,7 @@ public:
 };
 
 /// AliasCFLGraphBuilder: a CFLGraphBuilder specialized for handling aliasing
-class AliasCFLGraphBuilder :
-    public CFLGraphBuilder
+class AliasCFLGraphBuilder : public CFLGraphBuilder
 {
 public:
     /// Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from GenericGraph
@@ -140,8 +139,7 @@ private:
 };
 
 /// VFCFLGraphBuilder: a CFLGraphBuilder specialized for handling value-flow
-class VFCFLGraphBuilder :
-    public CFLGraphBuilder
+class VFCFLGraphBuilder : public CFLGraphBuilder
 {
 public:
     /// Builds a bidirectional CFL graph by copying nodes and edges from a const graph that inherits from SVFG

package/SVF-osx/include/Graphs/WTO.h

@@ -494,7 +494,7 @@ public:
 
     /// Copy assignment operator
     WTOComponentVisitor& operator=(const WTOComponentVisitor&) noexcept =
-    default;
+        default;
 
     /// Move assignment operator
     WTOComponentVisitor& operator=(WTOComponentVisitor&&) noexcept = default;
@@ -701,7 +701,7 @@ protected:
             WTOCycleDepthPtr previous_cycleDepth = _wtoCycleDepth;
             _nodeToWTOCycleDepth.insert(std::make_pair(head, _wtoCycleDepth));
             _wtoCycleDepth =
-            std::make_shared<GraphTWTOCycleDepth>(*_wtoCycleDepth);
+                std::make_shared<GraphTWTOCycleDepth>(*_wtoCycleDepth);
             _wtoCycleDepth->add(head);
             for (auto it = cycle.begin(), et = cycle.end(); it != et; ++it)
             {

package/SVF-osx/include/SVF-LLVM/DCHG.h

@@ -203,8 +203,7 @@ private:
 };
 
 /// Dwarf based CHG.
-class DCHGraph :
-    public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
+class DCHGraph : public CommonCHGraph, public GenericGraph<DCHNode, DCHEdge>
 {
 public:
     /// Returns the DIType beneath the qualifiers. Does not strip away "DW_TAG_members".

package/SVF-osx/include/SVFIR/SVFStatements.h

@@ -1184,8 +1184,7 @@ public:
 /*!
  * Thread Fork
  */
-class TDForkPE:
-    public CallPE
+class TDForkPE: public CallPE
 {
 
 private:
@@ -1222,8 +1221,7 @@ public:
 /*!
  * Thread Join
  */
-class TDJoinPE:
-    public RetPE
+class TDJoinPE: public RetPE
 {
 
 private:

package/SVF-osx/include/Util/Casting.h

@@ -217,8 +217,8 @@ struct isa_impl_wrap
     static bool doit(const From &Val)
     {
         return isa_impl_wrap<To, SimpleFrom,
-        typename simplify_type<SimpleFrom>::SimpleType>::doit(
-            simplify_type<const From>::getSimplifiedValue(Val));
+               typename simplify_type<SimpleFrom>::SimpleType>::doit(
+                   simplify_type<const From>::getSimplifiedValue(Val));
     }
 };
 
@@ -325,8 +325,8 @@ template<class To, class From, class SimpleFrom> struct cast_convert_val
     static typename cast_retty<To, From>::ret_type doit(From &Val)
     {
         return cast_convert_val<To, SimpleFrom,
-        typename simplify_type<SimpleFrom>::SimpleType>::doit(
-            simplify_type<From>::getSimplifiedValue(Val));
+               typename simplify_type<SimpleFrom>::SimpleType>::doit(
+                   simplify_type<From>::getSimplifiedValue(Val));
     }
 };
 

package/SVF-osx/lib/cmake/SVF/SVFTargets.cmake

@@ -7,7 +7,7 @@ if(CMAKE_VERSION VERSION_LESS "3.0.0")
    message(FATAL_ERROR "CMake >= 3.0.0 required")
 endif()
 cmake_policy(PUSH)
-cmake_policy(VERSION 3.0.0...3.31)
+cmake_policy(VERSION 3.0.0...4.0)
 #----------------------------------------------------------------
 # Generated CMake target import file.
 #----------------------------------------------------------------

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "svf-lib",
-  "version": "1.0.2444",
+  "version": "1.0.2446",
   "description": "SVF's npm support",
   "main": "index.js",
   "scripts": {