From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Bruno Haible Newsgroups: gmane.emacs.bugs Subject: bug#36370: 27.0.50; XFIXNAT called on negative numbers Date: Fri, 28 Jun 2019 01:45:11 +0200 Message-ID: <2715311.ceefYqj39C__19346.0271506169$1561679176$gmane$org@omega> References: <5284eb58-3560-da42-d1d1-3bdb930eae49@cs.ucla.edu> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7Bit Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="180617"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: KMail/5.1.3 (Linux/4.4.0-151-generic; KDE/5.18.0; x86_64; ; ) Cc: 36370@debbugs.gnu.org, Paul Eggert , Pip Cet To: bug-gnulib@gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jun 28 01:46:11 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hge5i-000ks7-RR for geb-bug-gnu-emacs@m.gmane.org; Fri, 28 Jun 2019 01:46:10 +0200 Original-Received: from localhost ([::1]:55292 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hge5h-0002FK-RD for geb-bug-gnu-emacs@m.gmane.org; Thu, 27 Jun 2019 19:46:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57375) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hge5b-0002FB-5k for bug-gnu-emacs@gnu.org; Thu, 27 Jun 2019 19:46:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hge5a-0000Hw-6U for bug-gnu-emacs@gnu.org; Thu, 27 Jun 2019 19:46:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:54744) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hge5a-0000Hc-2t for bug-gnu-emacs@gnu.org; Thu, 27 Jun 2019 19:46:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hge5Z-0005FM-Te for bug-gnu-emacs@gnu.org; Thu, 27 Jun 2019 19:46:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Bruno Haible Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 27 Jun 2019 23:46:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 36370 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 36370-submit@debbugs.gnu.org id=B36370.156167912220115 (code B ref 36370); Thu, 27 Jun 2019 23:46:01 +0000 Original-Received: (at 36370) by debbugs.gnu.org; 27 Jun 2019 23:45:22 +0000 Original-Received: from localhost ([127.0.0.1]:40055 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hge4w-0005EN-4e for submit@debbugs.gnu.org; Thu, 27 Jun 2019 19:45:22 -0400 Original-Received: from mo4-p00-ob.smtp.rzone.de ([85.215.255.25]:16107) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hge4r-0005E8-HX for 36370@debbugs.gnu.org; Thu, 27 Jun 2019 19:45:20 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1561679115; s=strato-dkim-0002; d=clisp.org; h=References:In-Reply-To:Message-ID:Date:Subject:Cc:To:From: X-RZG-CLASS-ID:X-RZG-AUTH:From:Subject:Sender; bh=AaEz2VxWWyoCwYJ1NzGHl+BVL2RXht87zbQGRVtl8VU=; b=Wtay4CxJAk/RnjXbxCrA2tUz/MrGQIuU4SdXA2HUHppy4cMYgM4OVd1VcALlitaiYY Hm+m7ZPAIWXNwDqN3kmTJrCBLYiZn7kJsC+F5aLyBw1MtgqDgnuSUojxOAW6W8O4636g KwEFrryYEmxJYkdDzWf6xZWhY/y1eRwL3HXUboLjyP6N7M/yKiZrJf/2WD1y89mHUmca 59a8E05WRGZJRQ32Yk4GwX4BiwckO3iAyG6ifyxP7W4lwjgRvkNWgqc99oAVcHUqH49B eRPdVcq7pLXVDkPlJNYdhFdZqCuKeKajYvXtmggSh3MtSeJ70x27hlcTJlMVrHxM2EIA o8tg== X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH+AHjwLuWOGaf0zJZW" X-RZG-CLASS-ID: mo00 Original-Received: from bruno.haible.de by smtp.strato.de (RZmta 44.24 DYNA|AUTH) with ESMTPSA id v018bcv5RNjBdtb (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (curve secp521r1 with 521 ECDH bits, eq. 15360 bits RSA)) (Client did not present a certificate); Fri, 28 Jun 2019 01:45:11 +0200 (CEST) In-Reply-To: <5284eb58-3560-da42-d1d1-3bdb930eae49@cs.ucla.edu> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:161669 Archived-At: Hi Paul, > I'll CC: this to bug-gnulib since it's a Gnulib issue. I have not > installed this patch into Gnulib on savannah. Can you please show an example code on which the change makes a difference? I used this test program ==================================== foo.c ==================================== #include //#define assume(R) ((R) ? (void) 0 : __builtin_unreachable ()) #define assume(R) (!__builtin_constant_p (!(R) == !(R)) || (R) ? (void) 0 : __builtin_unreachable ()) int f_generic (int i) { printf("%d\n", i & 0x80000000); return 0; } int f_condition (int i) { if (i >= 0) printf("%d\n", i & 0x80000000); return 0; } int f_assume (int i) { assume (i >= 0); printf("%d\n", i & 0x80000000); return 0; } =============================================================================== $ gcc -O2 -m32 -S foo.c && fgrep -v .cfi foo.s and the code is the same, regardless of which definition of 'assume' I enable. Bruno