From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?=C3=93scar_Fuentes?= Newsgroups: gmane.emacs.devel Subject: Re: Warnings in mingw64 builds on master Date: Sun, 16 Aug 2020 17:05:41 +0200 Message-ID: <87zh6uskai.fsf@telefonica.net> References: <864kp47t20.fsf@gmail.com> <83a6yvkhby.fsf@gnu.org> <86v9hj7njb.fsf@gmail.com> <83tux3ive9.fsf@gnu.org> <875z9jtznn.fsf@telefonica.net> <83sgcniaol.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8032"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.91 (gnu/linux) To: emacs-devel@gnu.org Cancel-Lock: sha1:jOfLbWxp1JlFHchwF9/cpDexfRw= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Aug 16 17:06:29 2020 Return-path: Envelope-to: ged-emacs-devel@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 1k7KEu-0001yh-Co for ged-emacs-devel@m.gmane-mx.org; Sun, 16 Aug 2020 17:06:28 +0200 Original-Received: from localhost ([::1]:45504 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1k7KEt-0005S9-De for ged-emacs-devel@m.gmane-mx.org; Sun, 16 Aug 2020 11:06:27 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:53518) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k7KEK-00050x-QV for emacs-devel@gnu.org; Sun, 16 Aug 2020 11:05:52 -0400 Original-Received: from static.214.254.202.116.clients.your-server.de ([116.202.254.214]:38638 helo=ciao.gmane.io) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1k7KEJ-0008W2-7H for emacs-devel@gnu.org; Sun, 16 Aug 2020 11:05:52 -0400 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1k7KEF-0001FC-TW for emacs-devel@gnu.org; Sun, 16 Aug 2020 17:05:47 +0200 X-Injected-Via-Gmane: http://gmane.org/ Received-SPF: pass client-ip=116.202.254.214; envelope-from=ged-emacs-devel@m.gmane-mx.org; helo=ciao.gmane.io X-detected-operating-system: by eggs.gnu.org: First seen = 2020/08/16 06:30:15 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -8 X-Spam_score: -0.9 X-Spam_bar: / X-Spam_report: (-0.9 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=1, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=no autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:253851 Archived-At: Eli Zaretskii writes: >> if none of those conditions are true > > That cannot happen. The compiler can't prove that. Such a proof is way too difficult. The "fix" you are hoping for will not arrive in 10.3. Neither in 20.3, unless some extraordinary advancements occur. In any case, the idiom if( cond1 ) {} else if(cond2) {} where one of cond1 or cond2 are true, is questionable. It not only confuses de compiler, a human reader would reasonably think that those conditions can be simultaneously false. Something like this would be clearer: if( cond1 ) {} else { // if we reach this point, cond2 is true assert(cond2); // Honest! And future-proof. } This way you are conveying knowledge to both the reader and the compiler, and even making the code more robust.