1C CoWW+poonceonce
2
3(*
4 * Result: Never
5 *
6 * Test of write-write coherence, that is, whether or not two successive
7 * writes to the same variable are ordered.
8 *)
9
10{
11 int x;
12}
13
14P0(int *x)
15{
16 WRITE_ONCE(*x, 1);
17 WRITE_ONCE(*x, 2);
18}
19
20exists (x=1)
21