X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=mpmc-queue%2Fmpmc-queue.cc;h=7de14d589c5819b9055618928eae43accc2f15bd;hp=b62d8d31f496bce7a686332aad23ef7140e56653;hb=5ab6d890042234648c0baec333ed65e90ca055cf;hpb=430eca5dcc20bfc89edac5c134d1c8af7a9614bc

diff --git a/mpmc-queue/mpmc-queue.cc b/mpmc-queue/mpmc-queue.cc
index b62d8d3..7de14d5 100644
--- a/mpmc-queue/mpmc-queue.cc
+++ b/mpmc-queue/mpmc-queue.cc
@@ -18,7 +18,7 @@ void threadA(struct mpmc_boundq_1_alt<int32_t, sizeof(int32_t)> *queue)
 void threadB(struct mpmc_boundq_1_alt<int32_t, sizeof(int32_t)> *queue)
 {
 	int32_t *bin;
-	while (bin = queue->read_fetch()) {
+	while ((bin = queue->read_fetch()) != NULL) {
 		printf("Read: %d\n", load_32(bin));
 		queue->read_consume();
 	}
@@ -30,7 +30,7 @@ void threadC(struct mpmc_boundq_1_alt<int32_t, sizeof(int32_t)> *queue)
 	store_32(bin, 1);
 	queue->write_publish();
 
-	while (bin = queue->read_fetch()) {
+	while ((bin = queue->read_fetch()) != NULL) {
 		printf("Read: %d\n", load_32(bin));
 		queue->read_consume();
 	}