From: Brian Norris <banorris@uci.edu>
Date: Wed, 14 Aug 2013 04:49:55 +0000 (-0700)
Subject: test: silence some unused-value warnings
X-Git-Tag: oopsla2015~18
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=8251cec4d80742ccb111930c6def56448cfcece0;ds=sidebyside

test: silence some unused-value warnings

clang gives some warnings for unused values, like the following:

  clang -MMD -MF ./.rmw2prog.o.d -o rmw2prog.o rmw2prog.c -Wall -g -O3 -I.. -I../include -L.. -lmodel
  nestedpromise.c:14:2: warning: expression result unused [-Wunused-value]
          atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
  ../include/impatomic.h:2901:46: note: expanded from:
  #define atomic_load_explicit( __a__, __x__ ) \
                                               ^
  ../include/impatomic.h:85:17: note: expanded from:
                  __r__; })
                  ^~~~~
  1 warning generated.
---

diff --git a/test/nestedpromise.c b/test/nestedpromise.c
index e87cce9..70de8d6 100644
--- a/test/nestedpromise.c
+++ b/test/nestedpromise.c
@@ -11,7 +11,7 @@ atomic_int y;
 atomic_int z;
 static void a(void *obj)
 {
-	atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
+	(void)atomic_load_explicit(&z, memory_order_relaxed); // this is only for schedule control
 	int t1=atomic_load_explicit(&x, memory_order_relaxed);
 	atomic_store_explicit(&y, 1, memory_order_relaxed);
 	printf("t1=%d\n",t1);
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)
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)