run clang format

Author: pdschubert

lib/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.cpp

@@ -9,11 +9,11 @@
 
 #include "phasar/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysis.h"
 
+#include "llvm/IR/Instruction.h"
 #include "llvm/IR/Instructions.h"
 #include "llvm/IR/Value.h"
 #include "llvm/Support/Casting.h"
 #include "llvm/Support/ErrorHandling.h"
-#include "llvm/IR/Instruction.h"
 
 #include <algorithm>
 #include <memory>

unittests/PhasarLLVM/DataFlowSolver/IfdsIde/Problems/IDEInstInteractionAnalysisTest.cpp

@@ -126,14 +126,15 @@ class IDEInstInteractionAnalysisTest : public ::testing::Test {
         llvm::raw_string_ostream RSO(FactStr);
         RSO << *Fact.getBase();
         llvm::StringRef FactRef(FactStr);
-        // llvm::outs() << "Iterating result map entry: " << Fact << ", " << Value
+        // llvm::outs() << "Iterating result map entry: " << Fact << ", " <<
+        // Value
         //              << " with FactRef: " << FactRef
         //              << " and VarName: " << VarName << '\n';
         if (FactRef.ltrim().startswith("%" + VarName + " ") ||
             FactRef.ltrim().startswith("@" + VarName + " ")) {
-        //   llvm::outs() << "Found fact: " << FactRef.ltrim() << '\n';
-        //   llvm::outs() << "Compare Value: " << Value
-        //                << " and LatticeVal: " << LatticeVal << '\n';
+          //   llvm::outs() << "Found fact: " << FactRef.ltrim() << '\n';
+          //   llvm::outs() << "Compare Value: " << Value
+          //                << " and LatticeVal: " << LatticeVal << '\n';
           PHASAR_LOG_LEVEL(DFADEBUG, "Checking variable: " << FactStr);
           EXPECT_EQ(LatticeVal, Value);
           FactFound = true;