Re: [PATCH] rcu: remove SPARSE_RCU_POINTER

From: Paul E. McKenney
Date: Tue Jan 04 2011 - 16:19:46 EST


On Tue, Jan 04, 2011 at 11:36:02AM +0100, Arnd Bergmann wrote:
> On Tuesday 04 January 2011 09:43:01 Lai Jiangshan wrote:
> > As I known, __rcu annotations do not effect the result compiled kernel.
> >
> > They work only when we use spare("make C=1" or "make C=2"),
> > So we don't need another new switch for it since we have one
> > for debugging(use spare or not).
> >
> > signed-off-by: Lai Jiangshan <laijs@xxxxxxxxxxxxxx>
>
> The intention of this option was to avoid introducing an excessive
> number of false positives when using sparse.
>
> We should only make that unconditional if we are reasonably convinced
> that all the majority of warnings caused by it should actually
> lead to changes in the code.

I agree with Arnd here -- the changes required are extensive in many
cases, and a number of subsystems are making decent progress.

Thanx, Paul
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/