From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#47080: 28.0.50; Spurious variable left uninitialized compiler warning Date: Fri, 12 Mar 2021 19:37:35 -0500 Message-ID: References: <87tuph6xvl.fsf@web.de> <875z1xz0d6.fsf@gnus.org> <87lfatul18.fsf@gnus.org> <87im5vzz9e.fsf@web.de> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6437"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: Lars Ingebrigtsen , 47080-done@debbugs.gnu.org To: Michael Heerdegen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Mar 13 01:38:19 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lKsIN-0001Yg-2v for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 13 Mar 2021 01:38:19 +0100 Original-Received: from localhost ([::1]:54196 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lKsIM-0008Rx-5Y for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 12 Mar 2021 19:38:18 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48770) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lKsI6-0008No-5A for bug-gnu-emacs@gnu.org; Fri, 12 Mar 2021 19:38:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:47155) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lKsI5-00006k-TR for bug-gnu-emacs@gnu.org; Fri, 12 Mar 2021 19:38:01 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lKsI5-0001Gf-Qg for bug-gnu-emacs@gnu.org; Fri, 12 Mar 2021 19:38:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 13 Mar 2021 00:38:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 47080 X-GNU-PR-Package: emacs Original-Received: via spool by 47080-done@debbugs.gnu.org id=D47080.16155958714857 (code D ref 47080); Sat, 13 Mar 2021 00:38:01 +0000 Original-Received: (at 47080-done) by debbugs.gnu.org; 13 Mar 2021 00:37:51 +0000 Original-Received: from localhost ([127.0.0.1]:58701 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lKsHv-0001GG-Ig for submit@debbugs.gnu.org; Fri, 12 Mar 2021 19:37:51 -0500 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:29579) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lKsHt-0001G3-R3 for 47080-done@debbugs.gnu.org; Fri, 12 Mar 2021 19:37:50 -0500 Original-Received: from pmg1.iro.umontreal.ca (localhost.localdomain [127.0.0.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 2E10A100263; Fri, 12 Mar 2021 19:37:43 -0500 (EST) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg1.iro.umontreal.ca (Proxmox) with ESMTP id 0C6CD10020E; Fri, 12 Mar 2021 19:37:37 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1615595857; bh=XYFiNPAn6CbqXkvZa/lv4W+BdSf/X5IUioyP/7YzQd4=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=hSQhdxuyH/MON2VLEZrK9cRi5k82HjAT9U2P2fqRWBpXKw9BqIixzK5LtMBpweE0X Z02PzuYclisOWjVDIFkUd6p53QNwAwXhuq5PI8JLhuv23BPQv6XMtauk0RnjBM2WGM YTzyqoEqAaBWAGiUKbvAbpIwrFWxCyaa1ewxyj5df9ZIN5TkMi5/ItibsMgR9IiNaJ U03/xuuNfHv+u5gC13tkNhW7tq1EFU1HWHOhz/DVNcLz5AKwWd3cqieP1EgiWc48N6 rK/yJOu7CxOhtk7H7pOjxpywgyLufi6VX2CJKSqcrJPtlnuY0SW1qujhcMmq9V+7YV e6aU5PbAPVFZQ== Original-Received: from alfajor (unknown [216.154.43.249]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id C8212120317; Fri, 12 Mar 2021 19:37:36 -0500 (EST) In-Reply-To: <87im5vzz9e.fsf@web.de> (Michael Heerdegen's message of "Sat, 13 Mar 2021 01:13:49 +0100") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:202216 Archived-At: >> Indeed, the warning could even be generalized to other trivial constant >> values like `t`, but I think what we have already gives enough false >> positives ;-) > FWIW, I also got one or two true positives in my own stuff. > To avoid false positives, is it possible to limit the warning to "human > written" code or to code that is not the result of macro expansion? It's somewhere between difficult and impossible with the current setup. Hygienic macro systems should be able to get that information, but our macro system doesn't keep track of it. It would require efforts similar to those needed to preserve file+line+col information. Stefan