X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=benchmark%2Fchase-lev-deque-bugfix%2Fdeque.c;h=bb12be0b09a222cfd2bbd1cca1fa0e329fa3a39a;hp=4fc9ff3e248281b4ae0385fd71f15ad6fdd93b10;hb=d1da7bb66eab25dfab97f46d9e2c34cdbf380a31;hpb=b1e8dec6e806e4499316d77b3dee1d34029103b4

diff --git a/benchmark/chase-lev-deque-bugfix/deque.c b/benchmark/chase-lev-deque-bugfix/deque.c
index 4fc9ff3..bb12be0 100644
--- a/benchmark/chase-lev-deque-bugfix/deque.c
+++ b/benchmark/chase-lev-deque-bugfix/deque.c
@@ -154,7 +154,7 @@ int steal(Deque *q) {
 		@Label: StealReadTop1
 		@End
 	*/
-	//FIXME: remove the fence causes no error and fewer executions..
+	/********** SPEC error (testcase3.c) **********/
 	atomic_thread_fence(memory_order_seq_cst);
 	/**** SPEC & UL ****/
 	size_t b = atomic_load_explicit(&q->bottom, memory_order_acquire);