Re: [PATCH 0/3] kcsan: Re-add GCC support, and compiler flags improvements

From: Paul E. McKenney
Date: Thu Jun 18 2020 - 23:25:35 EST


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.

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
>