lkml.org 
[lkml]   [2020]   [Jun]   [18]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 0/3] kcsan: Re-add GCC support, and compiler flags improvements
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
>

\
 
 \ /
  Last update: 2020-06-19 05:26    [W:0.053 / U:0.528 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site