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=-10.3 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, MENTIONS_GIT_HOSTING,SIGNED_OFF_BY,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED, USER_AGENT_SANE_1 autolearn=unavailable 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 D876DC31E40 for ; Fri, 9 Aug 2019 11:32:16 +0000 (UTC) Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id AAA56208C3 for ; Fri, 9 Aug 2019 11:32:16 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lists.infradead.org header.i=@lists.infradead.org header.b="VXgYfAFK" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org AAA56208C3 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+infradead-linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20170209; h=Sender:Content-Type: Content-Transfer-Encoding:Cc:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:Date:Message-ID:From: References:To:Subject:Reply-To:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=UewPkrxnrN7Uy4/FE8C/dAJ3QXjl3elFCunZLQ7okm8=; b=VXgYfAFKTsmlChEqfTIz0DzaZ vMV/Cvbs7ZovXEos06ihfFKevonbv3mlB/C6DWAaFKoYEBvDf6UmlnUzM61Qj8+RUp95mFA3WRbmb C/q7g3+kFwFqn+WFBwI4tZPKM2Q69g5Sac37IYC869fSZ4qBtw5OgepiZ8N9b+K15AAQ3JDinjupU HI6VoBuCC9m2gqM2ww1+9FmO0aND9+YXLrqR7xSri6cB1IJIarukF1MB5tbhk9LMm3twARqiS/amN xv6shZD7+85omNoK1AFxmDwBi0N5OyYVnkEsmVhR0GSreLkvuLVS73uWvdEFE7eJTIEj4u5wCN0rw 3Mgf6YFNg==; Received: from localhost ([127.0.0.1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.92 #3 (Red Hat Linux)) id 1hw383-0002Fm-Q2; Fri, 09 Aug 2019 11:32:16 +0000 Received: from foss.arm.com ([217.140.110.172]) by bombadil.infradead.org with esmtp (Exim 4.92 #3 (Red Hat Linux)) id 1hw37E-0001Sj-Cw for linux-arm-kernel@lists.infradead.org; Fri, 09 Aug 2019 11:31:27 +0000 Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id C4CDB15AB; Fri, 9 Aug 2019 04:31:20 -0700 (PDT) Received: from [10.1.197.57] (e110467-lin.cambridge.arm.com [10.1.197.57]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 39A283F575; Fri, 9 Aug 2019 04:31:18 -0700 (PDT) Subject: Re: Explicitly marking initializer overrides (was "Re: [PATCH] arm64/cache: silence -Woverride-init warnings") To: Mark Rutland , Nathan Chancellor References: <20190808032916.879-1-cai@lca.pw> <20190808103808.GC46901@lakrids.cambridge.arm.com> <20190808170916.GA32668@archlinux-threadripper> <20190809083251.GA48423@lakrids.cambridge.arm.com> From: Robin Murphy Message-ID: <8f0b6055-2e57-729e-af46-21c3bbe24ebb@arm.com> Date: Fri, 9 Aug 2019 12:31:16 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 In-Reply-To: <20190809083251.GA48423@lakrids.cambridge.arm.com> Content-Language: en-GB X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20190809_043124_575872_AAA378B3 X-CRM114-Status: GOOD ( 22.93 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: catalin.marinas@arm.com, linux-kernel@vger.kernel.org, clang-built-linux@googlegroups.com, Qian Cai , will@kernel.org, linux-arm-kernel@lists.infradead.org Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset="us-ascii"; Format="flowed" Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+infradead-linux-arm-kernel=archiver.kernel.org@lists.infradead.org On 09/08/2019 09:32, Mark Rutland wrote: > On Thu, Aug 08, 2019 at 10:09:16AM -0700, Nathan Chancellor wrote: >> On Thu, Aug 08, 2019 at 11:38:08AM +0100, Mark Rutland wrote: >>> On Wed, Aug 07, 2019 at 11:29:16PM -0400, Qian Cai wrote: >>>> The commit 155433cb365e ("arm64: cache: Remove support for ASID-tagged >>>> VIVT I-caches") introduced some compiation warnings from GCC (and >>>> Clang) with -Winitializer-overrides), >>>> >>>> arch/arm64/kernel/cpuinfo.c:38:26: warning: initialized field >>>> overwritten [-Woverride-init] >>>> [ICACHE_POLICY_VIPT] = "VIPT", >>>> ^~~~~~ >>>> arch/arm64/kernel/cpuinfo.c:38:26: note: (near initialization for >>>> 'icache_policy_str[2]') >>>> arch/arm64/kernel/cpuinfo.c:39:26: warning: initialized field >>>> overwritten [-Woverride-init] >>>> [ICACHE_POLICY_PIPT] = "PIPT", >>>> ^~~~~~ >>>> arch/arm64/kernel/cpuinfo.c:39:26: note: (near initialization for >>>> 'icache_policy_str[3]') >>>> arch/arm64/kernel/cpuinfo.c:40:27: warning: initialized field >>>> overwritten [-Woverride-init] >>>> [ICACHE_POLICY_VPIPT] = "VPIPT", >>>> ^~~~~~~ >>>> arch/arm64/kernel/cpuinfo.c:40:27: note: (near initialization for >>>> 'icache_policy_str[0]') >>>> >>>> because it initializes icache_policy_str[0 ... 3] twice. Since >>>> arm64 developers are keen to keep the style of initializing a static >>>> array with a non-zero pattern first, just disable those warnings for >>>> both GCC and Clang of this file. >>>> >>>> Fixes: 155433cb365e ("arm64: cache: Remove support for ASID-tagged VIVT I-caches") >>>> Signed-off-by: Qian Cai >>> >>> This is _not_ a fix, and should not require backporting to stable trees. >>> >>> What about all the other instances that we have in mainline? >>> >>> I really don't think that we need to go down this road; we're just going >>> to end up adding this to every file that happens to include a header >>> using this scheme... >>> >>> Please just turn this off by default for clang. >>> >>> If we want to enable this, we need a mechanism to permit overridable >>> assignments as we use range initializers for. >>> >>> Thanks, >>> Mark. >>> >> >> For what it's worth, this is disabled by default for clang in the >> kernel: >> >> https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/tree/scripts/Makefile.extrawarn?h=v5.3-rc3#n69 >> >> It only becomes visible with clang at W=1 because that section doesn't >> get applied. It becomes visible with GCC at W=1 because of -Wextra. > > Thanks for clarifying that! > > Do you know if there's any existing mechanism that we can use to silence > the warning on a per-assignment basis? Either to say that an assignment > can be overridden, or that the assignment is expected to override an > existing assignment? > > If not, who would be able to look at adding a mechanism to clang for > this? > > If we could have some attribute or intrinsic that we could wrap like: > > struct foo f = { > .bar __defaultval = , > .bar = , // no warning > .bar = , // warning > }; > > ... or: > > struct foo f = { > .bar = , > .bar __override = , // no warning > .bar = , // warning > }; > > ... or: > > .bar = OVERRIDE(), // no warning > > ... or: > OVERRIDE(.bar) = , // no warning > > ... then I think it would be possible to make use of the warning > effectively, as we could distinguish intentional overrides from > unintentional ones, and annotating assignments in this way doesn't seem > onerous to me. Tangentially, there might also be value in some kind of "must be explicitly initialised" attribute that would warn if any element was not covered by (at least one) initialiser. For cases like our icache_policy_str one, where using the "default + overrides" pattern for the sake of one reserved entry is more about robustness against the array growing in future than simpler code today, that could arguably be a more appropriate option. Robin. _______________________________________________ linux-arm-kernel mailing list linux-arm-kernel@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-arm-kernel