From: Brian Norris <banorris@uci.edu>
Date: Fri, 7 Dec 2012 06:57:02 +0000 (-0800)
Subject: model: don't create UNINIT actions for Threads, mutexes, etc.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=cd32776770fd546ecfe34e9238d0e2d5187a1106;p=cdsspec-compiler.git

model: don't create UNINIT actions for Threads, mutexes, etc.

ModelActions may be associated with fences, mutexes, threads, etc., all
of which never hit the "uninitialized" case. So, we shouldn't create
these UNINIT actions.
---

diff --git a/model.cc b/model.cc
index 7bff598..c38c79c 100644
--- a/model.cc
+++ b/model.cc
@@ -2105,7 +2105,7 @@ void ModelChecker::add_action_to_lists(ModelAction *act)
 	ModelAction *uninit = NULL;
 	int uninit_id = -1;
 	action_list_t *list = get_safe_ptr_action(obj_map, act->get_location());
-	if (list->empty()) {
+	if (list->empty() && act->is_atomic_var()) {
 		uninit = new_uninitialized_action(act->get_location());
 		uninit_id = id_to_int(uninit->get_tid());
 		list->push_back(uninit);