Update code format

.pre-commit-config.yaml

@@ -2,7 +2,7 @@
 # See https://pre-commit.com/hooks.html for more hooks
 repos:
 -   repo: https://github.com/pre-commit/pre-commit-hooks
-    rev: v4.3.0
+    rev: v6.0.0
     hooks:
     -   id: trailing-whitespace
         exclude: "^.*\\.patch$"

include/phasar/ControlFlow/SparseCFGBase.h

@@ -34,9 +34,10 @@ template <typename Derived> class SparseCFGBase : public CFGBase<Derived> {
 
 template <typename ICF, typename Domain>
 // NOLINTNEXTLINE(readability-identifier-naming)
-constexpr bool is_sparse_cfg_v = is_crtp_base_of_v<SparseCFGBase, ICF>
-    &&std::is_same_v<typename ICF::n_t, typename Domain::n_t>
-        &&std::is_same_v<typename ICF::f_t, typename Domain::f_t>;
+constexpr bool is_sparse_cfg_v =
+    is_crtp_base_of_v<SparseCFGBase, ICF> &&
+    std::is_same_v<typename ICF::n_t, typename Domain::n_t> &&
+    std::is_same_v<typename ICF::f_t, typename Domain::f_t>;
 
 } // namespace psr
 

include/phasar/DataFlow/IfdsIde/Solver/FlowEdgeFunctionCache.h

