Sign in
android-kvm
/
linux
/
0da0a8a0a0e1845f495431c3d8d733d2bbf9e9e5
/
.
/
tools
/
memory-model
/
litmus-tests
/
CoWW+poonceonce.litmus
blob: 85ef746f511a7aad10b9844587e543e15a63aee3 [
file
] [
log
] [
blame
]
C
CoWW
+
poonceonce
(*
*
Result
:
Never
*
*
Test
of write
-
write coherence
,
that
is
,
whether
or
not
two successive
*
writes to the same variable are ordered
.
*)
{
int
x
;
}
P0
(
int
*
x
)
{
WRITE_ONCE
(*
x
,
1
);
WRITE_ONCE
(*
x
,
2
);
}
exists
(
x
=
1
)