diff --git a/ConflictSet.cpp b/ConflictSet.cpp index 85d99e4..227f4b5 100644 --- a/ConflictSet.cpp +++ b/ConflictSet.cpp @@ -1732,8 +1732,7 @@ bool checkPointRead(Node *n, const std::span key, fprintf(stderr, "Check point read: %s\n", printable(key).c_str()); #endif auto remaining = key; - for (;;) { - ++point_read_iterations_accum; + for (;; ++point_read_iterations_accum) { if (maxVersion(n, impl) <= readVersion) { ++point_read_short_circuit_accum; return true; @@ -1812,8 +1811,7 @@ bool checkPrefixRead(Node *n, const std::span key, fprintf(stderr, "Check prefix read: %s\n", printable(key).c_str()); #endif auto remaining = key; - for (;;) { - ++prefix_read_iterations_accum; + for (;; ++prefix_read_iterations_accum) { auto m = maxVersion(n, impl); if (remaining.size() == 0) { return m <= readVersion; @@ -2664,8 +2662,7 @@ bool checkRangeReadImpl(Node *n, std::span begin, SearchStepWise search{n, begin.subspan(0, lcp)}; Arena arena; - for (;;) { - ++range_read_iterations_accum; + for (;; ++range_read_iterations_accum) { assert(getSearchPath(arena, search.n) <=> begin.subspan(0, lcp - search.remaining.size()) == 0);