@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);