scoped_timer: wait for timer thread before main thread continues (#4803)

Z3Prover · Nov 19, 2020 · 0fa88ef · 0fa88ef
1 parent e16acd0
commit 0fa88ef
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/util/scoped_timer.cpp b/src/util/scoped_timer.cpp
@@ -34,7 +34,7 @@ struct scoped_timer_state {
     std::timed_mutex m_mutex;
     event_handler * eh;
     unsigned ms;
-    int work;
+    std::atomic<int> work;
     std::condition_variable_any cv;
 };
 
@@ -102,6 +102,8 @@ struct scoped_timer::imp {
 
     ~imp() {
         s->m_mutex.unlock();
+        while (s->work == 1)
+            std::this_thread::yield();
     }
 };