C   58

MP+rel_acq

Guest on 20th July 2022 07:07:59 AM

  1. int main() {
  2.   int x; atomic_int y;
  3.   {{{ { x=1;
  4.         y.store(1,memory_order_release); }
  5.   ||| { r1=y.load(memory_order_acquire).readsvalue(1);
  6.         printf("%d\n", x.readsvalue(1)); }  }}}
  7.   //    r2=x.readsvalue(1); }  }}}
  8.   return 0;
  9. }

Raw Paste


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