tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic
authorPaul E. McKenney <paulmck@kernel.org>
Thu, 13 May 2021 18:17:02 +0000 (11:17 -0700)
committerPaul E. McKenney <paulmck@kernel.org>
Tue, 20 Jul 2021 20:52:03 +0000 (13:52 -0700)
commit1846a7fa767fbf8cf42d71daf75d51e30e3c8327
tree3e74cbd36a43ad73d5d1696271a6568fe66f7b57
parent2734d6c1b1a089fb593ef6a23d4b70903526fe0c
tools/memory-model: Make read_foo_diagnostic() more clearly diagnostic

The current definition of read_foo_diagnostic() in the "Lock Protection
With Lockless Diagnostic Access" section returns a value, which could
be use for any purpose.  This could mislead people into incorrectly
using data_race() in cases where READ_ONCE() is required.  This commit
therefore makes read_foo_diagnostic() simply print the value read.

Reported-by: Manfred Spraul <manfred@colorfullife.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
tools/memory-model/Documentation/access-marking.txt