fix rlimit for clang-10 (#4658)

Z3Prover · Aug 21, 2020 · 22b5daf · 22b5daf
1 parent ecb43cc
commit 22b5daf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp
@@ -53,7 +53,7 @@ bool reslimit::inc(unsigned offset) {
 }
 
 void reslimit::push(unsigned delta_limit) {
-    uint64_t new_limit = delta_limit + m_count;
+    uint64_t new_limit = delta_limit ? delta_limit + m_count : std::numeric_limits<uint64_t>::max();
     if (new_limit <= m_count) {
         new_limit = std::numeric_limits<uint64_t>::max();
     }