Re: [PATCH 0/3] kcsan: Re-add GCC support, and compiler flags improvements
From: Paul E. McKenney
Date: Fri Jun 19 2020 - 17:49:04 EST
On Thu, Jun 18, 2020 at 08:25:30PM -0700, Paul E. McKenney wrote:
> On Thu, Jun 18, 2020 at 11:31:15AM +0200, Marco Elver wrote:
> > Re-add GCC as a supported compiler and clean up compiler flags.
> >
> > To use KCSAN with GCC before GCC 11 is released, the following will get
> > a stable GCC 10 and cherry-pick the patches required for KCSAN support:
> >
> > git clone git://gcc.gnu.org/git/gcc.git && cd gcc
> > git checkout -b gcc-10-for-kcsan releases/gcc-10.1.0
> > git cherry-pick \
> > 4089df8ef4a63126b0774c39b6638845244c20d2 \
> > ab2789ec507a94f1a75a6534bca51c7b39037ce0 \
> > 06712fc68dc9843d9af7c7ac10047f49d305ad76
> > ./configure --prefix <your-prefix> --enable-languages=c,c++
> > make -j$(nproc) && make install
>
> Unless there are objections, I will pull this in Friday (tomorrow)
> afternoon, Pacific Time.
Hearing no objections, queued and pushd, thank you!
Thanx, Paul
> > Marco Elver (3):
> > kcsan: Re-add GCC as a supported compiler
> > kcsan: Simplify compiler flags
> > kcsan: Disable branch tracing in core runtime
> >
> > Documentation/dev-tools/kcsan.rst | 3 ++-
> > kernel/kcsan/Makefile | 4 ++--
> > lib/Kconfig.kcsan | 3 ++-
> > scripts/Makefile.kcsan | 2 +-
> > 4 files changed, 7 insertions(+), 5 deletions(-)
> >
> > --
> > 2.27.0.290.gba653c62da-goog
> >