mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix rlimit for clang-10 (#4658)

Browse source
This commit is contained in:
Arie Gurfinkel 2020-08-21 13:34:10 -04:00 committed by GitHub
parent ecb43ccca2
commit 22b5daf85e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/rlimit.cpp
View file

@ -53,7 +53,7 @@ bool reslimit::inc(unsigned offset) {
} }
void reslimit::push(unsigned delta_limit) { 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) { if (new_limit <= m_count) {
new_limit = std::numeric_limits<uint64_t>::max(); new_limit = std::numeric_limits<uint64_t>::max();
} }