rcu: Eliminate rcu_gp_slow_unregister() false positive
authorPaul E. McKenney <paulmck@kernel.org>
Fri, 18 Aug 2023 15:53:58 +0000 (08:53 -0700)
committerFrederic Weisbecker <frederic@kernel.org>
Wed, 13 Sep 2023 20:29:12 +0000 (22:29 +0200)
When using rcutorture as a module, there are a number of conditions that
can abort the modprobe operation, for example, when attempting to run
both RCU CPU stall warning tests and forward-progress tests.  This can
cause rcu_torture_cleanup() to be invoked on the unwind path out of
rcu_rcu_torture_init(), which will mean that rcu_gp_slow_unregister()
is invoked without a matching rcu_gp_slow_register().  This will cause
a splat because rcu_gp_slow_unregister() is passed rcu_fwd_cb_nodelay,
which does not match a NULL pointer.

This commit therefore forgives a mismatch involving a NULL pointer, thus
avoiding this false-positive splat.

Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Signed-off-by: Frederic Weisbecker <frederic@kernel.org>
kernel/rcu/tree.c

index aae515071ffd821bf3c73fe76b85bbbea972ff5c..a83ecab779179e0abee327d94511a22674f5183f 100644 (file)
@@ -1260,7 +1260,7 @@ EXPORT_SYMBOL_GPL(rcu_gp_slow_register);
 /* Unregister a counter, with NULL for not caring which. */
 void rcu_gp_slow_unregister(atomic_t *rgssp)
 {
-       WARN_ON_ONCE(rgssp && rgssp != rcu_gp_slow_suppress);
+       WARN_ON_ONCE(rgssp && rgssp != rcu_gp_slow_suppress && rcu_gp_slow_suppress != NULL);
 
        WRITE_ONCE(rcu_gp_slow_suppress, NULL);
 }