Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Thu, 18 Jun 2020 20:25:30 -0700
From:   "Paul E. McKenney" <paulmck@kernel.org>
To:     Marco Elver <elver@google.com>
Cc:     will@kernel.org, peterz@infradead.org, bp@alien8.de,
        tglx@linutronix.de, mingo@kernel.org, dvyukov@google.com,
        cai@lca.pw, kasan-dev@googlegroups.com,
        linux-kernel@vger.kernel.org
Subject: Re: [PATCH 0/3] kcsan: Re-add GCC support, and compiler flags
 improvements
Message-ID: <20200619032530.GI2723@paulmck-ThinkPad-P72>
Reply-To: paulmck@kernel.org
References: <20200618093118.247375-1-elver@google.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20200618093118.247375-1-elver@google.com>
User-Agent: Mutt/1.9.4 (2018-02-28)
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

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
>