Received: by 2002:a05:6902:102b:0:0:0:0 with SMTP id x11csp3614053ybt; Tue, 23 Jun 2020 06:47:36 -0700 (PDT) X-Google-Smtp-Source: ABdhPJy09F7KXf0HhPHsEuDJIOuJxhUZJY3XN7+IpjpzAYGTNrjpbv3ESJ2TksdU/ZO7zoPVyDBc X-Received: by 2002:a05:6402:2212:: with SMTP id cq18mr16919008edb.173.1592920056161; Tue, 23 Jun 2020 06:47:36 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1592920056; cv=none; d=google.com; s=arc-20160816; b=bSu2fbYPzZwe5kIIDrh49V0AlqqM/7IPpakfnJvwO/XZA0gwoEKmhugXs/tvx0rCGV uUkRACMJfZBz+ggTUBom6d3TV0suwIpZUq54K1c6k1AWwqHJ+tQa53f4iTGxreF5pf9n kCen0SWjq7xXBD2+wdR4V6CoAkg1NYjmrPkE3F4DHQQmvZDDmv/iopO1JGUGyf9EMwV9 pxv63Qp3997Cnz8k3VnCRUm16LsI4lAXxsXk/DtqRidncS/j4olhLZEJjQf40vRySV1C T9P9+W0Cxs2eaGqsE504x+5YYu1FD+QZTNKW1TydffymyfYMvTJtWFxsqNdRit8UEEgU 9qJQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:user-agent:in-reply-to :content-disposition:mime-version:references:reply-to:message-id :subject:cc:to:from:date:dkim-signature; bh=jYaH5qV6XOSouH9EkRcv6eW6o/aQlJgcY7OIxPWY/B8=; b=uXIJwlEH0LK7YOEwTcjqLZSVoKZxTRP1OQ5nN6dq8jGLSKtiHIyKXlqcAoNMhc1n3D 6Wjhjsob2cmHfSfBUyPApCBtny/ZPwLy+AuSqll1pzVJac6PDhZQvDy3ltUNF7OP3x/M McmgoUMN25nb8SVu42QQ6peKd3ACW7n9OZFKr9fSW90DTr+1mBc6U5f9EFODBd/Dp5Dq gfSGaqeDmT7EDqvFHdEubCq2gAoas85l0P9m/XtVDpHzd+s5szCiwJoMcVERgwt9TjG8 JDCCMwyg56QGz+UdJYY+HXXCAlOHoB5RBoKZzYIcK0mTViA3rwxH/bW6f5w2CUgaMBm7 8h1w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=qcAuHWsD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id a6si12541518edj.537.2020.06.23.06.47.12; Tue, 23 Jun 2020 06:47:36 -0700 (PDT) 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; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=default header.b=qcAuHWsD; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1732711AbgFWNnK (ORCPT + 99 others); Tue, 23 Jun 2020 09:43:10 -0400 Received: from mail.kernel.org ([198.145.29.99]:59246 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1732629AbgFWNnJ (ORCPT ); Tue, 23 Jun 2020 09:43:09 -0400 Received: from paulmck-ThinkPad-P72.home (50-39-105-78.bvtn.or.frontiernet.net [50.39.105.78]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 391BF2070E; Tue, 23 Jun 2020 13:43:09 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1592919789; bh=g6tRclVhtSAW5qi8EewP5Y8pul/IVob3dqrhPrm4VBY=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=qcAuHWsDyGTkatCEmevMuVi9SvNOqHcICBUvMOANCoEUsupKwv/jFgfmcn5XwzurA G803DE95LTHZxb2lY9lXcVsDOStklRdWseO7wE/h+KEz5A0mGBeK7O14jVXIZC6JzG juIiXlkOSfkTvkppE/39/qST8cRxQp1WjwAbxiSE= Received: by paulmck-ThinkPad-P72.home (Postfix, from userid 1000) id 1E5CE352265E; Tue, 23 Jun 2020 06:43:09 -0700 (PDT) Date: Tue, 23 Jun 2020 06:43:09 -0700 From: "Paul E. McKenney" To: Marco Elver Cc: LKML , kasan-dev , kernel-team@fb.com, Ingo Molnar , Andrey Konovalov , Alexander Potapenko , Dmitry Vyukov , Qian Cai , Boqun Feng Subject: Re: [PATCH kcsan 0/10] KCSAN updates for v5.9 Message-ID: <20200623134309.GB9247@paulmck-ThinkPad-P72> Reply-To: paulmck@kernel.org References: <20200623004310.GA26995@paulmck-ThinkPad-P72> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.9.4 (2018-02-28) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jun 23, 2020 at 08:31:15AM +0200, Marco Elver wrote: > On Tue, 23 Jun 2020 at 02:43, Paul E. McKenney wrote: > > > > Hello! > > > > This series provides KCSAN updates: > > > > 1. Annotate a data race in vm_area_dup(), courtesy of Qian Cai. > > > > 2. x86/mm/pat: Mark an intentional data race, courtesy of Qian Cai. > > > > 3. Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu(). > > > > 4. Add test suite, courtesy of Marco Elver. > > > > 5. locking/osq_lock: Annotate a data race in osq_lock. > > > > 6. Prefer '__no_kcsan inline' in test, courtesy of Marco Elver. > > > > 7. Silence -Wmissing-prototypes warning with W=1, courtesy of Qian Cai. > > > > 8. Rename test.c to selftest.c, courtesy of Marco Elver. > > > > 9. Remove existing special atomic rules, courtesy of Marco Elver. > > > > 10. Add jiffies test to test suite, courtesy of Marco Elver. > > Do we want GCC support back for 5.9? > > https://lkml.kernel.org/r/20200618093118.247375-1-elver@google.com > > I was hoping it could go into 5.9, because it makes a big difference > in terms of usability as it provides more compiler choice. The only > significant change for GCC support is the addition of the checking of > (CC_IS_GCC && (....)). Very good, I will rebase the following into the KCSAN branch for v5.9: 3e490e3 kcsan: Re-add GCC as a supported compiler 03296de kcsan: Simplify compiler flags d831090 kcsan: Disable branch tracing in core runtime Please let me know if any other adjustments are needed. Thanx, Paul