Sign in
android-kvm
/
linux
/
54c6247d06f110d2129f9ef75e5eb02d39aec316
/
.
/
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
)
