Index: test/synch/semaphore1/test.c
===================================================================
--- test/synch/semaphore1/test.c	(revision e3f41b62d5b503ff9a3beb8ab121cc305d5f2fd7)
+++ test/synch/semaphore1/test.c	(revision 992bbb973fb33c1a5240dfc3591c3fa04a139966)
@@ -43,6 +43,6 @@
 
 static waitq_t can_start;
-static int items_produced;
-static int items_consumed;
+static volatile int items_produced;
+static volatile int items_consumed;
 
 static void consumer(void *arg);