From cd32776770fd546ecfe34e9238d0e2d5187a1106 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Thu, 6 Dec 2012 22:57:02 -0800
Subject: [PATCH] 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.
---
 model.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
-- 
2.34.1