OSCL-LXR |
|
|
|
|||
0001 C CoWW+poonceonce
0002
0003 (*
0004 * Result: Never
0005 *
0006 * Test of write-write coherence, that is, whether or not two successive
0007 * writes to the same variable are ordered.
0008 *)
0009
0010 {}
0011
0012 P0(int *x)
0013 {
0014 WRITE_ONCE(*x, 1);
0015 WRITE_ONCE(*x, 2);
0016 }
0017
0018 exists (x=1)
| [ Source navigation ] | [ Diff markup ] | [ Identifier search ] | [ general search ] |
|
This page was automatically generated by the 2.1.0 LXR engine. The LXR team |
|