Gitiles
Code Review
Sign In
review.shift-gmbh.com
/
SHIFTPHONES
/
kernel
/
common
/
ea52d698c1ed0c4555656de0dd1f7ac5866f89e1
/
.
/
tools
/
memory-model
/
litmus-tests
/
CoWW+poonceonce.litmus
blob: 32a96b832021be87c9cc89059a029a4166de8fc5 [
file
] [
log
] [
blame
]
Paul E. McKenney
1c27b64
2018-01-18 19:58:55 -0800
[
diff
] [
blame
]
1
C
CoWW
+
poonceonce
2
3
{}
4
5
P0
(
int
*
x
)
6
{
7
WRITE_ONCE
(*
x
,
1
);
8
WRITE_ONCE
(*
x
,
2
);
9
}
10
11
exists
(
x
=
1
)