X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Fnestedpromise.c;h=70de8d6949aea586ba1c64c3dff0f9e0c2244bb1;hb=8251cec4d80742ccb111930c6def56448cfcece0;hp=e87cce92fd5cb5d22a18e8d43ac19b8841c67930;hpb=7417fdabc7a66c6c05aa87cafb5961aacebffa48;p=model-checker.git

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);