X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=test%2Fwrcs.c;h=9728265df372d80a58bdeba4d017e1ef52bf1122;hp=e0699cdd7d57adf529cdc4afb310074125c45399;hb=8251cec4d80742ccb111930c6def56448cfcece0;hpb=f8417a2a7b21e1b14fb8ce905640f96aafdf8177

diff --git a/test/wrcs.c b/test/wrcs.c
index e0699cd..9728265 100644
--- a/test/wrcs.c
+++ b/test/wrcs.c
@@ -16,43 +16,43 @@ static void a(void *obj)
 
 static void b(void *obj)
 {
-	atomic_load_explicit(&x1, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x1, memory_order_seq_cst);
 	atomic_store_explicit(&x2, 1,memory_order_seq_cst);
 }
 
 static void c(void *obj)
 {
-	atomic_load_explicit(&x2, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x2, memory_order_seq_cst);
 	atomic_store_explicit(&x3, 1,memory_order_seq_cst);
 }
 
 static void d(void *obj)
 {
-	atomic_load_explicit(&x3, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x3, memory_order_seq_cst);
 	atomic_store_explicit(&x4, 1,memory_order_seq_cst);
 }
 
 static void e(void *obj)
 {
-	atomic_load_explicit(&x4, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x4, memory_order_seq_cst);
 	atomic_store_explicit(&x5, 1,memory_order_seq_cst);
 }
 
 static void f(void *obj)
 {
-	atomic_load_explicit(&x5, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x5, memory_order_seq_cst);
 	atomic_store_explicit(&x6, 1,memory_order_seq_cst);
 }
 
 static void g(void *obj)
 {
-	atomic_load_explicit(&x6, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x6, memory_order_seq_cst);
 	atomic_store_explicit(&x7, 1,memory_order_seq_cst);
 }
 static void h(void *obj)
 {
-	atomic_load_explicit(&x7, memory_order_seq_cst);
-	atomic_load_explicit(&x1, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x7, memory_order_seq_cst);
+	(void)atomic_load_explicit(&x1, memory_order_seq_cst);
 }
 
 int user_main(int argc, char **argv)