From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.bugs Subject: bug#34781: 27.0.50; integer in pcase sometimes compared by eq Date: Fri, 29 Mar 2019 00:03:01 +0100 Message-ID: <821c6aaec1660201230fe27a7e11105c70ccfe4f.camel@acm.org> References: <95f744d5-426d-1ce1-15fa-9c49aaf6f2f0@cs.ucla.edu> <3a02a3378a526c8706b33f36b85c003a82aa2aa1.camel@acm.org> <96bb53d6-c1dc-097a-fadd-252aa1a81313@cs.ucla.edu> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="=-D6eVshSVBH2Wfv84dpTl" Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="59296"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Evolution 3.30.5 (3.30.5-1.fc29) Cc: 34781-done@debbugs.gnu.org To: Paul Eggert , Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Mar 29 00:39:21 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.0:RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1h9ecD-000FKz-Jg for geb-bug-gnu-emacs@m.gmane.org; Fri, 29 Mar 2019 00:39:21 +0100 Original-Received: from localhost ([127.0.0.1]:43426 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h9ecC-0001fC-Cc for geb-bug-gnu-emacs@m.gmane.org; Thu, 28 Mar 2019 19:39:20 -0400 Original-Received: from eggs.gnu.org ([209.51.188.92]:42236) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1h9eKz-0001dn-3p for bug-gnu-emacs@gnu.org; Thu, 28 Mar 2019 19:21:34 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1h9e43-0002q1-VA for bug-gnu-emacs@gnu.org; Thu, 28 Mar 2019 19:04:05 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:49575) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1h9e42-0002pL-Ms for bug-gnu-emacs@gnu.org; Thu, 28 Mar 2019 19:04:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1h9e42-0005bf-Co for bug-gnu-emacs@gnu.org; Thu, 28 Mar 2019 19:04:02 -0400 Resent-From: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= Original-Sender: "Debbugs-submit" Resent-To: bug-gnu-emacs@gnu.org Resent-Date: Thu, 28 Mar 2019 23:04:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: cc-closed 34781 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Mail-Followup-To: 34781@debbugs.gnu.org, mattiase@acm.org, mattiase@acm.org Original-Received: via spool by 34781-done@debbugs.gnu.org id=D34781.155381419421477 (code D ref 34781); Thu, 28 Mar 2019 23:04:02 +0000 Original-Received: (at 34781-done) by debbugs.gnu.org; 28 Mar 2019 23:03:14 +0000 Original-Received: from localhost ([127.0.0.1]:34886 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h9e3F-0005aK-N9 for submit@debbugs.gnu.org; Thu, 28 Mar 2019 19:03:14 -0400 Original-Received: from mail158c50.megamailservers.eu ([91.136.10.168]:57262 helo=mail51c50.megamailservers.eu) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1h9e3D-0005a8-1Z for 34781-done@debbugs.gnu.org; Thu, 28 Mar 2019 19:03:12 -0400 X-Authenticated-User: mattiase@bredband.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=megamailservers.eu; s=maildub; t=1553814185; bh=tmhWRK4tKmRUAg8Ksjxs0n0HLuGXHmL5tG68fvOAZFk=; h=Subject:From:To:Cc:Date:In-Reply-To:References:From; b=P+0MjK+xeK8qbB5p3CHQmV4BvVk2sd4pglMMUD7ctCi3yEdm0LCMwGsYz4PjaWYjs QgJTm8n1UgK/eRoDVughHblg3gA3RkQkWOGptClBa00XlTHU7svG2dGju9IuDs3TJ0 5KeZc6/ilL4NdjRmB+vPv+4RC3q7mIwRo75K9qnU= Feedback-ID: mattiase@acm.or Original-Received: from dhcppc1 (c-e636e253.032-75-73746f71.bbcust.telenor.se [83.226.54.230]) (authenticated bits=0) by mail51c50.megamailservers.eu (8.14.9/8.13.1) with ESMTP id x2SN32nh020687; Thu, 28 Mar 2019 23:03:04 +0000 In-Reply-To: <96bb53d6-c1dc-097a-fadd-252aa1a81313@cs.ucla.edu> X-CTCH-RefID: str=0001.0A0B0214.5C9D52A9.0001, ss=1, re=0.000, recu=0.000, reip=0.000, cl=1, cld=1, fgs=0 X-CTCH-VOD: Unknown X-CTCH-Spam: Unknown X-CTCH-Score: 0.000 X-CTCH-Flags: 0 X-CTCH-ScoreCust: 0.000 X-CSC: 0 X-CHA: v=2.3 cv=a8seC3aF c=1 sm=1 tr=0 a=M+GU/qJco4WXjv8D6jB2IA==:117 a=M+GU/qJco4WXjv8D6jB2IA==:17 a=jpOVt7BSZ2e4Z31A5e1TngXxSK0=:19 a=uRpLYGgG48skAcfiyREA:9 a=QEXdDO2ut3YA:10 a=N54-gffFAAAA:8 a=VHc5oxmVatJqw9GWTC0A:9 a=z_NbR0onJZBUx5gw:21 a=Fi5E_JMxm2_FdcgX:21 a=B2y7HmGcmWMA:10 a=6l0D2HzqY3Epnrm8mE3f:22 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:156909 Archived-At: --=-D6eVshSVBH2Wfv84dpTl Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: 8bit tor 2019-03-28 klockan 15:38 -0700 skrev Paul Eggert: > On 3/28/19 3:20 PM, Mattias Engdegård wrote: > > I'll do the obvious (unless you beat me to it). > > When you do that, please also change the name of the local from memq- > ok > to memql-ok, for clarity. Thanks. Done. Thanks for your help! I'm attaching the mostly cleaned-up patch (minus the necessary doc changes), in case someone will see some use for it. --=-D6eVshSVBH2Wfv84dpTl Content-Disposition: attachment; filename*0=0001-Add-bounds-for-portable-fixnums-and-portable-fixnum-.pat; filename*1=ch Content-Type: text/x-patch; name="0001-Add-bounds-for-portable-fixnums-and-portable-fixnum-.patch"; charset="UTF-8" Content-Transfer-Encoding: base64 RnJvbSBhNjBlNzhiZTVkZmMyMTcyMzQ1ZDE0MGYyY2Q4ZGYwYTc3YmVhMGExIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiA9P1VURi04P3E/TWF0dGlhcz0yMEVuZ2RlZz1DMz1BNXJkPz0g PG1hdHRpYXNlQGFjbS5vcmc+CkRhdGU6IFRodSwgMjggTWFyIDIwMTkgMjI6MTI6MzcgKzAxMDAK U3ViamVjdDogW1BBVENIXSBBZGQgYm91bmRzIGZvciBwb3J0YWJsZSBmaXhudW1zLCBhbmQgcG9y dGFibGUtZml4bnVtLXAKClRoZXNlIGFyZSB1c2VmdWwgZm9yIG1hY3JvcyB0aGF0IG5lZWQgdG8g ZGV0ZWN0IHdoZXRoZXIgYSBudW1iZXIgaXMgYQpmaXhudW0gb24gYW55IG1hY2hpbmUsIHNvIHRo YXQgdGhlIGJ5dGVjb2RlIGJlY29tZXMgcG9ydGFibGUgKEJ1ZyMzNDc4MSkuCgoqIHNyYy9kYXRh LmMgKG1vc3QtcG9zaXRpdmUtcG9ydGFibGUtZml4bnVtLCBtb3N0LW5lZ2F0aXZlLXBvcnRhYmxl LWZpeG51bSk6CiogbGlzcC9zdWJyLmVsIChwb3J0YWJsZS1maXhudW0tcCk6Ck5ldy4KKiBldGMv TkVXUyAoTGlzcCBDaGFuZ2VzKTogTWVudGlvbiBwb3J0YWJsZS1maXhudW0tcC4KLS0tCiBldGMv TkVXUyAgICAgfCAgNSArKysrKwogbGlzcC9zdWJyLmVsIHwgIDUgKysrKysKIHNyYy9kYXRhLmMg ICB8IDI0ICsrKysrKysrKysrKysrKysrKysrKysrKwogMyBmaWxlcyBjaGFuZ2VkLCAzNCBpbnNl cnRpb25zKCspCgpkaWZmIC0tZ2l0IGEvZXRjL05FV1MgYi9ldGMvTkVXUwppbmRleCA3NDg2ZDZi Y2ZlLi4yYWIzYzViNGJiIDEwMDY0NAotLS0gYS9ldGMvTkVXUworKysgYi9ldGMvTkVXUwpAQCAt MTQyNCw2ICsxNDI0LDExIEBAIGxpa2UgJ2ZpbGUtYXR0cmlidXRlcycgdGhhdCBjb21wdXRlIGZp bGUgc2l6ZXMgYW5kIG90aGVyIGF0dHJpYnV0ZXMsCiBmdW5jdGlvbnMgbGlrZSAncHJvY2Vzcy1p ZCcgdGhhdCBjb21wdXRlIHByb2Nlc3MgSURzLCBhbmQgZnVuY3Rpb25zIGxpa2UKICd1c2VyLXVp ZCcgYW5kICdncm91cC1naWQnIHRoYXQgY29tcHV0ZSB1c2VyIGFuZCBncm91cCBJRHMuCiAKK1Np bmNlIHRoZSBzaXplIG9mIGZpeG51bXMgdmFyaWVzIGJldHdlZW4gcGxhdGZvcm1zLCB0aGUgbmV3 IHByZWRpY2F0ZQorJ3BvcnRhYmxlLWZpeG51bS1wJyBkZXRlcm1pbmVzIHdoZXRoZXIgYSBudW1i ZXIgaXMgYSBmaXhudW0gb24gYW55CittYWNoaW5lIHJ1bm5pbmcgdGhlIGN1cnJlbnQgRW1hY3Mg dmVyc2lvbi4gVGhlIGNvcnJlc3BvbmRpbmcgYm91bmRzCithcmUgJ21vc3QtbmVnYXRpdmUtcG9y dGFibGUtZml4bnVtJyBhbmQgJ21vc3QtbmVnYXRpdmUtcG9ydGFibGUtZml4bnVtJy4KKwogKysr CiAqKiBBbHRob3VnaCB0aGUgZGVmYXVsdCB0aW1lc3RhbXAgZm9ybWF0IGlzIHN0aWxsIChISSBM TyBVUyBQUyksCiBpdCBpcyBwbGFubmVkIHRvIGNoYW5nZSBpbiBhIGZ1dHVyZSBFbWFjcyB2ZXJz aW9uLCB0byBleHBsb2l0IGJpZ251bXMuCmRpZmYgLS1naXQgYS9saXNwL3N1YnIuZWwgYi9saXNw L3N1YnIuZWwKaW5kZXggZjFhMWRkZGQ4MS4uZWZhOWNkNDA2NSAxMDA2NDQKLS0tIGEvbGlzcC9z dWJyLmVsCisrKyBiL2xpc3Avc3Vici5lbApAQCAtMzc2LDYgKzM3NiwxMSBAQCBiaWdudW1wCiAg ICJSZXR1cm4gdCBpZiBPQkpFQ1QgaXMgYSBiaWdudW0uIgogICAoYW5kIChpbnRlZ2VycCBvYmpl Y3QpIChub3QgKGZpeG51bXAgb2JqZWN0KSkpKQogCisoZGVmdW4gcG9ydGFibGUtZml4bnVtLXAg KG9iamVjdCkKKyAgIlJldHVybiB0IGlmIE9CSkVDVCBpcyBhIGZpeG51bSBvbiBhbnkgbWFjaGlu ZSBydW5uaW5nIHRoaXMgRW1hY3MgdmVyc2lvbi4iCisgIChhbmQgKGludGVnZXJwIG9iamVjdCkK KyAgICAgICAoPD0gbW9zdC1uZWdhdGl2ZS1wb3J0YWJsZS1maXhudW0gb2JqZWN0IG1vc3QtcG9z aXRpdmUtcG9ydGFibGUtZml4bnVtKSkpCisKIChkZWZ1biBsc2ggKHZhbHVlIGNvdW50KQogICAi UmV0dXJuIFZBTFVFIHdpdGggaXRzIGJpdHMgc2hpZnRlZCBsZWZ0IGJ5IENPVU5ULgogSWYgQ09V TlQgaXMgbmVnYXRpdmUsIHNoaWZ0aW5nIGlzIGFjdHVhbGx5IHRvIHRoZSByaWdodC4KZGlmZiAt LWdpdCBhL3NyYy9kYXRhLmMgYi9zcmMvZGF0YS5jCmluZGV4IDE1YjYxMDZjZmUuLjZkNTBhMTRi ZGUgMTAwNjQ0Ci0tLSBhL3NyYy9kYXRhLmMKKysrIGIvc3JjL2RhdGEuYwpAQCAtNDExMCw2ICs0 MTEwLDMwIEBAIFRoaXMgdmFyaWFibGUgY2Fubm90IGJlIHNldDsgdHJ5aW5nIHRvIGRvIHNvIHdp bGwgc2lnbmFsIGFuIGVycm9yLiAgKi8pOwogICBWbW9zdF9uZWdhdGl2ZV9maXhudW0gPSBtYWtl X2ZpeG51bSAoTU9TVF9ORUdBVElWRV9GSVhOVU0pOwogICBtYWtlX3N5bWJvbF9jb25zdGFudCAo aW50ZXJuX2Nfc3RyaW5nICgibW9zdC1uZWdhdGl2ZS1maXhudW0iKSk7CiAKKyAgLyogVGhlIHNt YWxsZXN0IHBvcnRhYmxlIHZhbHVlIG9mIEVNQUNTX0lOVF9NQVguICAqLworICBpbnQgbGVhc3Rf ZW1hY3NfaW50X21heCA9IDIxNDc0ODM2NDc7ICAgLyogMioqMzEgLSAxICovCisKKyAgLyogTGFy Z2VzdCBhbmQgc21hbGxlc3QgdmFsdWVzIHRoYXQgYXJlIGd1YXJhbnRlZWQgdG8gYmUgcmVwcmVz ZW50YWJsZQorICAgICBhcyBmaXhudW1zIG9uIGFueSBtYWNoaW5lLiAgKi8KKyAgaW50IG1vc3Rf cG9zaXRpdmVfcG9ydGFibGVfZml4bnVtID0gbGVhc3RfZW1hY3NfaW50X21heCA+PiBJTlRUWVBF QklUUzsKKyAgaW50IG1vc3RfbmVnYXRpdmVfcG9ydGFibGVfZml4bnVtID0gLTEgLSBtb3N0X3Bv c2l0aXZlX3BvcnRhYmxlX2ZpeG51bTsKKworICBERUZWQVJfTElTUCAoIm1vc3QtcG9zaXRpdmUt cG9ydGFibGUtZml4bnVtIiwKKyAgICAgICAgICAgICAgIFZtb3N0X3Bvc2l0aXZlX3BvcnRhYmxl X2ZpeG51bSwKKyAgICAgICAgICAgICAgIGRvYzogLyogVGhlIGxhcmdlc3QgaW50ZWdlciByZXBy ZXNlbnRhYmxlIGFzIGEgZml4bnVtIG9uIGFueSBwbGF0Zm9ybS4KK1RoaXMgdmFyaWFibGUgY2Fu IGJlIHVzZWQgdG8gZW5zdXJlIHBvcnRhYmlsaXR5IG9mIGJ5dGVjb2RlIHRoYXQgd29ya3MKK3dp dGggZml4bnVtcy4gIEl0IGNhbm5vdCBiZSBzZXQ7IHRyeWluZyB0byBkbyBzbyB3aWxsIHNpZ25h bCBhbiBlcnJvci4gICovKTsKKyAgVm1vc3RfcG9zaXRpdmVfcG9ydGFibGVfZml4bnVtID0gbWFr ZV9maXhudW0gKG1vc3RfcG9zaXRpdmVfcG9ydGFibGVfZml4bnVtKTsKKyAgbWFrZV9zeW1ib2xf Y29uc3RhbnQgKGludGVybl9jX3N0cmluZyAoIm1vc3QtcG9zaXRpdmUtcG9ydGFibGUtZml4bnVt IikpOworCisgIERFRlZBUl9MSVNQICgibW9zdC1uZWdhdGl2ZS1wb3J0YWJsZS1maXhudW0iLAor ICAgICAgICAgICAgICAgVm1vc3RfbmVnYXRpdmVfcG9ydGFibGVfZml4bnVtLAorICAgICAgICAg ICAgICAgZG9jOiAvKiBUaGUgbGVhc3QgaW50ZWdlciByZXByZXNlbnRhYmxlIGFzIGEgZml4bnVt IG9uIGFueSBwbGF0Zm9ybS4KK1RoaXMgdmFyaWFibGUgY2FuIGJlIHVzZWQgdG8gZW5zdXJlIHBv cnRhYmlsaXR5IG9mIGJ5dGVjb2RlIHRoYXQgd29ya3MKK3dpdGggZml4bnVtcy4gIEl0IGNhbm5v dCBiZSBzZXQ7IHRyeWluZyB0byBkbyBzbyB3aWxsIHNpZ25hbCBhbiBlcnJvci4gICovKTsKKyAg Vm1vc3RfbmVnYXRpdmVfcG9ydGFibGVfZml4bnVtID0gbWFrZV9maXhudW0gKG1vc3RfbmVnYXRp dmVfcG9ydGFibGVfZml4bnVtKTsKKyAgbWFrZV9zeW1ib2xfY29uc3RhbnQgKGludGVybl9jX3N0 cmluZyAoIm1vc3QtbmVnYXRpdmUtcG9ydGFibGUtZml4bnVtIikpOworCiAgIERFRlNZTSAoUXdh dGNoZXJzLCAid2F0Y2hlcnMiKTsKICAgREVGU1lNIChRbWFrdW5ib3VuZCwgIm1ha3VuYm91bmQi KTsKICAgREVGU1lNIChRdW5sZXQsICJ1bmxldCIpOwotLSAKMi4yMC4xCgo= --=-D6eVshSVBH2Wfv84dpTl--