model: bugfix - infinite loop in resolve_release_sequences()
[c11tester.git] / model.cc
index 64c1daa..0283911 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -1233,7 +1233,7 @@ bool ModelChecker::resolve_release_sequences(void *location, work_queue_t *work_
 
                        /* propagate synchronization to later actions */
                        action_list_t::reverse_iterator it = action_trace->rbegin();
-                       while ((*it) != act) {
+                       for (; (*it) != act; it++) {
                                ModelAction *propagate = *it;
                                if (act->happens_before(propagate)) {
                                        propagate->synchronize_with(act);