[<prev] [next>] [<thread-prev] [day] [month] [year] [list]
Message-ID: <20200619214901.GA12084@paulmck-ThinkPad-P72>
Date: Fri, 19 Jun 2020 14:49:01 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: Marco Elver <elver@...gle.com>
Cc: will@...nel.org, peterz@...radead.org, bp@...en8.de,
tglx@...utronix.de, mingo@...nel.org, dvyukov@...gle.com,
cai@....pw, kasan-dev@...glegroups.com,
linux-kernel@...r.kernel.org
Subject: Re: [PATCH 0/3] kcsan: Re-add GCC support, and compiler flags
improvements
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
> >
Powered by blists - more mailing lists