style:

misonijnik · Aug 13, 2024 · 292a765 · 292a765
1 parent a8d5677
commit 292a765
Show file tree

Hide file tree

Showing 6 changed files with 15 additions and 18 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -5331,7 +5331,9 @@ void Executor::callExternalFunction(ExecutionState &state, KInstruction *target,
                                           ae = arguments.end();
          ai != ae; ++ai) {
       if (ExternalCalls == ExternalCallPolicy::All ||
-          ExternalCalls == ExternalCallPolicy::OverApprox) { // don't bother checking uniqueness
+          ExternalCalls ==
+              ExternalCallPolicy::OverApprox) { // don't bother checking
+                                                // uniqueness
         ref<Expr> arg = *ai;
         if (auto pointer = dyn_cast<PointerExpr>(arg)) {
           arg = pointer->getValue();

diff --git a/lib/Module/InstrumentLegacy.cpp b/lib/Module/InstrumentLegacy.cpp
@@ -90,9 +90,8 @@ void klee::checkModule(bool DontVerify, llvm::Module *module) {
 }
 
 void klee::optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize,
-                              bool Simplify,
-                              bool WithFPRuntime, SwitchImplType SwitchType,
-                              std::string EntryPoint,
+                              bool Simplify, bool WithFPRuntime,
+                              SwitchImplType SwitchType, std::string EntryPoint,
                               llvm::ArrayRef<const char *> preservedFunctions,
                               llvm::Module *module) {
   // Preserve all functions containing klee-related function calls from being
@@ -107,8 +106,7 @@ void klee::optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize,
   if (WithFPRuntime) {
     if (UseKleeFloatInternals) {
       for (const auto &p : klee::floatReplacements) {
-        replaceOrRenameFunction(module, p.first.c_str(),
-                                p.second.c_str());
+        replaceOrRenameFunction(module, p.first.c_str(), p.second.c_str());
       }
     }
   }

diff --git a/lib/Module/KModule.cpp b/lib/Module/KModule.cpp
@@ -228,9 +228,9 @@ void KModule::optimiseAndPrepare(
   if (opts.CheckOvershift)
     addInternalFunction("klee_overshift_check");
 
-  klee::optimiseAndPrepare(OptimiseKLEECall, opts.Optimize, opts.Simplify, opts.WithFPRuntime,
-                           SwitchType, opts.EntryPoint, preservedFunctions,
-                           module.get());
+  klee::optimiseAndPrepare(OptimiseKLEECall, opts.Optimize, opts.Simplify,
+                           opts.WithFPRuntime, SwitchType, opts.EntryPoint,
+                           preservedFunctions, module.get());
 }
 
 class InstructionToLineAnnotator : public llvm::AssemblyAnnotationWriter {

diff --git a/lib/Module/ModuleHelper.h b/lib/Module/ModuleHelper.h
@@ -20,8 +20,7 @@ enum class SwitchImplType {
   eSwitchTypeInternal
 };
 
-void optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize,
-                        bool Simplify,
+void optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize, bool Simplify,
                         bool WithFPRuntime, SwitchImplType SwitchType,
                         std::string EntryPoint,
                         llvm::ArrayRef<const char *> preservedFunctions,

diff --git a/lib/Module/Optimize.cpp b/lib/Module/Optimize.cpp
@@ -31,13 +31,11 @@
 #include "llvm/Transforms/Scalar.h"
 #include "llvm/Transforms/Scalar/GVN.h"
 #include "llvm/Transforms/Utils.h"
-#include "llvm/IR/Module.h"
 
 using namespace klee;
 void klee::optimiseAndPrepare(bool OptimiseKLEECall, bool Optimize,
-                              bool Simplify,
-                              bool WithFPRuntime, SwitchImplType SwitchType,
-                              std::string EntryPoint,
+                              bool Simplify, bool WithFPRuntime,
+                              SwitchImplType SwitchType, std::string EntryPoint,
                               llvm::ArrayRef<const char *> preservedFunctions,
                               llvm::Module *module) {
   assert(0);

diff --git a/test/Runtime/POSIX/FilePerm.c b/test/Runtime/POSIX/FilePerm.c
@@ -14,13 +14,13 @@
 #include <sys/types.h>
 #include <unistd.h>
 
-
-int main(int argc, char** argv) {
+int main(int argc, char **argv) {
   int fd = open("A", O_RDWR);
   if (fd != -1)
     printf("File 'A' opened successfully\n");
   // CHECK-DAG: File 'A' opened successfully
-  else printf("Cannot open file 'A'\n");
+  else
+    printf("Cannot open file 'A'\n");
   // CHECK-DAG: Cannot open file 'A'
   if (fd != -1)
     close(fd);