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

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