edits
[cdsspec-compiler.git] / benchmark / chase-lev-deque-bugfix / deque.c
index 4fc9ff3..bb12be0 100644 (file)
@@ -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);