From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-0.7 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 3B3C8C433DF for ; Thu, 14 May 2020 19:37:28 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 2051B2065C for ; Thu, 14 May 2020 19:37:28 +0000 (UTC) Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728261AbgENTh1 (ORCPT ); Thu, 14 May 2020 15:37:27 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:55474 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1726667AbgENTh0 (ORCPT ); Thu, 14 May 2020 15:37:26 -0400 Received: from Galois.linutronix.de (Galois.linutronix.de [IPv6:2a0a:51c0:0:12e:550::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id BBEFCC061A0C for ; Thu, 14 May 2020 12:37:26 -0700 (PDT) Received: from p5de0bf0b.dip0.t-ipconnect.de ([93.224.191.11] helo=nanos.tec.linutronix.de) by Galois.linutronix.de with esmtpsa (TLS1.2:DHE_RSA_AES_256_CBC_SHA256:256) (Exim 4.80) (envelope-from ) id 1jZJfV-0007qm-DB; Thu, 14 May 2020 21:37:21 +0200 Received: by nanos.tec.linutronix.de (Postfix, from userid 1000) id BD80F1004CE; Thu, 14 May 2020 21:37:20 +0200 (CEST) From: Thomas Gleixner To: Marco Elver Cc: Peter Zijlstra , Will Deacon , kasan-dev , LKML , "Paul E. McKenney" , Ingo Molnar , Dmitry Vyukov Subject: Re: [PATCH v5 00/18] Rework READ_ONCE() to improve codegen In-Reply-To: References: <20200513124021.GB20278@willie-the-truck> <20200513165008.GA24836@willie-the-truck> <20200513174747.GB24836@willie-the-truck> <20200513212520.GC28594@willie-the-truck> <20200514110537.GC4280@willie-the-truck> <20200514142450.GC2978@hirez.programming.kicks-ass.net> <875zcyzh6r.fsf@nanos.tec.linutronix.de> Date: Thu, 14 May 2020 21:37:20 +0200 Message-ID: <87k11exq8f.fsf@nanos.tec.linutronix.de> MIME-Version: 1.0 Content-Type: text/plain X-Linutronix-Spam-Score: -1.0 X-Linutronix-Spam-Level: - X-Linutronix-Spam-Status: No , -1.0 points, 5.0 required, ALL_TRUSTED=-1,SHORTCIRCUIT=-0.0001 Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org Marco Elver writes: > On Thu, 14 May 2020 at 17:09, Thomas Gleixner wrote: >> >> Peter Zijlstra writes: >> > On Thu, May 14, 2020 at 03:35:58PM +0200, Marco Elver wrote: >> >> Any preferences? >> > >> > I suppose DTRT, if we then write the Makefile rule like: >> > >> > KCSAN_SANITIZE := KCSAN_FUNCTION_ATTRIBUTES >> > >> > and set that to either 'y'/'n' depending on the compiler at hand >> > supporting enough magic to make it all work. >> > >> > I suppose all the sanitize stuff is most important for developers and >> > we tend to have the latest compiler versions anyway, right? >> >> Developers and CI/testing stuff. Yes we really should require a sane >> compiler instead of introducing boatloads of horrible workarounds all >> over the place which then break when the code changes slightly. > > In which case, let me prepare a series on top of -tip for switching at > least KCSAN to Clang 11. If that's what we'll need, I don't see a > better option right now. And for a change that might make this time GCC people look at their open bugs. :) /me mumbles jumplabels and goes back to juggle patches