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

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