From: Brian Norris <banorris@uci.edu>
Date: Tue, 9 Oct 2012 18:57:05 +0000 (-0700)
Subject: barrier: fixup atomic initialization
X-Git-Tag: pldi2013~64
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=commitdiff_plain;h=393e81555b3da38c3ba5e4ca467d58aa884fdfc1

barrier: fixup atomic initialization
---

diff --git a/barrier/barrier.h b/barrier/barrier.h
index 871e10f..6970816 100644
--- a/barrier/barrier.h
+++ b/barrier/barrier.h
@@ -2,7 +2,10 @@
 
 class spinning_barrier {
  public:
-	spinning_barrier (unsigned int n) : n_ (n), nwait_ (0), step_(0) {}
+	spinning_barrier (unsigned int n) : n_ (n) {
+		nwait_ = 0;
+		step_ = 0;
+	}
 
 	bool wait() {
 		unsigned int step = step_.load ();