@@ -292,8 +292,8 @@ class FlowEdgeFunctionCache {
 
         PHASAR_LOG_LEVEL(DEBUG, "(N) Call Site : " << NToString(CallSite));
         PHASAR_LOG_LEVEL(DEBUG, "(N) Ret Site  : " << NToString(RetSite));
-        PHASAR_LOG_LEVEL(DEBUG, "(F) Callee's  : "); for (auto callee
-                                                          : Callees) {
+        PHASAR_LOG_LEVEL(DEBUG, "(F) Callee's  : ");
+        for (auto callee : Callees) {
           PHASAR_LOG_LEVEL(DEBUG, "  " << FToString(callee));
         };);
     auto Key = std::tie(CallSite, RetSite);
@@ -462,8 +462,8 @@ class FlowEdgeFunctionCache {
 
         PHASAR_LOG_LEVEL(DEBUG, "(N) Ret Site  : " << NToString(RetSite));
         PHASAR_LOG_LEVEL(DEBUG, "(D) Ret Node  : " << DToString(RetSiteNode));
-        PHASAR_LOG_LEVEL(DEBUG, "(F) Callee's  : "); for (auto callee
-                                                          : Callees) {
+        PHASAR_LOG_LEVEL(DEBUG, "(F) Callee's  : ");
+        for (auto callee : Callees) {
           PHASAR_LOG_LEVEL(DEBUG, "  " << FToString(callee));
         });
 

include/phasar/DataFlow/IfdsIde/Solver/PathAwareIDESolver.h

@@ -42,11 +42,11 @@ class PathAwareIDESolver : public IDESolver<AnalysisDomainTy, Container> {
   }
 
   [[nodiscard]] const ExplodedSuperGraph<domain_t> &
-  getExplicitESG() const &noexcept {
+  getExplicitESG() const & noexcept {
     return ESG;
   }
 
-  [[nodiscard]] ExplodedSuperGraph<domain_t> &&getExplicitESG() &&noexcept {
+  [[nodiscard]] ExplodedSuperGraph<domain_t> &&getExplicitESG() && noexcept {
     return std::move(ESG);
   }
 

include/phasar/DataFlow/IfdsIde/Solver/PathEdge.h

@@ -22,8 +22,8 @@ template <typename N, typename D> class PathEdge {
 
 public:
   PathEdge(D DSource, N Target,
-           D DTarget) noexcept(std::is_nothrow_move_constructible_v<N>
-                                   &&std::is_nothrow_move_constructible_v<D>)
+           D DTarget) noexcept(std::is_nothrow_move_constructible_v<N> &&
+                               std::is_nothrow_move_constructible_v<D>)
       : DSource(std::move(DSource)), Target(std::move(Target)),
         DTarget(std::move(DTarget)) {}
 

include/phasar/PhasarLLVM/DataFlow/PathSensitivity/Z3BasedPathSensitivityConfig.h

@@ -22,15 +22,15 @@ struct Z3BasedPathSensitivityConfig
   std::optional<z3::expr> AdditionalConstraint;
 
   [[nodiscard]] Z3BasedPathSensitivityConfig
-  withAdditionalConstraint(const z3::expr &Constr) const &noexcept {
+  withAdditionalConstraint(const z3::expr &Constr) const & noexcept {
     auto Ret = *this;
     Ret.AdditionalConstraint =
         Ret.AdditionalConstraint ? *Ret.AdditionalConstraint && Constr : Constr;
     return Ret;
   }
 
   [[nodiscard]] Z3BasedPathSensitivityConfig
-  withAdditionalConstraint(const z3::expr &Constr) &&noexcept {
+  withAdditionalConstraint(const z3::expr &Constr) && noexcept {
     AdditionalConstraint =
         AdditionalConstraint ? *AdditionalConstraint && Constr : Constr;
     return std::move(*this);

include/phasar/Utils/Logger.h

@@ -143,12 +143,15 @@ class Logger final {
 #else
 #define IS_LOG_ENABLED false
 #define IF_LOG_ENABLED_BOOL(condition, computation)                            \
-  {}
+  {                                                                            \
+  }
 #define IF_LOG_ENABLED(computation)                                            \
-  {}
+  {                                                                            \
+  }
 #define IS_LOG_LEVEL_ENABLED(level) false
 #define IF_LOG_LEVEL_ENABLED(level, computation)                               \
-  {}
+  {                                                                            \
+  }
 #define PHASAR_LOG(computation) (void)0
 #define PHASAR_LOG_CAT(cat, message) (void)0
 #define PHASAR_LOG_LEVEL_CAT(level, cat, message) (void)0

include/phasar/Utils/Table.h

@@ -267,13 +267,13 @@ template <typename R, typename C, typename V> class Table {
   }
 
   [[nodiscard]] const std::unordered_map<R, std::unordered_map<C, V>> &
-  rowMap() const &noexcept {
+  rowMap() const & noexcept {
     // Returns a view that associates each row key with the corresponding map
     // from column keys to values.
     return Tab;
   }
   [[nodiscard]] std::unordered_map<R, std::unordered_map<C, V>> &&
-  rowMap() &&noexcept {
+  rowMap() && noexcept {
     // Returns a view that associates each row key with the corresponding map
     // from column keys to values.
     return std::move(Tab);

test/llvm_test_code/call_graphs/function_pointer_3.cpp

@@ -6,7 +6,7 @@ int bar(int i) { return 13; }
 int main() {
   int (*fptr)();
   fptr = &foo;
-  fptr = (int (*)()) & bar;
+  fptr = (int (*)())&bar;
   int result = fptr();
   return result;
 }

test/llvm_test_code/globals/globals_lca_5.cpp

@@ -39,7 +39,7 @@ Foo foo;
 
 __attribute__((constructor)) void makeGlobalFoo() {
   foo = createFoo();
-  __cxa_atexit((void (*)(void *)) & Foo_dtor, &foo, nullptr);
+  __cxa_atexit((void (*)(void *))&Foo_dtor, &foo, nullptr);
 }
 
 int main() { printf("x: %d\n", foo); }

unittests/Utils/OnTheFlyAnalysisPrinterTest.cpp

@@ -23,7 +23,7 @@ class GroundTruthCollector
 public:
   // constructor init Groundtruth in each fixture
   GroundTruthCollector(llvm::DenseMap<int, std::set<std::string>> &GroundTruth)
-      : GroundTruth(GroundTruth){};
+      : GroundTruth(GroundTruth) {};
 
   void findAndRemove(int LeakId, const std::string &LeakedFactId) {