Sign in
android-kvm
/
linux
/
ea52d698c1ed0c4555656de0dd1f7ac5866f89e1
/
.
/
tools
/
memory-model
/
litmus-tests
/
R+poonceonces.litmus
blob: f7a12e00f82d5c093102d9abd4fe9520eee3d12b [
file
] [
log
] [
blame
]
C R
+
poonceonces
{}
P0
(
int
*
x
,
int
*
y
)
{
WRITE_ONCE
(*
x
,
1
);
WRITE_ONCE
(*
y
,
1
);
}
P1
(
int
*
x
,
int
*
y
)
{
int
r0
;
WRITE_ONCE
(*
y
,
2
);
r0
=
READ_ONCE
(*
x
);
}
exists
(
y
=
2
/
\
1
:
r0
=
0
)
