Sign in
android-kvm
/
linux
/
bb425a7598479fa0f171ec806033c440f218b0ce
/
.
/
tools
/
memory-model
/
litmus-tests
/
CoWW+poonceonce.litmus
blob: 0d9f0a9587996cd37950a7fd4e12eed1e7a7faf9 [
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
.
*)
{}
P0
(
int
*
x
)
{
WRITE_ONCE
(*
x
,
1
);
WRITE_ONCE
(*
x
,
2
);
}
exists
(
x
=
1
)
