Re: [PATCH -rcu] asm-generic, kcsan: Add KCSAN instrumentation for bitops

From: Arnd Bergmann
Date: Mon Jan 20 2020 - 09:40:45 EST


On Mon, Jan 20, 2020 at 3:23 PM Marco Elver <elver@xxxxxxxxxx> wrote:
> On Fri, 17 Jan 2020 at 14:14, Marco Elver <elver@xxxxxxxxxx> wrote:
> > On Fri, 17 Jan 2020 at 13:25, Arnd Bergmann <arnd@xxxxxxxx> wrote:
> > > On Wed, Jan 15, 2020 at 9:50 PM Marco Elver <elver@xxxxxxxxxx> wrote:

> > > If you can't find any, I would prefer having the simpler interface
> > > with just one set of annotations.
> >
> > That's fair enough. I'll prepare a v2 series that first introduces the
> > new header, and then applies it to the locations that seem obvious
> > candidates for having both checks.
>
> I've sent a new patch series which introduces instrumented.h:
> http://lkml.kernel.org/r/20200120141927.114373-1-elver@xxxxxxxxxx

Looks good to me, feel free to add

Acked-by: Arnd Bergmann <arnd@xxxxxxxx>

if you are merging this through your own tree or someone else's,
or let me know if I should put it into the asm-generic git tree.

Arnd