summaryrefslogtreecommitdiffstats
path: root/Documentation/dev-tools/sparse.rst
diff options
context:
space:
mode:
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>2017-05-13 00:56:35 +0200
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>2017-06-09 03:52:41 +0200
commit41a2901e7d220875752a8c870e0b53288a578c20 (patch)
tree7fee0c0fb4e4de059050c0003c370042bb832ffc /Documentation/dev-tools/sparse.rst
parentrcu: Remove the now-obsolete PROVE_RCU_REPEATEDLY Kconfig option (diff)
downloadlinux-41a2901e7d220875752a8c870e0b53288a578c20.tar.xz
linux-41a2901e7d220875752a8c870e0b53288a578c20.zip
rcu: Remove SPARSE_RCU_POINTER Kconfig option
The sparse-based checking for non-RCU accesses to RCU-protected pointers has been around for a very long time, and it is now the only type of sparse-based checking that is optional. This commit therefore makes it unconditional. Reported-by: Ingo Molnar <mingo@kernel.org> Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com> Cc: Fengguang Wu <fengguang.wu@intel.com>
Diffstat (limited to 'Documentation/dev-tools/sparse.rst')
-rw-r--r--Documentation/dev-tools/sparse.rst6
1 files changed, 0 insertions, 6 deletions
diff --git a/Documentation/dev-tools/sparse.rst b/Documentation/dev-tools/sparse.rst
index ffdcc97f6f5a..78aa00a604a0 100644
--- a/Documentation/dev-tools/sparse.rst
+++ b/Documentation/dev-tools/sparse.rst
@@ -103,9 +103,3 @@ have already built it.
The optional make variable CF can be used to pass arguments to sparse. The
build system passes -Wbitwise to sparse automatically.
-
-Checking RCU annotations
-~~~~~~~~~~~~~~~~~~~~~~~~
-
-RCU annotations are not checked by default. To enable RCU annotation
-checks, include -DCONFIG_SPARSE_RCU_POINTER in your CF flags.