bool succ = atomic_compare_exchange_strong_explicit(&q->top, &t, t +
1, memory_order_seq_cst, memory_order_relaxed);
/**
- @Begin
+ //@Begin
@Commit_point_define_check: succ
@Label: Take_CAS_Top
@End
/**
@Begin
- @Additional_ordering_point_define_check: !succ
+ @Additional_ordering_point_define_check: true
@Label: Take_Additional_Point
@End
*/
bool succ = atomic_compare_exchange_strong_explicit(&q->top, &t, t + 1,
memory_order_seq_cst, memory_order_relaxed);
/**
- @Begin
+ //@Begin
@Commit_point_define_check: succ
@Label: Steal_CAS_Top
@End
/**
@Begin
- @Additional_ordering_point_define_check: !succ
+ @Additional_ordering_point_define_check: true
@Label: Steal_Additional_Point
@End
*/