From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Paul Eggert Newsgroups: gmane.emacs.bugs,gmane.comp.lib.gnulib.bugs Subject: bug#36370: 27.0.50; XFIXNAT called on negative numbers Date: Tue, 2 Jul 2019 16:39:39 -0700 Organization: UCLA Computer Science Department Message-ID: References: <2515002.Q0mBYvUW8C@omega> <2053813.cCqrqANjgC@omega> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="------------8B752DA5CDBF3730188CA762" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="21234"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.7.2 Cc: 36370@debbugs.gnu.org, bug-gnulib@gnu.org, Pip Cet To: Bruno Haible Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Wed Jul 03 01:40:23 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 1hiSNn-0005Lj-Al for geb-bug-gnu-emacs@m.gmane.org; Wed, 03 Jul 2019 01:40:19 +0200 Original-Received: from localhost ([::1]:58290 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hiSNl-0005fc-Pb for geb-bug-gnu-emacs@m.gmane.org; Tue, 02 Jul 2019 19:40:17 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:49312) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hiSNX-0005e4-DF for bug-gnu-emacs@gnu.org; Tue, 02 Jul 2019 19:40:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hiSNW-0000hR-Bl for bug-gnu-emacs@gnu.org; Tue, 02 Jul 2019 19:40:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:39341) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hiSNV-0000gM-Qn for bug-gnu-emacs@gnu.org; Tue, 02 Jul 2019 19:40:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hiSNV-00005c-MB for bug-gnu-emacs@gnu.org; Tue, 02 Jul 2019 19:40:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Paul Eggert Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 02 Jul 2019 23:40: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.1562110789318 (code B ref 36370); Tue, 02 Jul 2019 23:40:01 +0000 Original-Received: (at 36370) by debbugs.gnu.org; 2 Jul 2019 23:39:49 +0000 Original-Received: from localhost ([127.0.0.1]:48162 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hiSNJ-000052-Cl for submit@debbugs.gnu.org; Tue, 02 Jul 2019 19:39:49 -0400 Original-Received: from zimbra.cs.ucla.edu ([131.179.128.68]:47568) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hiSNG-0008WS-Oj for 36370@debbugs.gnu.org; Tue, 02 Jul 2019 19:39:47 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 1EE79161436; Tue, 2 Jul 2019 16:39:41 -0700 (PDT) Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10032) with ESMTP id ZmBfJSSsp-Zp; Tue, 2 Jul 2019 16:39:40 -0700 (PDT) Original-Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 405D0161598; Tue, 2 Jul 2019 16:39:40 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu Original-Received: from zimbra.cs.ucla.edu ([127.0.0.1]) by localhost (zimbra.cs.ucla.edu [127.0.0.1]) (amavisd-new, port 10026) with ESMTP id FanKQxcblped; Tue, 2 Jul 2019 16:39:40 -0700 (PDT) Original-Received: from [192.168.1.9] (cpe-23-242-74-103.socal.res.rr.com [23.242.74.103]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 1184B161436; Tue, 2 Jul 2019 16:39:40 -0700 (PDT) In-Reply-To: <2053813.cCqrqANjgC@omega> Content-Language: en-US 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:161996 gmane.comp.lib.gnulib.bugs:40625 Archived-At: This is a multi-part message in MIME format. --------------8B752DA5CDBF3730188CA762 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Bruno Haible wrote: > I like this wording. OK, I merged that into the wording I proposed and installed the attached. One new point that I added is that I sometimes use 'assume (X)' to pacify GCC so that it does not issue a bogus warning in nearby code; this benefit of 'assume' is independent of the efficiency of the generated code. --------------8B752DA5CDBF3730188CA762 Content-Type: text/plain; charset=UTF-8; name="0001-verify-document-assume-better.txt" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="0001-verify-document-assume-better.txt" RnJvbSBjODgyOTk2MDI2OTMxZDliMTFiMDg3OGE5YmIwMzJjYTZiMzk0MWRkIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIEVnZ2VydCA8ZWdnZXJ0QGNzLnVjbGEuZWR1 PgpEYXRlOiBUdWUsIDIgSnVsIDIwMTkgMTY6MzM6MDQgLTA3MDAKU3ViamVjdDogW1BBVENI XSA9P1VURi04P3E/dmVyaWZ5Oj0yMGRvY3VtZW50PTIwPUUyPTgwPTk4YXNzdW1lPUUyPTgw PTk5Pz0KID0/VVRGLTg/cT89MjBiZXR0ZXI/PQpNSU1FLVZlcnNpb246IDEuMApDb250ZW50 LVR5cGU6IHRleHQvcGxhaW47IGNoYXJzZXQ9VVRGLTgKQ29udGVudC1UcmFuc2Zlci1FbmNv ZGluZzogOGJpdAoKKiBsaWIvdmVyaWZ5Lmg6IFJld29yZCBkb2MgKEJ1ZyMzNjM3MCkuCi0t LQogQ2hhbmdlTG9nICAgIHwgNSArKysrKwogbGliL3ZlcmlmeS5oIHwgOCArKysrKy0tLQog MiBmaWxlcyBjaGFuZ2VkLCAxMCBpbnNlcnRpb25zKCspLCAzIGRlbGV0aW9ucygtKQoKZGlm ZiAtLWdpdCBhL0NoYW5nZUxvZyBiL0NoYW5nZUxvZwppbmRleCA3N2Q4ZTllNmEuLmI4OWZk NWQ5ZSAxMDA2NDQKLS0tIGEvQ2hhbmdlTG9nCisrKyBiL0NoYW5nZUxvZwpAQCAtMSwzICsx LDggQEAKKzIwMTktMDctMDIgIFBhdWwgRWdnZXJ0ICA8ZWdnZXJ0QGNzLnVjbGEuZWR1Pgor CisJdmVyaWZ5OiBkb2N1bWVudCDigJhhc3N1bWXigJkgYmV0dGVyCisJKiBsaWIvdmVyaWZ5 Lmg6IFJld29yZCBkb2MgKEJ1ZyMzNjM3MCkuCisKIDIwMTktMDctMDIgIEJydW5vIEhhaWJs ZSAgPGJydW5vQGNsaXNwLm9yZz4KIAogCWxvY2FsY2hhcnNldCwgbmxfbGFuZ2luZm86IEZp eCByZXR1cm4gdmFsdWUgZm9yIFVURi04IGxvY2FsZXMgb24gTVNWQy4KZGlmZiAtLWdpdCBh L2xpYi92ZXJpZnkuaCBiL2xpYi92ZXJpZnkuaAppbmRleCBmOGU0ZWZmMDIuLjliOGUxZWQy MCAxMDA2NDQKLS0tIGEvbGliL3ZlcmlmeS5oCisrKyBiL2xpYi92ZXJpZnkuaApAQCAtMjU5 LDkgKzI1OSwxMSBAQCB0ZW1wbGF0ZSA8aW50IHc+CiAjIGRlZmluZSBfX2hhc19idWlsdGlu KHgpIDAKICNlbmRpZgogCi0vKiBBc3N1bWUgdGhhdCBSIGFsd2F5cyBob2xkcy4gIFRoaXMg bGV0cyB0aGUgY29tcGlsZXIgb3B0aW1pemUKLSAgIGFjY29yZGluZ2x5LiAgUiBzaG91bGQg bm90IGhhdmUgc2lkZS1lZmZlY3RzOyBpdCBtYXkgb3IgbWF5IG5vdCBiZQotICAgZXZhbHVh dGVkLiAgQmVoYXZpb3IgaXMgdW5kZWZpbmVkIGlmIFIgaXMgZmFsc2UuICAqLworLyogQXNz dW1lIHRoYXQgUiBhbHdheXMgaG9sZHMuICBCZWhhdmlvciBpcyB1bmRlZmluZWQgaWYgUiBp cyBmYWxzZSwKKyAgIGZhaWxzIHRvIGV2YWx1YXRlLCBvciBoYXMgc2lkZSBlZmZlY3RzLiAg QWx0aG91Z2ggYXNzdW1pbmcgUiBjYW4KKyAgIGhlbHAgYSBjb21waWxlciBnZW5lcmF0ZSBi ZXR0ZXIgY29kZSBvciBkaWFnbm9zdGljcywgcGVyZm9ybWFuY2UKKyAgIGNhbiBzdWZmZXIg aWYgUiB1c2VzIGhhcmQtdG8tb3B0aW1pemUgZmVhdHVyZXMgc3VjaCBhcyBmdW5jdGlvbgor ICAgY2FsbHMgbm90IGlubGluZWQgYnkgdGhlIGNvbXBpbGVyLiAgKi8KIAogI2lmIChfX2hh c19idWlsdGluIChfX2J1aWx0aW5fdW5yZWFjaGFibGUpIFwKICAgICAgfHwgNCA8IF9fR05V Q19fICsgKDUgPD0gX19HTlVDX01JTk9SX18pKQotLSAKMi4xNy4xCgo= --------------8B752DA5CDBF3730188CA762--