C 55

R+scs

Guest on 20th July 2022 07:10:16 AM

int main() {
atomic_int x = 0; atomic_int y = 0;
{{{ { x.store(1,memory_order_seq_cst);
y.store(1,memory_order_seq_cst); }
||| { r1= y.store(2,memory_order_seq_cst);
r2= x.load(memory_order_seq_cst).readsvalue(0); } }}}
}

Raw Paste

int main() { atomic_int x = 0; atomic_int y = 0; {{{ { x.store(1,memory_order_seq_cst); y.store(1,memory_order_seq_cst); } ||| { r1= y.store(2,memory_order_seq_cst); r2= x.load(memory_order_seq_cst).readsvalue(0); } }}} }

Login or Register to edit or fork this paste. It's free.