fix clang tidy

runtimeverification · Sep 12, 2024 · 599047e · 599047e
1 parent 60a10ee
commit 599047e
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/runtime/lto/alloc.cpp b/runtime/lto/alloc.cpp
@@ -45,12 +45,7 @@ size_t youngspace_size(void) {
 
 bool youngspace_almost_full(size_t threshold) {
   char *next_block = *(char **)youngspace.block_start;
-  if (next_block) {
-    // not on the last block, so short circuit and assume that we can keep
-    // allocating for now.
-    return false;
-  }
-  return true;
+  return !next_block;
 }
 
 void kore_alloc_swap(bool swap_old) {