Received: by 2002:a05:6a10:2726:0:0:0:0 with SMTP id ib38csp1152655pxb; Thu, 24 Mar 2022 13:53:25 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzFLfCTh1xRyoablhEV9IlQcszin7iaitFwM141M/fqDFnCvB4aMbxP0GnvzguZAZNeBbja X-Received: by 2002:a63:101:0:b0:36c:6d40:5688 with SMTP id 1-20020a630101000000b0036c6d405688mr5366129pgb.554.1648155205040; Thu, 24 Mar 2022 13:53:25 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1648155205; cv=none; d=google.com; s=arc-20160816; b=wbCYG70gNwWKabplfPnzUE5/RqpTlCgq9nltekTiDgoO5KJi/244Dm+az96F3PPgAg o1jd3HFgNrtFIzAjCxQ+jNR+SKM5Ar1z/aWv6/VogerJ1KZ3vWInFDFouHWjhHPxC/Q2 qKMezWssr9Fn22j2+gcvpSW+k4CI3RhT3Qp1gfjPXxzpSJ1Yr5x+GzSDNppSVf+xLni3 uSNnisD5FEZqnkc+OPJ8Mbj9HX5SES4+4GHOtj6BaZ01TROMAG7Pthen/y29DmPHhEiK lzO/gg82+NRaG4A+XZqHMa3SDmhvBx4A5q2YPlBCQ8BKeAlB9nuCpr3PVT3/CuipnK2a rJGw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:cc:to:subject:message-id:date:from:in-reply-to :references:mime-version; bh=Bq+5q/LUFVvKeFoA9Q8Sa2EEy5fY9kO3b6Q0RwFcT+M=; b=i8Kw2H9RTZuAB9Cns/mFElRqqmfUzpKlKQtdwptwFvoYbFjfLZoz1cej704S0xmUFd sjTYKcIYcakA6YRWIQ1tVXplvZhptvb7HGaDgkIH7hqMUlrx9eQnQj07CR8rrDEsj5jO UHMr+ZAF/e/ntL00u9gqESJ+4a3RrqqOpqN+iI8Gd/EuDq8JJglRg3VnzCui2Cb7FwK1 sD4g2jIX5VkDxZgFOh9LK/KhtX10+0c6DyabwoKzWJOwk4cqKMTDpCrmY85CDd83/ypd 1jXrEKxdKmRd9fXONqWs4F9GAkhu3Ou4AOl7NorjlbzkqY1EFkZ9X6Hp2wLNr4D+pNk/ T5vQ== ARC-Authentication-Results: i=1; mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id a14-20020a65654e000000b003825c4f820asi351591pgw.233.2022.03.24.13.53.11; Thu, 24 Mar 2022 13:53:25 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1347806AbiCXCnp (ORCPT + 99 others); Wed, 23 Mar 2022 22:43:45 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:60978 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S236251AbiCXCno (ORCPT ); Wed, 23 Mar 2022 22:43:44 -0400 Received: from mail-yb1-f171.google.com (mail-yb1-f171.google.com [209.85.219.171]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 71D27939CD; Wed, 23 Mar 2022 19:42:13 -0700 (PDT) Received: by mail-yb1-f171.google.com with SMTP id y142so6100858ybe.11; Wed, 23 Mar 2022 19:42:13 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=Bq+5q/LUFVvKeFoA9Q8Sa2EEy5fY9kO3b6Q0RwFcT+M=; b=NeTZ/xoEakoE9tymnST82PXzga/NTsC+AurpGjR1Wyt+KIolWF/FqaEV7hzaQohUP5 HwTe7PrKTiw4puxCGeX6KAGEvLLZ4JkYxggAvoULjAzsKaJiNGWsBDqXgFMwNNHgAabz qwQPUOOz2Pz3lNnf2AXmH3ckngp1a8lXBAUm+eZF83D3VApmtvE1gFF+9cJQAACq1Quc 6GN87dNCxNp9R4lCiBZTBgnditFebZkmkgFRMrehneEByAP88DLkE2gGd25opikqaZDT GLU/R0YF7b3dChCFBZaJL/cF8mT5xlV39vvnHuB6aQIaAB3dyhrOBO1dIa8fOXx/Kv4b eSgA== X-Gm-Message-State: AOAM532aHPOmCJKF1t6NiFy1SCb4Oail1zGg9UDgDsQMFxLmZHsAExuc PLmwuPmEgjVeghTPtHqXQoXjz0xt5Xm3tb9hlYK+1YpC/c0z7g== X-Received: by 2002:a5b:8cc:0:b0:634:7343:9953 with SMTP id w12-20020a5b08cc000000b0063473439953mr2807315ybq.142.1648089732442; Wed, 23 Mar 2022 19:42:12 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Vincent MAILHOL Date: Thu, 24 Mar 2022 11:42:01 +0900 Message-ID: Subject: Re: [PATCH] x86: bug.h: merge annotate_reachable into _BUG_FLAGS for __WARN_FLAGS To: Nick Desaulniers Cc: Charlemagne Lasse , jpoimboe@redhat.com, adobriyan@gmail.com, bp@alien8.de, dave.hansen@linux.intel.com, hpa@zytor.com, linux-kernel@vger.kernel.org, linux-sparse@vger.kernel.org, llvm@lists.linux.dev, luc.vanoostenryck@gmail.com, mingo@redhat.com, nathan@kernel.org, peterz@infradead.org, tglx@linutronix.de, x86@kernel.org, Sasha Levin Content-Type: text/plain; charset="UTF-8" X-Spam-Status: No, score=-1.4 required=5.0 tests=BAYES_00, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Thu. 24 Mar 2022 at 04:41, Nick Desaulniers wrote: > On Wed, Mar 23, 2022 at 12:30 PM Charlemagne Lasse > wrote: > > > > > @@ -75,9 +77,9 @@ do { \ > > > */ > > > #define __WARN_FLAGS(flags) \ > > > do { \ > > > + __auto_type f = BUGFLAG_WARNING|(flags); \ > > > instrumentation_begin(); \ > > > - _BUG_FLAGS(ASM_UD2, BUGFLAG_WARNING|(flags)); \ > > > - annotate_reachable(); \ > > > + _BUG_FLAGS(ASM_UD2, f, ASM_REACHABLE); \ > > > instrumentation_end(); \ > > > } while (0) > > > > This causes following sparse warning on x86: > > > > make allnoconfig && touch init/version.c && make CHECK="sparse > > -Wshadow" C=1 init/version.o > > # > > # No change to .config > > # > > CALL scripts/checksyscalls.sh > > CALL scripts/atomic/check-atomics.sh > > CHK include/generated/compile.h > > CC init/version.o > > CHECK init/version.c > > init/version.c: note: in included file (through > > include/linux/rculist.h, include/linux/pid.h, include/linux/sched.h, > > include/linux/utsname.h): > > ./include/linux/rcupdate.h:1007:9: warning: symbol 'f' shadows an earlier one > > ./include/linux/rcupdate.h:1001:47: originally declared here > > Thanks for the report. There was already a fix sent for this: > https://lore.kernel.org/lkml/20220317065743.8467-1-mailhol.vincent@wanadoo.fr/ > but it doesn't mention that sparse is warning about this, too. > > I think if Vincent sent a v3 that mentioned that sparse is warning > about this, too, and cc'ed you, you could then supply > signed-off/tested-by tags (or just do so on v2, though it doesn't > mention sparse), and maybe Josh would be so kind as to pick that up? Thank Nick, I did as you suggested. Here is the v3: https://lore.kernel.org/all/20220324023742.106546-1-mailhol.vincent@wanadoo.fr/ Yours sincerely, Vincent Mailhol