Mnior edits due to clang-tidy.

runtimeverification · Dec 5, 2024 · def7fdf · def7fdf
1 parent 7e0bfbd
commit def7fdf
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 2 deletions.
diff --git a/include/kllvm/codegen/GCStrategy.h b/include/kllvm/codegen/GCStrategy.h
@@ -7,6 +7,8 @@
 // - pointers with address space != 0 are pointing to GC-managed memory.
 //===----------------------------------------------------------------------===//
 
+// NOLINTBEGIN
+
 #ifndef LLVM_BACKEND_GC_STRATEGY_H
 #define LLVM_BACKEND_GC_STRATEGY_H
 
@@ -27,3 +29,5 @@ class LLVMBackendGCStrategy: public llvm::GCStrategy {
 } // end anonymous namespace
 
 #endif // LLVM_BACKEND_GC_STRATEGY_H
+
+// NOLINTEND
diff --git a/lib/passes/GCStrategy.cpp b/lib/passes/GCStrategy.cpp
@@ -7,6 +7,8 @@
 // - pointers with address space != 0 are pointing to GC-managed memory.
 //===----------------------------------------------------------------------===//
 
+// NOLINTBEGIN
+
 #include "kllvm/codegen/GCStrategy.h"
 
 #include "llvm/CodeGen/GCMetadata.h"
@@ -32,11 +34,12 @@ std::optional<bool> LLVMBackendGCStrategy::isGCManagedPointer(const Type *Ty) co
   const PointerType *PTy = dyn_cast<PointerType>(Ty);
   if (PTy->getAddressSpace()) {
     return true;
-  } else {
-      return false;
   }
+  return false;
 }
 
 // Add LLVMBackendGCStrategy to the global GCRegistry
 static GCRegistry::Add<LLVMBackendGCStrategy> X("gcs-llvm-backend",
         "GC Strategy for the LLVM Backend");
+
+// NOLINTEND