From f3b8fe130a2cba53daf168369e07d52bc8f89410 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 28 Sep 2015 13:40:54 -0700 Subject: [PATCH] adding rlimit resource limit facility to provide platform and architecture independent method for canceling activities. This is to address issue #216 Signed-off-by: Nikolaj Bjorner --- src/util/rlimit.cpp | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/util/rlimit.cpp b/src/util/rlimit.cpp index 338bd5582..0e5c65b3e 100644 --- a/src/util/rlimit.cpp +++ b/src/util/rlimit.cpp @@ -38,9 +38,9 @@ bool reslimit::inc(unsigned offset) { } void reslimit::push(unsigned delta_limit) { - unsigned new_limit = UINT_MAX; - if (delta_limit > 0 && delta_limit + m_count > m_count) { - new_limit = delta_limit + m_count; + unsigned new_limit = delta_limit + m_count; + if (new_limit <= m_count) { + new_limit = UINT_MAX; } m_limits.push_back(m_limit); m_limit = std::min(new_limit, m_limit);