test: silence some unused-value warnings
[model-checker.git] / test / wrc.c
index 08f1e07de74d451e7f16772b06d5cb876e030c88..befd23f509c4c16bb6b917fac0b409a93f70dd2d 100644 (file)
@@ -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)