1C Atomic-RMW-ops-are-atomic-WRT-atomic_set
 2
 3(*
 4 * Result: Never
 5 *
 6 * Test that atomic_set() cannot break the atomicity of atomic RMWs.
 7 * NOTE: This requires herd7 7.56 or later which supports "(void)expr".
 8 *)
 9
10{
11	atomic_t v = ATOMIC_INIT(1);
12}
13
14P0(atomic_t *v)
15{
16	(void)atomic_add_unless(v, 1, 0);
17}
18
19P1(atomic_t *v)
20{
21	atomic_set(v, 0);
22}
23
24exists
25(v=2)