X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Finsanesync.cc;h=c0fe7f661a06317df8b758156a88fa5eb5cd68df;hb=c1c75c2ccffa6d9e5a57336d8134c6060c3759f9;hp=57c610ef935c1abb6383cda68d83eef31d6f9802;hpb=c77e68595cf28639352e548241f648988641fc8d;p=model-checker.git

diff --git a/test/insanesync.cc b/test/insanesync.cc
index 57c610e..c0fe7f6 100644
--- a/test/insanesync.cc
+++ b/test/insanesync.cc
@@ -8,10 +8,8 @@
 
 using namespace std;
 
-atomic_int x;
-atomic_int y;
-atomic_intptr_t z;
-atomic_intptr_t z2;
+atomic_int x, y;
+atomic_intptr_t z, z2;
 
 int r1, r2, r3; /* "local" variables */
 
@@ -38,8 +36,8 @@ static void a(void *obj)
 static void b(void *obj)
 {
 	r3 = y.fetch_add(1, memory_order_acquire);
-	void *ptr = (void *)z.load(memory_order_relaxed);
-	z2.store((intptr_t)ptr, memory_order_relaxed);
+	intptr_t ptr = z.load(memory_order_relaxed);
+	z2.store(ptr, memory_order_relaxed);
 }
 
 static void c(void *obj)