test: insanesync: consolidate lines

[model-checker.git] / test / insanesync.cc

diff --git a/test/insanesync.cc b/test/insanesync.cc
index 57c610ef935c1abb6383cda68d83eef31d6f9802..c0fe7f661a06317df8b758156a88fa5eb5cd68df 100644 (file)
--- 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)