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

fix debug single-thread build

Browse source
This commit is contained in:
Nuno Lopes 2023-09-18 09:44:37 +01:00
parent 278d5a3482
commit ff33fa355a
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/api/api_context.cpp
View file

@ -157,6 +157,9 @@ namespace api {
flush_objects(); flush_objects();
for (auto& kv : m_allocated_objects) { for (auto& kv : m_allocated_objects) {
api::object* val = kv.m_value; api::object* val = kv.m_value;
#ifdef SINGLE_THREAD
# define m_concurrent_dec_ref false
#endif
DEBUG_CODE(if (!m_concurrent_dec_ref) warning_msg("Uncollected memory: %d: %s", kv.m_key, typeid(*val).name());); DEBUG_CODE(if (!m_concurrent_dec_ref) warning_msg("Uncollected memory: %d: %s", kv.m_key, typeid(*val).name()););
dealloc(val); dealloc(val);
} }