From e2b556e7bb8b156ff1fe75e5d4c254bb3fc240c6 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 21 Sep 2012 10:23:21 -0700 Subject: [PATCH] model: bugfix - infinite loop in resolve_release_sequences() --- model.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/model.cc b/model.cc index 64c1daa5..0283911b 100644 --- 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); -- 2.34.1