1
linux/Documentation/litmus-tests/atomic
Paul E. McKenney 2ba5b4130e Documentation/litmus-tests: Make cmpxchg() tests safe for klitmus
The four litmus tests in Documentation/litmus-tests/atomic do not
declare all of their local variables.  Although this is just fine for LKMM
analysis by herd7, it causes build failures when run in-kernel by klitmus.
This commit therefore adjusts these tests to declare all local variables.

Reported-by: Andrea Parri <parri.andrea@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Acked-by: Andrea Parri <parri.andrea@gmail.com>
2024-05-06 14:29:21 -07:00
..
Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus
Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus
cmpxchg-fail-ordered-1.litmus
cmpxchg-fail-ordered-2.litmus
cmpxchg-fail-unordered-1.litmus
cmpxchg-fail-unordered-2.litmus