From: Brian Norris <banorris@uci.edu>
Date: Wed, 17 Jul 2013 02:28:35 +0000 (-0700)
Subject: test: insanesync: remove unnecessary casting
X-Git-Tag: oopsla2013-final~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=906e9719a1b1cf22d75c55d9bc78fdb8d1bfa8f9

test: insanesync: remove unnecessary casting
---

diff --git a/test/insanesync.cc b/test/insanesync.cc
index 57c610e..a1e5d04 100644
--- a/test/insanesync.cc
+++ b/test/insanesync.cc
@@ -38,8 +38,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)