From: Brian Demsky <bdemsky@uci.edu>
Date: Wed, 6 Mar 2013 05:41:09 +0000 (-0800)
Subject: Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
X-Git-Tag: oopsla2013~156
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=fa090011ae03d98eff628e835ede5562c2d4c2c7;hp=7ee05d0cce29addaf73326e0eeac08bc7eb39e79;p=model-checker.git

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker
---

diff --git a/include/impatomic.h b/include/impatomic.h
index 60e5d36..5548619 100644
--- a/include/impatomic.h
+++ b/include/impatomic.h
@@ -3902,11 +3902,11 @@ T* atomic<T*>::fetch_sub( ptrdiff_t __v__, memory_order __x__ ) volatile
 #ifdef __cplusplus
 extern "C" {
 #endif
-inline void atomic_thread_fence(memory_order order)
+static inline void atomic_thread_fence(memory_order order)
 { _ATOMIC_FENCE_(order); }
 
 /** @todo Do we want to try to support a user's signal-handler? */
-inline void atomic_signal_fence(memory_order order)
+static inline void atomic_signal_fence(memory_order order)
 { /* No-op? */ }
 #ifdef __cplusplus
 }
diff --git a/model.cc b/model.cc
index 8e513a3..55d5d0d 100644
--- a/model.cc
+++ b/model.cc
@@ -2834,7 +2834,9 @@ static void print_list(action_list_t *list)
 	unsigned int hash = 0;
 
 	for (it = list->begin(); it != list->end(); it++) {
-		(*it)->print();
+		const ModelAction *act = *it;
+		if (act->get_seq_number() > 0)
+			act->print();
 		hash = hash^(hash<<3)^((*it)->hash());
 	}
 	model_print("HASH %u\n", hash);