Re: [PATCH -tip v3 03/11] kcsan: Support distinguishing volatile accesses

On Fri, May 22, 2020 at 12:34:00PM +0200, Marco Elver wrote: > Yeah, my patch for GCC is still pending. But we probably need more > fixes for GCC, before we can re-enable it. > > We restrict supported compilers later in the series: > https://lore.kernel.org/lkml/20200521142047.169334-7-el...@google

Re: [PATCH -tip v3 03/11] kcsan: Support distinguishing volatile accesses

On Fri, 22 May 2020 at 12:26, Borislav Petkov wrote: > > On Thu, May 21, 2020 at 04:20:39PM +0200, Marco Elver wrote: > > diff --git a/scripts/Makefile.kcsan b/scripts/Makefile.kcsan > > index 20337a7ecf54..75d2942b9437 100644 > > --- a/scripts/Makefile.kcsan > > +++ b/scripts/Makefile.kcsan > > @

Re: [PATCH -tip v3 03/11] kcsan: Support distinguishing volatile accesses

On Thu, May 21, 2020 at 04:20:39PM +0200, Marco Elver wrote: > diff --git a/scripts/Makefile.kcsan b/scripts/Makefile.kcsan > index 20337a7ecf54..75d2942b9437 100644 > --- a/scripts/Makefile.kcsan > +++ b/scripts/Makefile.kcsan > @@ -9,7 +9,10 @@ else > cc-param = --param -$(1) > endif > > +# K

[PATCH -tip v3 03/11] kcsan: Support distinguishing volatile accesses

In the kernel, volatile is used in various concurrent context, whether in low-level synchronization primitives or for legacy reasons. If supported by the compiler, we will assume that aligned volatile accesses up to sizeof(long long) (matching compiletime_assert_rwonce_type()) are atomic. Recent v