From unknown Sat Aug 09 20:34:49 2025 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.509 (Entity 5.509) Content-Type: text/plain; charset=utf-8 From: bug#21513 <21513@debbugs.gnu.org> To: bug#21513 <21513@debbugs.gnu.org> Subject: Status: assertion error in pop_fail_stack Reply-To: bug#21513 <21513@debbugs.gnu.org> Date: Sun, 10 Aug 2025 03:34:49 +0000 retitle 21513 assertion error in pop_fail_stack reassign 21513 grep submitter 21513 Hanno B=C3=B6ck severity 21513 normal thanks From debbugs-submit-bounces@debbugs.gnu.org Fri Sep 18 12:37:51 2015 Received: (at submit) by debbugs.gnu.org; 18 Sep 2015 16:37:51 +0000 Received: from localhost ([127.0.0.1]:37177 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZcyfW-0008TW-VC for submit@debbugs.gnu.org; Fri, 18 Sep 2015 12:37:51 -0400 Received: from eggs.gnu.org ([208.118.235.92]:44853) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZcyfV-0008TP-3W for submit@debbugs.gnu.org; Fri, 18 Sep 2015 12:37:49 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZcyfT-0004ux-RV for submit@debbugs.gnu.org; Fri, 18 Sep 2015 12:37:48 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:40629) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZcyfT-0004ur-Op for submit@debbugs.gnu.org; Fri, 18 Sep 2015 12:37:47 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:54859) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZcyfS-0004kQ-QK for bug-grep@gnu.org; Fri, 18 Sep 2015 12:37:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZcyfN-0004rU-Ir for bug-grep@gnu.org; Fri, 18 Sep 2015 12:37:46 -0400 Received: from zucker2.schokokeks.org ([178.63.68.90]:40238) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZcyfN-0004pz-DM for bug-grep@gnu.org; Fri, 18 Sep 2015 12:37:41 -0400 Received: from pc1 ([::ffff:94.144.63.231]) (AUTH: LOGIN hanno-default@schokokeks.org, SSL: TLSv1/SSLv3, 128bits, ECDHE-RSA-AES128-GCM-SHA256) by zucker.schokokeks.org with ESMTPSA; Fri, 18 Sep 2015 18:37:39 +0200 id 000000000000014F.0000000055FC3DD3.0000607F Date: Fri, 18 Sep 2015 18:37:57 +0200 From: Hanno =?UTF-8?B?QsO2Y2s=?= To: bug-grep@gnu.org Subject: assertion error in pop_fail_stack Message-ID: <20150918183757.6758bc70@pc1> X-Mailer: Claws Mail 3.12.0 (GTK+ 2.24.28; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="=_zucker.schokokeks.org-24705-1442594261-0001-2" X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x (no timestamps) [generic] X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.1 (----) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -4.1 (----) This is a MIME-formatted message. If you see this text it means that your E-mail software does not support MIME-formatted messages. --=_zucker.schokokeks.org-24705-1442594261-0001-2 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hi, This command grep -E '0|()0|\1|0' will cause an assert error: grep: regexec.c:1401: pop_fail_stack: Assertion `num >=3D 0' failed. Happens both in the latest release (2.21) and the latest git code. (this was found with american fuzzy lop) cu, --=20 Hanno B=C3=B6ck http://hboeck.de/ mail/jabber: hanno@hboeck.de GPG: BBB51E42 --=_zucker.schokokeks.org-24705-1442594261-0001-2 Content-Type: application/pgp-signature Content-Transfer-Encoding: 7bit Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCgAGBQJV/D3lAAoJEKWIAHK7tR5C2BMP/RldYA7yIbHTONjIIFvS8l8x rn8DRWews66d71+abs+le8ICKNYA6vjY34lhvQaGVuwqLT/JhU/F8WTZNIN5svIh hxsSFLJ4HJwtEo71qtXSaCxKShEYnqP8EN8ygYgrY7VHfqhE1eOvSseBcviXPXXW reMKQD4zbWqg3s7wjVfIEu7K5WbWEDuA1lzzgLoy7Kr+HG/mBwtN6140xUo000DQ KZFYgJjJ2rarR40nQcIxhkpsCGKoWJe2/YbvgMTCf7pjhxV/RBLETHDqZLBnqbX6 hn9KxOSEVn5CDrUy40gT4H3AZlkEDx339Tct2m7MOXInXNQ52FolIj8lseMz71Ai XqvOcTRm+w+P5Hojgvd4cZ4tcIaUVaJ09UcEkmR3SGDLgXVIJwlW83fqrsFxfxr0 YD9ByhKUqaYdEaZZyqPn+abB3ji1RNtvSIpl9AsnC5pRAfLE0r6GeAhIdPbREOOl cLbZniKKfnVWW1aE+KHIvpk85IcFDT08oCaPzRfCo45qvfa7D2yrQc8WDfWF9hit 7GtGPDcwyuHnQbt33VZ8upVFjO+k1Ich/I0Nlh3TUl2rdNhdMpGXzfCGzowc9L7H tPERx8oqx9CDs8jk2uJsC/yAcVy/itSa2KAVWpFcl9Uq/b//DsswXVVUitjXqIqE UmJouS0IHsneYejiOZCB =Wx1v -----END PGP SIGNATURE----- --=_zucker.schokokeks.org-24705-1442594261-0001-2-- From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 19 21:46:32 2015 Received: (at 21513) by debbugs.gnu.org; 20 Sep 2015 01:46:32 +0000 Received: from localhost ([127.0.0.1]:37986 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZdTi3-0007Zq-W5 for submit@debbugs.gnu.org; Sat, 19 Sep 2015 21:46:32 -0400 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:54510) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZdTi1-0007Zh-3X for 21513@debbugs.gnu.org; Sat, 19 Sep 2015 21:46:30 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 4D36616112A; Sat, 19 Sep 2015 18:46:28 -0700 (PDT) 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 zN2Uz4XSk_TU; Sat, 19 Sep 2015 18:46:26 -0700 (PDT) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id B858B16111C; Sat, 19 Sep 2015 18:46:26 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 a-BxSgCQ-5OT; Sat, 19 Sep 2015 18:46:26 -0700 (PDT) Received: from [192.168.1.9] (pool-100-32-155-148.lsanca.fios.verizon.net [100.32.155.148]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 943BE1610AD; Sat, 19 Sep 2015 18:46:26 -0700 (PDT) Subject: Re: bug#21513: assertion error in pop_fail_stack To: =?UTF-8?Q?Hanno_B=c3=b6ck?= , 21513@debbugs.gnu.org References: <20150918183757.6758bc70@pc1> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: <55FE0FEE.1060505@cs.ucla.edu> Date: Sat, 19 Sep 2015 18:46:22 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <20150918183757.6758bc70@pc1> Content-Type: multipart/mixed; boundary="------------030205040109090204070806" X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 21513 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) This is a multi-part message in MIME format. --------------030205040109090204070806 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Thanks for reporting that. It's a bug in the glibc regular expression matcher, and as such will need a glibc fix. I plan to propose a patch there. In the meantime I fixed the Gnulib replacement for the matcher, here: http://git.savannah.gnu.org/cgit/gnulib.git/commit/?id=5513b40999149090987a0341c018d05d3eea1272 and have installed the attached patches to GNU grep, so that the bug should be fixed if you configure grep using the --with-included-regex option. --------------030205040109090204070806 Content-Type: text/plain; charset=UTF-8; name="0001-build-update-gnulib-submodule-to-latest.patch" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="0001-build-update-gnulib-submodule-to-latest.patch" RnJvbSBlMjg5YjRmY2U2MmJmODA1Yzk5OWJlOGEwYzdhNWU5NzZjZDFjOWUzIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIEVnZ2VydCA8ZWdnZXJ0QGNzLnVjbGEuZWR1 PgpEYXRlOiBTYXQsIDE5IFNlcCAyMDE1IDEzOjU5OjQxIC0wNzAwClN1YmplY3Q6IFtQQVRD SCAxLzJdIGJ1aWxkOiB1cGRhdGUgZ251bGliIHN1Ym1vZHVsZSB0byBsYXRlc3QKCi0tLQog Z251bGliIHwgMiArLQogMSBmaWxlIGNoYW5nZWQsIDEgaW5zZXJ0aW9uKCspLCAxIGRlbGV0 aW9uKC0pCgpkaWZmIC0tZ2l0IGEvZ251bGliIGIvZ251bGliCmluZGV4IDVhNWE5MzguLjU1 MTNiNDAgMTYwMDAwCi0tLSBhL2dudWxpYgorKysgYi9nbnVsaWIKQEAgLTEgKzEgQEAKLVN1 YnByb2plY3QgY29tbWl0IDVhNWE5Mzg4ZTkzZDAwYTdiY2I5NzcwMGE3YTU1MmJlZjIwMzQz ZmQKK1N1YnByb2plY3QgY29tbWl0IDU1MTNiNDA5OTkxNDkwOTA5ODdhMDM0MWMwMThkMDVk M2VlYTEyNzIKLS0gCjIuMS4wCgo= --------------030205040109090204070806 Content-Type: text/plain; charset=UTF-8; name="0002-Add-test-for-pop_fail_stack-bug.patch" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="0002-Add-test-for-pop_fail_stack-bug.patch" RnJvbSAyZjA2YjcyYTkwOWMzNmIzZWEwZjkwMTRhYTEzZTRmYWY4NzRjMzI5IE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIEVnZ2VydCA8ZWdnZXJ0QGNzLnVjbGEuZWR1 PgpEYXRlOiBTYXQsIDE5IFNlcCAyMDE1IDE0OjE3OjU1IC0wNzAwClN1YmplY3Q6IFtQQVRD SCAyLzJdIEFkZCB0ZXN0IGZvciBwb3BfZmFpbF9zdGFjayBidWcKTUlNRS1WZXJzaW9uOiAx LjAKQ29udGVudC1UeXBlOiB0ZXh0L3BsYWluOyBjaGFyc2V0PVVURi04CkNvbnRlbnQtVHJh bnNmZXItRW5jb2Rpbmc6IDhiaXQKClByb2JsZW0gcmVwb3J0ZWQgYnkgSGFubm8gQsO2Y2sg aW46IGh0dHA6Ly9idWdzLmdudS5vcmcvMjE1MTMKSWYgeW91IHVzZSAtLXdpdGgtaW5jbHVk ZWQtcmVnZXggdGhlIGJ1ZyBmaXggaXMgaW4gZ251bGliLCBoZXJlOgpodHRwOi8vZ2l0LnNh dmFubmFoLmdudS5vcmcvY2dpdC9nbnVsaWIuZ2l0L2NvbW1pdC8/aWQ9NTUxM2I0MDk5OTE0 OTA5MDk4N2EwMzQxYzAxOGQwNWQzZWVhMTI3MgpJZiB5b3UgdXNlIGdsaWJjLCB0aGUgYnVn IGZpeCBoYXMgbm90IGJlZW4gaW5zdGFsbGVkIHlldC4KKiB0ZXN0cy9NYWtlZmlsZS5hbSAo WEZBSUxfVEVTVFMpOiBBZGQgYmFja3JlZi1hbHQgaWYgc3lzdGVtIG1hdGNoZXIuCihURVNU Uyk6IEFkZCBiYWNrcmVmLWFsdC4KKiB0ZXN0cy9iYWNrcmVmLWFsdDogTmV3IGZpbGUuCiog dGVzdHMvdHJpcGxlLWJhY2tyZWY6IFJlbW92ZSB1bnVzZWQgdmFyLgpEb24ndCBza2lwIGlm IHRlc3RlZCB3aXRoIGdsaWJjLCBhcyBNYWtlZmlsZS5hbSBub3cgaGFuZGxlcyB0aGlzLgot LS0KIHRlc3RzL01ha2VmaWxlLmFtICAgIHwgMTEgKysrKysrKysrKysKIHRlc3RzL2JhY2ty ZWYtYWx0ICAgIHwgMjcgKysrKysrKysrKysrKysrKysrKysrKysrKysrCiB0ZXN0cy90cmlw bGUtYmFja3JlZiB8IDE3IC0tLS0tLS0tLS0tLS0tLS0tCiAzIGZpbGVzIGNoYW5nZWQsIDM4 IGluc2VydGlvbnMoKyksIDE3IGRlbGV0aW9ucygtKQogY3JlYXRlIG1vZGUgMTAwNzU1IHRl c3RzL2JhY2tyZWYtYWx0CgpkaWZmIC0tZ2l0IGEvdGVzdHMvTWFrZWZpbGUuYW0gYi90ZXN0 cy9NYWtlZmlsZS5hbQppbmRleCBjOTVkNWE5Li5kMzc5ODIxIDEwMDY0NAotLS0gYS90ZXN0 cy9NYWtlZmlsZS5hbQorKysgYi90ZXN0cy9NYWtlZmlsZS5hbQpAQCAtMjQsMTYgKzI0LDI3 IEBAIEFNX0xERkxBR1MgPSAkKElHTk9SRV9VTlVTRURfTElCUkFSSUVTX0NGTEFHUykKIExE QUREID0gLi4vbGliL2xpYmdyZXB1dGlscy5hICQoTElCSU5UTCkgLi4vbGliL2xpYmdyZXB1 dGlscy5hCiBkZmFfbWF0Y2hfYXV4X0xEQUREID0gLi4vc3JjL2RmYS4kKE9CSkVYVCkgJChM REFERCkKIAorIyBUaGUgdHJpcGxlLWJhY2tyZWYgdGVzdCBpcyBleHBlY3RlZCB0byBmYWls IHdpdGggYm90aCB0aGUgc3lzdGVtCisjIG1hdGNoZXIgKGkuZS4sIHdpdGggZ2xpYmMpIGFu ZCB3aXRoIHRoZSBpbmNsdWRlZCBtYXRjaGVyLgorIyBCb3RoIG1hdGNoZXJzIG5lZWQgdG8g YmUgZml4ZWQuCisjIEZJWE1FLTIwMTU6IFJlbW92ZSB0aGlzIG9uY2UgdGhlIGdsaWJjIGFu ZCBnbnVsaWIgYnVncyBhcmUgZml4ZWQuCiBYRkFJTF9URVNUUyA9IHRyaXBsZS1iYWNrcmVm CiAKICMgRXF1aXZhbGVuY2UgY2xhc3NlcyBhcmUgb25seSBzdXBwb3J0ZWQgd2hlbiB1c2lu ZyB0aGUgc3lzdGVtCiAjIG1hdGNoZXIgKHdoaWNoIG1lYW5zIG9ubHkgd2l0aCBnbGliYyku CisjIFRoZSBpbmNsdWRlZCBtYXRjaGVyIG5lZWRzIHRvIGJlIGZpeGVkLgorIyBGSVhNRS0y MDE1OiBSZW1vdmUgdGhpcyBvbmNlIHRoZSBnbnVsaWIgYnVnIGlzIGZpeGVkLgogaWYgVVNF X0lOQ0xVREVEX1JFR0VYCiBYRkFJTF9URVNUUyArPSBlcXVpdi1jbGFzc2VzCitlbHNlCisj IFRoZSBiYWNrc2xhc2gtYWx0IHRlc3QgZmFpbHMgZm9yIGdsaWJjLCB3aGljaCBuZWVkcyB0 byBiZSBmaXhlZC4KKyMgRklYTUUtMjAxNTogUmVtb3ZlIHRoaXMgb25jZSB0aGUgZ2xpYmMg YnVnIGlzIGZpeGVkLgorWEZBSUxfVEVTVFMgKz0gYmFja3JlZi1hbHQKIGVuZGlmCiAKIFRF U1RTID0JCQkJCQlcCiAgIGJhY2tyZWYJCQkJCVwKKyAgYmFja3JlZi1hbHQJCQkJCVwKICAg YmFja3JlZi1tdWx0aWJ5dGUtc2xvdwkJCVwKICAgYmFja3JlZi13b3JkCQkJCQlcCiAgIGJh Y2tzbGFzaC1zLWFuZC1yZXBldGl0aW9uLW9wZXJhdG9ycwkJXApkaWZmIC0tZ2l0IGEvdGVz dHMvYmFja3JlZi1hbHQgYi90ZXN0cy9iYWNrcmVmLWFsdApuZXcgZmlsZSBtb2RlIDEwMDc1 NQppbmRleCAwMDAwMDAwLi5kNmE4ZjJlCi0tLSAvZGV2L251bGwKKysrIGIvdGVzdHMvYmFj a3JlZi1hbHQKQEAgLTAsMCArMSwyNyBAQAorIyEgL2Jpbi9zaAorIyBUZXN0IGZvciBhIGJ1 ZyBpbiBnbGliYydzIHJlZ2V4IGNvZGUgYXMgb2YgMjAxNS0wOS0xOS4KKyMKKyMgQ29weXJp Z2h0IDIwMTUgRnJlZSBTb2Z0d2FyZSBGb3VuZGF0aW9uLCBJbmMuCisjCisjIENvcHlpbmcg YW5kIGRpc3RyaWJ1dGlvbiBvZiB0aGlzIGZpbGUsIHdpdGggb3Igd2l0aG91dCBtb2RpZmlj YXRpb24sCisjIGFyZSBwZXJtaXR0ZWQgaW4gYW55IG1lZGl1bSB3aXRob3V0IHJveWFsdHkg cHJvdmlkZWQgdGhlIGNvcHlyaWdodAorIyBub3RpY2UgYW5kIHRoaXMgbm90aWNlIGFyZSBw cmVzZXJ2ZWQuCisKKy4gIiR7c3JjZGlyPS59L2luaXQuc2giOyBwYXRoX3ByZXBlbmRfIC4u L3NyYworCitlY2hvIGFhID4gaW4gfHwgZnJhbWV3b3JrX2ZhaWx1cmVfCisKK2ZhaWw9MAor CitncmVwIC1FICdifCguKWJ8XDF8YicgaW4gPm91dAorc3RhdHVzPSQ/CisjIFBPU0lYIGlz buKAmXQgY2xlYXIgd2hldGhlciB0aGlzIHJlZ3VsYXIgZXhwcmVzc2lvbiBzaG91bGQgYmUg aW52YWxpZCwKKyMgKGJlY2F1c2UgdGhlIFwxIGlzIG91dCBvZiByYW5nZSBmb3IgUkVzIHRo YXQgY291bGQgcHJlY2VkZSBpdCkKKyMgb3IgdmFsaWQgYnV0IFwxIHNob3VsZCBub3QgbWF0 Y2guICBBbGxvdyBlaXRoZXIgaW50ZXJwcmV0YXRpb24uCit0ZXN0ICRzdGF0dXMgLWVxIDIg fHwgdGVzdCAkc3RhdHVzIC1lcSAxIHx8IGZhaWw9MQorCitncmVwIC1FICcwfCgpMHxcMXww JyBpbiA+b3V0CitzdGF0dXM9JD8KK3Rlc3QgJHN0YXR1cyAtZXEgMiB8fCB0ZXN0ICRzdGF0 dXMgLWVxIDEgfHwgZmFpbD0xCisKK0V4aXQgJGZhaWwKZGlmZiAtLWdpdCBhL3Rlc3RzL3Ry aXBsZS1iYWNrcmVmIGIvdGVzdHMvdHJpcGxlLWJhY2tyZWYKaW5kZXggZDNjZjVjMy4uMDM1 YzU3NiAxMDA3NTUKLS0tIGEvdGVzdHMvdHJpcGxlLWJhY2tyZWYKKysrIGIvdGVzdHMvdHJp cGxlLWJhY2tyZWYKQEAgLTksMjMgKzksNiBAQAogCiAuICIke3NyY2Rpcj0ufS9pbml0LnNo IjsgcGF0aF9wcmVwZW5kXyAuLi9zcmMKIAotZmFpbHVyZXM9MAotCi0jIEZJWE1FLTIwMTQ6 IG9uY2UgdGhlIGdsaWJjIGJ1ZyBpcyBmaXhlZCwgcmVtb3ZlIHRoaXMgc2tpcC1pZi1nbGli YyBndWFyZC4KLSMgU2luY2UgdGhpcyB0ZXN0cyBmb3IgYW4gYXMteWV0LXVuZml4ZWQgYnVn IGluIGdsaWJjLAotIyB3ZSBleHBlY3QgaXQgdG8gZmFpbCBvbiBzdWNoIHN5c3RlbXMuCi0j IFNpbmNlIHdlIGV4cGVjdCB0aGlzIHRlc3QgdG8gZmFpbCwgd2UgbXVzdCBza2lwIHRoaXMg dGVzdCBvbgotIyBub24tZ2xpYmMgc3lzdGVtcy4KLWNhdCA8PFxFT0YgPiBnbGliYy5jCi0j aW5jbHVkZSA8ZmVhdHVyZXMuaD4KLSNpZiBkZWZpbmVkIF9fR05VX0xJQlJBUllfXyAmJiBf X0dMSUJDX18gPj0gMgotI2Vsc2UKLSJydW4gdGhpcyB0ZXN0IG9ubHkgd2l0aCBnbGliYyIK LSNlbmRpZgotRU9GCi0kQ0MgLWMgZ2xpYmMuYyBcCi0gIHx8IHNraXBfICd0aGlzIHRlc3Qg cnVucyBvbmx5IG9uIHN5c3RlbXMgd2l0aCBnbGliYycKLQogZWNobyBhID4gaW4gfHwgZnJh bWV3b3JrX2ZhaWx1cmVfCiAKIGZhaWw9MAotLSAKMi4xLjAKCg== --------------030205040109090204070806-- From debbugs-submit-bounces@debbugs.gnu.org Sat Sep 19 22:17:14 2015 Received: (at 21513) by debbugs.gnu.org; 20 Sep 2015 02:17:14 +0000 Received: from localhost ([127.0.0.1]:38007 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZdUBl-0008Jf-RK for submit@debbugs.gnu.org; Sat, 19 Sep 2015 22:17:14 -0400 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:55069) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZdUBj-0008JX-Qf for 21513@debbugs.gnu.org; Sat, 19 Sep 2015 22:17:12 -0400 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 355ED161123; Sat, 19 Sep 2015 19:17:11 -0700 (PDT) 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 LNgO9_-uxG74; Sat, 19 Sep 2015 19:17:10 -0700 (PDT) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 3707F16112A; Sat, 19 Sep 2015 19:17:10 -0700 (PDT) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 2mpSsdfRS7Xi; Sat, 19 Sep 2015 19:17:10 -0700 (PDT) Received: from [192.168.1.9] (pool-100-32-155-148.lsanca.fios.verizon.net [100.32.155.148]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 0B509161123; Sat, 19 Sep 2015 19:17:10 -0700 (PDT) Subject: Re: bug#21513: assertion error in pop_fail_stack To: =?UTF-8?Q?Hanno_B=c3=b6ck?= , 21513@debbugs.gnu.org References: <20150918183757.6758bc70@pc1> <55FE0FEE.1060505@cs.ucla.edu> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: <55FE1725.4030600@cs.ucla.edu> Date: Sat, 19 Sep 2015 19:17:09 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 In-Reply-To: <55FE0FEE.1060505@cs.ucla.edu> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 21513 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) Paul Eggert wrote: > It's a bug in the glibc regular expression matcher, > and as such will need a glibc fix. I plan to propose a patch there. I created glibc bug report BZ#18986 about this, and put in a pointer to the Gnulib patch. Hope that's enough to get it fixed in glibc, eventually. https://sourceware.org/bugzilla/show_bug.cgi?id=18986 From debbugs-submit-bounces@debbugs.gnu.org Wed Feb 24 14:42:23 2016 Received: (at control) by debbugs.gnu.org; 24 Feb 2016 19:42:23 +0000 Received: from localhost ([127.0.0.1]:44209 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYfKJ-0004yp-Ge for submit@debbugs.gnu.org; Wed, 24 Feb 2016 14:42:23 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:60427) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYfKI-0004yd-0S for control@debbugs.gnu.org; Wed, 24 Feb 2016 14:42:22 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 2434E160FD2 for ; Wed, 24 Feb 2016 11:42:15 -0800 (PST) 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 3y10kbGumS-7 for ; Wed, 24 Feb 2016 11:42:15 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 31640160FD3 for ; Wed, 24 Feb 2016 11:42:15 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 O-pwKOuRWFts for ; Wed, 24 Feb 2016 11:42:15 -0800 (PST) Received: from penguin.cs.ucla.edu (Penguin.CS.UCLA.EDU [131.179.64.200]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 19AAD160FD2 for ; Wed, 24 Feb 2016 11:42:15 -0800 (PST) To: control@debbugs.gnu.org From: Paul Eggert Subject: 21513 and 22793 are the same Organization: UCLA Computer Science Department Message-ID: <56CE0793.2060007@cs.ucla.edu> Date: Wed, 24 Feb 2016 11:42:11 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) forcemerge 21513 22793 From debbugs-submit-bounces@debbugs.gnu.org Thu Feb 25 02:55:37 2016 Received: (at control) by debbugs.gnu.org; 25 Feb 2016 07:55:37 +0000 Received: from localhost ([127.0.0.1]:44721 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYqlt-0006FQ-MI for submit@debbugs.gnu.org; Thu, 25 Feb 2016 02:55:37 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:33539) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYqlr-0006FB-3V for control@debbugs.gnu.org; Thu, 25 Feb 2016 02:55:35 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 01236160D55 for ; Wed, 24 Feb 2016 23:55:29 -0800 (PST) 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 33-5DGM9GYVx for ; Wed, 24 Feb 2016 23:55:28 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 5AD73160FD5 for ; Wed, 24 Feb 2016 23:55:28 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 xLzcXpj_u5DA for ; Wed, 24 Feb 2016 23:55:28 -0800 (PST) Received: from [192.168.1.9] (pool-100-32-155-148.lsanca.fios.verizon.net [100.32.155.148]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 3BBFE160D55 for ; Wed, 24 Feb 2016 23:55:28 -0800 (PST) To: control@debbugs.gnu.org From: Paul Eggert Subject: unmerge 22793 Organization: UCLA Computer Science Department Message-ID: <56CEB370.8050503@cs.ucla.edu> Date: Wed, 24 Feb 2016 23:55:28 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) unmerge 22793 thanks I merged this one with 21513 by mistake. From debbugs-submit-bounces@debbugs.gnu.org Thu Feb 25 03:02:03 2016 Received: (at 21513) by debbugs.gnu.org; 25 Feb 2016 08:02:03 +0000 Received: from localhost ([127.0.0.1]:44726 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYqs7-0007zd-9Y for submit@debbugs.gnu.org; Thu, 25 Feb 2016 03:02:03 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:33707) by debbugs.gnu.org with esmtp (Exim 4.84) (envelope-from ) id 1aYqs4-0007tl-P1; Thu, 25 Feb 2016 03:02:01 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 2B861160D55; Thu, 25 Feb 2016 00:01:54 -0800 (PST) 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 XJShuiUVWj62; Thu, 25 Feb 2016 00:01:52 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 6FF07160FD5; Thu, 25 Feb 2016 00:01:52 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 n7ucaZGZzzdc; Thu, 25 Feb 2016 00:01:52 -0800 (PST) Received: from [192.168.1.9] (pool-100-32-155-148.lsanca.fios.verizon.net [100.32.155.148]) by zimbra.cs.ucla.edu (Postfix) with ESMTPSA id 3C4C5160D55; Thu, 25 Feb 2016 00:01:52 -0800 (PST) Subject: Re: bug#22793: grep -E assertion failure with back references To: arnold@skeeve.com, santiagorr@riseup.net, jim@meyering.net References: <20160224161854.GA20452@riseup.net> <56CE08AF.2080507@cs.ucla.edu> <201602250612.u1P6CAYx022498@freefriends.org> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: <56CEB4F0.6070900@cs.ucla.edu> Date: Thu, 25 Feb 2016 00:01:52 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.5.1 MIME-Version: 1.0 In-Reply-To: <201602250612.u1P6CAYx022498@freefriends.org> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Score: -0.0 (/) X-Debbugs-Envelope-To: 21513 Cc: 22793@debbugs.gnu.org, 186568@bugs.debian.org, 21513@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) arnold@skeeve.com wrote: > Paul Eggert wrote: > >> With recent 'grep' you can work around the problem by configuring >> --with-included-regex. > > Not so. I did a fresh > > ./boostrap > ./configure --with-included-regex > make > > and it still core dumps: > > $ echo abc | ./src/grep -E '(.*)(.*)(.*)\3\2\1' > grep: regexec.c:1413: pop_fail_stack: Assertion `((Idx) (num) < ((Idx) -2))' failed. > Aborted (core dumped) > > I looked at it in a debugger fs->num before the --fs->num executes looks to > be -1. Sorry, you're right. I got confused into thinking that grep Bug#22793 and grep Bug#21513 are the same bugs, but they're not. I have unmerged them. This is still a glibc bug, not a grep bug; it's just that we don't have a fix. grep Bug#21513 is indeed fixed by configuring --with-included-regex. From debbugs-submit-bounces@debbugs.gnu.org Sun Dec 22 20:09:19 2019 Received: (at 21513-done) by debbugs.gnu.org; 23 Dec 2019 01:09:19 +0000 Received: from localhost ([127.0.0.1]:50395 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ijCDn-0002Xd-Lp for submit@debbugs.gnu.org; Sun, 22 Dec 2019 20:09:19 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:42810) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ijCDl-0002XR-TR for 21513-done@debbugs.gnu.org; Sun, 22 Dec 2019 20:09:18 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 771691600F1; Sun, 22 Dec 2019 17:09:12 -0800 (PST) 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 khNQGDyymQSe; Sun, 22 Dec 2019 17:09:11 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id D3272160158; Sun, 22 Dec 2019 17:09:11 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 mArLjvCCTzRB; Sun, 22 Dec 2019 17:09:11 -0800 (PST) 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 AF4911600F1; Sun, 22 Dec 2019 17:09:11 -0800 (PST) Subject: Re: assertion error in pop_fail_stack From: Paul Eggert To: =?UTF-8?Q?Hanno_B=c3=b6ck?= References: <20160224161854.GA20452@riseup.net> <56CE08AF.2080507@cs.ucla.edu> <201602250612.u1P6CAYx022498@freefriends.org> <56CEB4F0.6070900@cs.ucla.edu> Organization: UCLA Computer Science Department Message-ID: <27445fd2-5990-7e41-0e47-15290da7d1a6@cs.ucla.edu> Date: Sun, 22 Dec 2019 17:09:11 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.2.2 MIME-Version: 1.0 In-Reply-To: <56CEB4F0.6070900@cs.ucla.edu> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513-done Cc: 21513-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) As Bug#21513 is now fixed both in Gnulib (which grep uses when configured --with-included-regex) and in Glibc (which grep uses when configured --without-included-regex) I am marking the bug report as done. From debbugs-submit-bounces@debbugs.gnu.org Wed Jan 08 09:14:50 2020 Received: (at 21513) by debbugs.gnu.org; 8 Jan 2020 14:14:50 +0000 Received: from localhost ([127.0.0.1]:49895 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ipC6k-0007Jx-AU for submit@debbugs.gnu.org; Wed, 08 Jan 2020 09:14:50 -0500 Received: from mx2.suse.de ([195.135.220.15]:52392) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ipC6j-0007Je-Ao for 21513@debbugs.gnu.org; Wed, 08 Jan 2020 09:14:49 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id E94E7B181; Wed, 8 Jan 2020 14:14:42 +0000 (UTC) From: Andreas Schwab To: 21513@debbugs.gnu.org Subject: Re: bug#21513: assertion error in pop_fail_stack References: <20160224161854.GA20452@riseup.net> <56CE08AF.2080507@cs.ucla.edu> <201602250612.u1P6CAYx022498@freefriends.org> <56CEB4F0.6070900@cs.ucla.edu> <27445fd2-5990-7e41-0e47-15290da7d1a6@cs.ucla.edu> X-Yow: YOW!! Everybody out of the GENETIC POOL! Date: Wed, 08 Jan 2020 15:14:41 +0100 In-Reply-To: <27445fd2-5990-7e41-0e47-15290da7d1a6@cs.ucla.edu> (Paul Eggert's message of "Sun, 22 Dec 2019 17:09:11 -0800") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 Cc: eggert@cs.ucla.edu, hanno@hboeck.de X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) On Dez 22 2019, Paul Eggert wrote: > As Bug#21513 is now fixed both in Gnulib (which grep uses when configured > --with-included-regex) and in Glibc (which grep uses when configured > --without-included-regex) I am marking the bug report as done. tests/triple-backref now runs forever. Andreas. -- Andreas Schwab, SUSE Labs, schwab@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 18 09:44:57 2020 Received: (at 21513) by debbugs.gnu.org; 18 Jan 2020 14:44:57 +0000 Received: from localhost ([127.0.0.1]:40747 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ispLM-0002SK-Uw for submit@debbugs.gnu.org; Sat, 18 Jan 2020 09:44:57 -0500 Received: from mx2.suse.de ([195.135.220.15]:47750) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ispLL-0002S3-4g for 21513@debbugs.gnu.org; Sat, 18 Jan 2020 09:44:55 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 5965CB239 for <21513@debbugs.gnu.org>; Sat, 18 Jan 2020 14:44:21 +0000 (UTC) To: 21513@debbugs.gnu.org From: =?UTF-8?Q?Martin_Li=c5=a1ka?= Subject: bug#21513 Message-ID: Date: Sat, 18 Jan 2020 15:44:20 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) I can confirm that it never finishes on i586. I would recommend to replace DEBUG_ASSERT (num >= 0); which expands to: ((num >= 0) ? (void) 0 : __builtin_unreachable ()); into: if (num < 0) __builtin_abort (); From GCC documentation: If control flow reaches the point of the __builtin_unreachable, the program is undefined. In this case it loops forever. Martin From debbugs-submit-bounces@debbugs.gnu.org Sat Jan 18 17:16:56 2020 Received: (at 21513) by debbugs.gnu.org; 18 Jan 2020 22:16:57 +0000 Received: from localhost ([127.0.0.1]:42429 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iswOm-0003TF-M2 for submit@debbugs.gnu.org; Sat, 18 Jan 2020 17:16:56 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:44184) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iswOk-0003T0-7t for 21513@debbugs.gnu.org; Sat, 18 Jan 2020 17:16:55 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 8EEBA16007A; Sat, 18 Jan 2020 14:16:47 -0800 (PST) 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 r0xlVHDbgzqS; Sat, 18 Jan 2020 14:16:46 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id A77DB16007E; Sat, 18 Jan 2020 14:16:46 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 xZi8afDvDUpG; Sat, 18 Jan 2020 14:16:46 -0800 (PST) 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 73B9216007A; Sat, 18 Jan 2020 14:16:46 -0800 (PST) Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) To: =?UTF-8?Q?Martin_Li=c5=a1ka?= References: <20150918183757.6758bc70@pc1> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: Date: Sat, 18 Jan 2020 14:16:45 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 Cc: Andreas Schwab , 21513@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) On 1/18/20 6:44 AM, Martin Li=C5=A1ka wrote: > I can confirm that it never finishes on i586. I can't reproduce the problem, either on Ubuntu 18.04.3 x86-64 (GCC Ubunt= u=20 7.4.0-1ubuntu1~18.04.1) or on Fedora 31 (GCC 9.2.1 20190827 x86-64 (Red H= at=20 9.2.1-1)). I did what should have been the equivalent of: git clone https://git.savannah.gnu.org/git/grep.git # This is commit 23bf27015e0cc45d0012f54b8e24ac19fdca89f7. cd grep ./bootstrap ./configure --with-included-regex CC=3D'gcc -m32' make make check and it worked for me; the triple-backref test had an XFAIL and did not lo= op. Can=20 you send me more-detailed instructions for how to reproduce the bug? > I would recommend to replace=C2=A0=C2=A0 DEBUG_ASSERT (num >=3D 0); > which expands to: > =C2=A0 ((num >=3D 0) ? (void) 0 : __builtin_unreachable ()); >=20 > into: >=20 > =C2=A0 if (num < 0) > =C2=A0=C2=A0=C2=A0 __builtin_abort (); The regexec.c code doesn't abort, I guess under the theory that one is su= pposed=20 to fix the code than insert runtime assertions that slow things down. You= can=20 compile with -DDEBUG if you want it to abort, but be prepared for other g= rep=20 tests to fail if you do so. Admittedly this is a messy area. From unknown Sat Aug 09 20:34:49 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: Did not alter fixed versions and reopened. Date: Sat, 18 Jan 2020 22:27:01 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # Did not alter fixed versions and reopened. thanks # This fakemail brought to you by your local debbugs # administrator From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 20 05:49:33 2020 Received: (at 21513) by debbugs.gnu.org; 20 Jan 2020 10:49:33 +0000 Received: from localhost ([127.0.0.1]:44420 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUcb-0004pS-FP for submit@debbugs.gnu.org; Mon, 20 Jan 2020 05:49:33 -0500 Received: from mx2.suse.de ([195.135.220.15]:35058) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUcV-0004pA-FG for 21513@debbugs.gnu.org; Mon, 20 Jan 2020 05:49:27 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 3DD88B36D; Mon, 20 Jan 2020 10:49:16 +0000 (UTC) Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) To: Paul Eggert References: <20150918183757.6758bc70@pc1> From: =?UTF-8?Q?Martin_Li=c5=a1ka?= Message-ID: <349a3a48-1951-408a-1398-8870fa56b3a9@suse.cz> Date: Mon, 20 Jan 2020 11:49:15 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------9C3513EE6FEBC40D4ACEF2B4" Content-Language: en-US X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 Cc: Andreas Schwab , 21513@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) This is a multi-part message in MIME format. --------------9C3513EE6FEBC40D4ACEF2B4 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit On 1/18/20 11:16 PM, Paul Eggert wrote: > On 1/18/20 6:44 AM, Martin Liška wrote: >> I can confirm that it never finishes on i586. > > I can't reproduce the problem, either on Ubuntu 18.04.3 x86-64 (GCC Ubuntu 7.4.0-1ubuntu1~18.04.1) or on Fedora 31 (GCC 9.2.1 20190827 x86-64 (Red Hat 9.2.1-1)). I did what should have been the equivalent of: > > git clone https://git.savannah.gnu.org/git/grep.git > # This is commit 23bf27015e0cc45d0012f54b8e24ac19fdca89f7. > cd grep > ./bootstrap > ./configure --with-included-regex CC='gcc -m32' > make > make check Hello. I'm attaching build log that leads to the failure. > > and it worked for me; the triple-backref test had an XFAIL and did not loop. Can you send me more-detailed instructions for how to reproduce the bug? > >> I would recommend to replace   DEBUG_ASSERT (num >= 0); >> which expands to: >>    ((num >= 0) ? (void) 0 : __builtin_unreachable ()); >> >> into: >> >>    if (num < 0) >>      __builtin_abort (); > > The regexec.c code doesn't abort, I guess under the theory that one is supposed to fix the code than insert runtime assertions that slow things down. You can compile with -DDEBUG if you want it to abort, but be prepared for other grep tests to fail if you do so. Admittedly this is a messy area. In this case an infinite loop is highly undesirable. That can justify why the assert should be transformed into abort. Note that we don't want -DDEBUG for a release package build of grep. Thanks, Martin --------------9C3513EE6FEBC40D4ACEF2B4 Content-Type: application/x-bzip; name="stuck_log.txt.bz2" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="stuck_log.txt.bz2" QlpoOTFBWSZTWSKiOLAAqYv/gH///4h///////////////5gbx7ulc96e333fV5yecpn0xEr resKFPtqBwzxzyaGij52+9jfXDoANuVPeaaYO+p7jnu1TuhJvnED3nOgDI7Pgx83Pfedn2Fu 323s++943ud3WupuuZt3vPJvVV3dczvevu7nFqfb6Kbu3XKtNkT1sAbSJR9sfM2LdaXWqNHd u3X3nl1e29jay687JHrKkAvvfX069xu77er2vdufOfaR9iqpSAV33e8z7YE+2+7uD7d3jGWe vey9cut0Pd92X3scvB7O9949Xl6pql3udfZj2a3nNcpKvvZ72Xtw9t9l8zu52Brt1Kj7Z1bu U1t4D74+HhrBVuD3uwE5kA020Xfdmi75yXcdePdUlfYxd9nIdfXTvdpz47CSIEGgIExATEGi anlManpJtTTQ08qfqbQoG0J4oHqbU2KD9UAJTQIIQQElT2KaanlBp5QDajQ9IDI9QAaA008p 6IADQAkEkFMgmUxE9GqZoT1Mmg/Qo00xqBoPUaANAGJoANAAJPVKUEQKeST9RPUMCMQMQxMh kYARgIBoaADJkZMTCJIgI0AmgSn6SangmSnmmRT9BEaPU9TTTymgHkj1MjIAAGnqCJIQEART yDQTVPJlNP0VPFGjZTQeUHlAPUeoAHpADQGgfKeiinyxHeBFEUCBBCAh8J7B+E+6fQDYD/A3 KfB7WhP8PW9H8WZfvOf4jSSjBff/z/Ca/Z8bmP1b/H/52Z/kfrekNCCYJ4UeEdv+lKPRLvo1 JlfrZ/Pd/jmd/b9ePi+J9jbbPs6NUhMkY5Fp7uNt2D08HWxtN5kWN7xa1NPWG1uYS6e2RDGf rprilcpM0w9pJO+HpXL283utuMAd0cn/rFTw0/GoDGmNtAr/r6fw/M8+bSmv9+nTZcvlrGkr qu7Y6fb/7eXn1Jcvrzhps4VJnDXP6oYTJ+b9dv7NYBDMN9Q+7WGfKN8Jj6OE24sv4w88BJ2T MvO97v1RT+Dg5N31dfwr0WoixqjFv+Xy95e3b/983p4GnOrRQ2n3o6XKAkf/sDP+j5vW4GMJ NYpU1sgY9lXPRquRr61tyg186uY1RY0VfddxrfS+LV3neKee7m1VLbtS2jCZ1aLTEqMO1pgJ Uy7Smxe+d7XJJLaU4fTD1lof+qr/qKKpLHua76fHfFEmSOZBsoCW4Atutyo2UHjRg/8fIvbD bCXMXtvM1NgWDD3sThRiQktcLsItkJMNEGeK7PgC+FgSUAFt8oozpoZd+76naYYMuhyDFlKQ /8u+snz9+6ukTUyYvpOAeng5w38Yett/a+lFfOOq/C/3HfXFWjT8d+fOsIT5jxIYQxalsjcu Gdl/rnZ0PK7GWOjyln4e9suIgF/w3GJDpYQhJB9TBiUUHlBAbQQVQqKCInhwtYQHj6Zn/dUT 8Gg9hw3KoWQUAPvn3fn1MXp/DkWpCfNlYfFvbGtoV12EkR0uWXLKSD31lbVm7zWZieaxuzNS Taz1zfWqbY5tkTGrWtW61WI6nDYU5cVAFLqCcsY6Ivn0hbQipmZoA1EBEGMQCDCCsEIoIRQg kAYiRiCK4YpCKBIoGgkPv9C5meJ+7/GQB9D35Bp+Q3c6ppGX3H3GJ6gM0I9SQzCGGccBwPSX H/42CAzZJKqACSEHS/6u464dm8T8scdntwwvLDEiiiSKgCeO+0/byN8jPf0+uAoXPx/dl5/f kFV/tSO1gR/fmzdggLT3ZwFZ8YGWhjxh0fR8baSNjeleaeWEyxq+qpbjzCv3/oMl8n7hIvBI XoEj3iQl8LaimCqH8IpF9gFDgOayhSQUgp0FF7dBReootG/5Dqi9YKh2r7IfFpPhtq95/V+v GAqijAb421t71heIRAWIPUQXcILcUXUUXzFF424Zme7Dbzy3+/ZXaCyJICMgpV8lOeglQt31 tpyshZL0TjGF0nliYHWQP2MgGZJGvlBdjIRqpJIcl+3YVxmr4x7zyNWVoFi7ZTt2Y6pWGbdY Ud4eADOvY7tGLNCDWkzYYc85SJNXccD9ZT1kDW3TzBAtBW8AREP68BRHaIB/ORRBygiH3DhT /SwOsBe5AT5ix62PH09xZUPeQv9o87Av2BFEfWKC5QReRBRKnL8GLQOm5KjOQIkvlKMRZu90 C1j6Tbyq3P4JJfTj3bzI5fy2ddLmFS//KlJcDG7wkF1sY8zC2xp/fSScj+FV1/6GOGYJiRdd ZMCxzEfxKuV+/Q3WjR9/5Z1YkfwXtciY+4g+VFex6c0B02mJAkWpbywnNgb5LMv41XuWIHzD LJcsWEUlJpNO4XueqUWiE/LJyOvudTijwv42aUltpZj/WOVhpu/Ee3sjsEXJPzstNdKQAeHy KiifogRBP41hJ+5LWSEVCICEnSVU8RkKgQlAMoBAPQTe9pJJNx8CAE1iT79By4FeZQFAQG6W dkhmSak7FMszGenwZ0vcnOR1XEv7L51MOs9UP4mtMyzVcNLDVmqeaOX0O7z+G02/h3Y1vsp9 5DowUt580Ya5X36k/vcxWXprbac5JOTkzWfwkrI9sFODdQFJkWqm4FYQ9UJQG/RdPEW5/xUp NYMg8MP5EiQslb7Eca46GmRobk7b2vbNN5sKqvomFAb/szGiNuD9LF+JZvUvo2+6TMN0UrPP AFh2dRjHvk3Azs1DhWzNpaEcle2/44W3NczM1hnWMdymGTJRpUs3a2iSAzuB0vUWG6l2gkYs IL3RO2UMjBpjJqiP5iJ9O3XUL0zHjhhrf2Q2yihB0IMCGWycA66rBENpaXXbfKbDey5aDC9v E9lWv3KtBphqfm5aYHOuZ277zW4YvEZFCGY+2C2T2PWh8h+Qpct98C5QioIhBHMdWXCumyKa muy+ySRMMi7TzxvYL5ZkTdWRPDo2Y739fFJQ5XZvHfii/Z8+Xd/r1M641wv009s2mGFxiJvI oPugvCCi/v1xXPQ8voGRa1J2AeKWywlfE+WFA2JpzZ5+d7r9NsSDgCTOboxacr973tr8Gx6S 6H34yBTlaZSXaqSSTj1xQw6xcg7uE58KtuVMDlbMtUqRsVwwlpYXw2+hBXu2Pgr+kmR8ZGrL nDZc3xprszzcuWpki0mWQmzmvZujO4oWlylhtw16d2UTmMlYUs6xx52QgzQd4fe+z+nXj3Sl KU6nCHz74SE2W59Zb6sRbfSxqESkDu/zptj0K2BTlyzopmCcexUrlxv14R6m6plmGOBBuc+6 87XdIoWVhZfconHturvJmIYyw+rQ3psRHCxdgentrw2Ww5eV/qiUhQ5rdhwYju8Pcqx/RnYc nkeMvWSNtyRuSS7LWtN6k7OtrbeSTMzKvxLR3MuakbbbkjbbbfT3OpmNtt6kkjckkjfHFuSN tyRtttuSaD1UuSNtyRudDRmZIMfPPieBvts5JJlVSSSVVSV7evMx4dN9tOelGpufzifMX/Bs NKyNiYbGptttjjwiG6qctja/WpLh5lHM0+zL8WB9hoGVgUkqibqbeYXvY8yBlMhvGCkGEYRm qSgy+3S93FBpPcGdLg9mLdNlphNA3RDQwSo2zhgtCYoPjhAPfAkQYajPwpDWDo8vx8/7f7NP 7enTE8TZrhPq06b1OHcgL0kMgTOelneLtJSguHkSkCaDOunoDGN1/t09Ed/GsPIc+xJcff+7 e69/YmX4yEy7B39GmUksymghJ4X0emXvN2klogPff04vBqvFTQwwvwdsdDTdkh0SRqacbZoT MH4C61mtY3XK/tszJj6avLyvvkbb01tjX8/wWWrPo8bery4FxSXFq4Agtp4mYdXl7eknbnu1 qzTMYvfB0taS+9OnfbnWGRub+3tlf4m1s3X+e7w/GoDnPF8+FoZqozoL01OVLEabJQmx9bli i+jBa5Zs2V3/MHVam37HL45gaA42TixMOj0yUjKwtLeuR3kr4ZmHm2kSqmKl0QOETdplKJGM Yim25gtF3lhZZZCc0xY6cSL28N5Bvd3zmbmuuHsTNnzWzufdGZLMsHnzuWkmZmSYIgiZmSZm ZJmZ4oqSWqrg8cNsnswebM3AQmdmk77cq7JS+JgXtejIuv3EYa5SU3aLkBQESvIxjbpSPwG6 2JGe2kA5stb1S4T1rF8Bedk/P0S+axzjz7kiIzMjgsp+XAkbPI0pkZPrW2/UE3r16Rk+n061 RRUkMEEQOO5DbKD4r1KRwgSHLKEfztSyhfn72LiN6wtcXyEYBMzh5CKGV+ckK5SJSlIC+xHs MUgSK5TT9T7LNtsVzxdC+RDexzvhazMr/c/V2Rv+zjf39v5DI5CqMhF26uoa2Njfty1yq9Fa uapMVtDacuUbJpNJkkZRmVEIeUakhCDISIwMKvcPbJP1dwuq/ckl9iSVofpEjedRA6TU54fi GFt16Gyhu80BpO0q79phtnOs4Nm2CXeJDR8gvUxQX9/8v3vwfgn3/u/20z+j93OXEOqz96P3 Fm3/ecn82Su2/3cp/9373fE/o1qc3/vXMyvz2W2WZY/v0yy2NlZtyxuhaYRs9kLbvq01l9ba bWpC/OFltN06eikjZrSmUI4/3aPDfT9/bnlpx+l/VffXdx60JCFyOxJL7RCgkkBD8p3hE8hh zwPmOw7D+B9YIRcCEf9hA9gew39h8fwnA/3N58S9g3U2ZcwyvJceY7wOgH5T8lfX/Tw9/5/z KNgBBIMhGSQjABJtgmhCE20O/AfJ8PlfEAPePufofYP3s/W1r9/+Gcfton8+v9Wt0/7mP2s5 d73/tcz1/4rWnlVvBf5l+isZeIfDwt3ws0bW2783371j37XNdcLqe0f24McJfv1JOupx5evG NvquTF8y+V/7iOJ3zJHkhCXMxwhxRWZft57it1S8Y7YqkrvCwuXXeYu9zdwsOXmonjHJfjDW t0/B8athsyhTbjq7whkWynKBWMpfvv11jSdKzxrGirrqD0x2zzR1xztdYOsVzy5zI+E7+d36 +NS/fdLPSInvMYJON5jt3qnp623gy/CfjTMNG85jxXbv3qs77ypxOTXdec6Ud8bVSP4vru5U Zfj1fpeNvHmOOqOLfxuVzEme1ajxU9urjtVTOtUcdaLisrrddu7nRlduZ289t4m5uSeGOc9j iu2H4jcnmSU9RieucdrY4vNIRwrQn61vVPeEy5Uu0MnEModQ4qbs+s8Kec+DjxBduLl/G37P XAiTmh/K+PNWl21ea7Unkwj3iF37v+/PE+vp1vWuFyr8HC4NK70X47TOscrn1epf171Cz6ps E33WHzWzuUqrzfN7D0noOpJWvPEHb0fXtEL158j7dUpz27VSV3hY0/iFzUYxzznj407dday6 EUtIXo8eN8bw95TLsp08NIKRCdtkhbsjfW2sSF6ECzbuZ20Qs70BGg+5ACSXvD3h/qP9a/w7 OwSAP2nj6lp8BI/UyIArtVXzFAV+UQFXMiAKsbEPxFiFInAICokIqAJiT+WciH1/56aj/2ii n5aaHz+0/We+P+PH6YgHJj0Q9IQA+AYRgzJAr/P4bSNMOZ5gB/VSAfykCxkUCfzRZCRPu+RI owEl+MQf5H4BhOfs/dYba9Ds3r4+zDbs/IdnGHVP8WnqLYXB3B+07ur9x7cIfyP+eUZPA/Ke oeVjfpuunhHmzdfogoCYCKunn5Hcn/U8vGSHapKP+hg+kh9hqfoLIaV8SxmEkfr5Pxeh/y1z WsD1azMCmnysLBhWDn6bpYKQvqPofek2eti9DOy6hujvUKaghU6pnHwl9hmcigTMCwcIDBk9 /dCEIYGXm33Qd4ZgGQwGjTcDQdzn6C7F17L1lyERDkSvk4lMjfxnKeYlj+aOaqnT+56eHHf1 Py7GSD0Nj/CSNnByQBh+MnA7kNxwODmWMjofE9XYzjGaSpVqbQgh1AUdEGyvYuk5EfIzMeTk xItDlkkGrSk+d/fSf0BtmwHDo+MpNsbJ3Ojo7njYyfJeY2mwOthmNMmbozg7vA0Mwhjk7Pqc Q3FpE9yEaG69mtK0uE73mjM0jIUSZ3B3IAQfKHM7YIASW0bsSrgfuRQkCQli99bohSwxs9c1 zUOjubiXHSXkBobN3TIpZNdhiajW3VSSE5Yn7SxQNBIS7l81Iny9AXmCTyPduUrzM+9lzXBE lbGFHM+kxOxC58Jhk4YQhbvm9tcj9o/+EAKIlVotZqw0WNtRVWxUSIyIASABICrEvuPf182h tpiCDPa33fmrW3pb8i790f9zbfM1uc5N13GbRrnTXLhkTRYi9r1vKwL1FFz6tgQU+X08j5Pi QhMxBfMGvaQWxcDi51rd7c3lOFD0SzfqpIsFJ2z6YWsDDWk72qR79RxDMqBt0dwsVvJaYnYb AuCeDtRD263ox2JzAnV50rBoRIkzAgusVUBh5i+SAS0W/rQNfur4t+/nmD4Ia83gZk0ykOR1 fLInAdFRdl75dCz5Ko1oKLsKLxV4eOR47H8XXg1v+jkY4P5LVwexR46wjwSx0IVy6jp4mXeG mVjGR4LS6dRpjgUXqegOfXH0DwDiCFolWKKoKEHlq7gUXPI9AODfwKPcceYovkOq+0UWCC2V MzSrUXPMsqj08KN8dLeOd7ee+t+lfYe+AryIN/gJAoAXjAUPoD/kAoUqBkRQQfP8hSIH6IYV QkRYCh+YUoUpAUeO86eq2u5OUPOek7W+jXz3mT90Nkt3zzixdV1Kzxstp05hy6nhOMEZ84yl 1FULuZcZu38J392zr6dS+0LGG5n7L5swYSLT4XyGHmDc4YjHuehFi2zhEuxeLFZywiiux/bP GRQzrC+NhWuesKNpwe34Wkv06Sw72oY7btVC+FKb522T32xt2Dv3u7Y7tRb2SF9LV6Op/Xy0 hkQm/CyOOM6FHhGk7KGur7oP1XtbtrhBQY3Xc/TnX+ZqeL8sv44QgOzsOz9FJs2TrE9dCrGr Pd7e8kw5m59Ps7fsca4xs+mG/wolJDHDnMPb33cieIIjUI4T+GpIenbaIIbeoxN/ZN4qMy4L sfqR97h+d/rtubY2OK3YPKZN8aVhnBo7Js9sKO9kOuE9qjL4u9eHlsnWlYW4187b8JVjbtjL KnLbs3W627tF7XOPWL0iQwk/aM+6ApQA/9iJYACJIgnz/KQ/MfQfeM+f9QA9gfIYYMKmUOOC 6Y2V5PhkNZtIq3GSG0vLIYyDGOZsEw9YnqtSPVZZslUTEQOYtnh05lx4pJ2tH3v6hdnABRBo 0NyBwNY1lnINkKENBLOZQuWYcRyhOWWZERBBUvhx0zxgQ1hQyGQWothrnRa3Dsldxzhlb1NM 08esg8bTcWMhuQOSmxTcNzYYzCGgGUl08llbKMlZFGcAchDRsbkOTgChClEqKmsfE1USOuhq YySbFMTNjQbFSGENhhoEENCIUCmBSAzRsPG9J5pJuWByHBTcwCaE4MOQu40MKYFiBkFFiAQy IN4OJcxNf0p6CeQlvtgE+e9B28fR0nZaR7598qdfhb6JRpEl75vHCHGl1ImHU5wveb0tLpR8 fdnKONkPfuw2X6l7zi/ve+/bjSsdWnhpC+P5HrD5RiBOYhVHpuha+/P1mj7T6Huc/Tgft5z6 Kpj2mefEd5jGrSWa1l7nXE6va1jdXqr4ksqmxb1DCtMfoFRDZQbAeCGSRWxNOgt3xeYxfNaV THPOLvlbU4UmXngcdkQbMmBFGAok2bIMjWYLHMGyTgckuq0QPOnIVOzkufKjKzXHV/F8nMld c9ri8YXM5ymBvpFdsNXbta4794IxXW88vSwXMpGPDV81PG9z4xrfPO1U7uZ0/iJ3hyM3X1N8 /JofezPtt0fUvLo7RUez93nOlmvL8zxwY76u3VYt3ciPD97e+NL09fHOT6nfl+pRx6Tjb5cy /fw7aNR2h0e/n1fmXd3R8LFOGpjqZ6eNOJS6np/XXrKLvtGXnJAvhbr1nOF7++g3DnUj7j2h dyR+o9neX1zWXzXaUc4k9s4qvX2P7ImDNMbELnlqYX+PE+H2dB8wFzAL8BJJKn/o7hIcYSJj s1r/TB0y/i16SSQXnb3z8vL1eXr9NjvJnjKlkpwpYXdRrOcXnN4fUyjL6fOVh7zFZxqp1V40 azGaxec51q7UzOtQ76t9at4xesIo1q3eTEYWrSw8ouNZU5xF5HzTvrSMrK3FavV7dbusLe8z rU1poYWvpn2+RQFPeCn4+Cjb0ny18LifX5HkW+AVHSDvpU4MLxZmEDh+odLvLLW6ujyqkiiF phWNox58e1AB2/QNop+rEM0QGlbPP/NOBPp5skzCM/CXKd26EwihcuLFe7c2ZhNgZaMU8u3M HS4hERTl07q6ZzouFdOu7bGIzu7YgSS5uNJto0hppFxmxjTt26OfV83zTRxDY9Kn2B+NzpAN /e0Hg9UQg/RuuY+ZQf1l2LfRjj6AXrMuFAubBWPICFDqvEa1nm0ZKa4L/Ys9OpWKnx5H38XY OBvzf4wE/Iqb2yein4joKlB1Nds+IFUGFYXuJNApaDtal4gYsuo5LjMoCIWpbBg9x7STdqv8 HnmSg1EHluZXXb6N7/B73w0LRYkQUQ7jr9XYMmwPuwl8nQwf0WFgw05FbYOx1nbZK6R+Yt/8 EN40v6Tb8TAsQd4xyMzqKEUJbBk43gQ5skYcn3+1J7JfOd1QAgDIILIGIgwgyAwYd0Lv7Pht 9PHx/NPju3tPe/USEhvkTGF4saW0vQUWAYBF4lHw3KSEdkiHGB9BFdORqNsF6QLbka5HyoCx pQZTwLIpWlsiAkoD0xLVGSCoqXCShCoZm3+/9gNtzzJCo1DkXYg71oylWE2khC0apBpvrpbM O0kKOsCtDfFz2AAl9fzIS4gAXg9vSlvEUnVx96pf9pDvje00o95woETttZvgbxiR1jC+0yLy AegxHCp1nYUm3zwhB4PsN5Eme06i4SqSKnaRJlTtj5vpGfPHagtBNZbrpvz0tszm0bYZ7ezo xLRCBhgEwwgk4OLYzMZshmIDCPJ0MEvMS3wbvh0d/dPvrDG6V3gCB2HGKegHrJE5AWEsaWEM zQkOazeUqQiGSIKRxJRoBsDRIk2JcpKRDnMIanL8tB/axmZTUmxthC0B3Eqk/es2sCQiEgxi BkDo3KEuSGQnesRJKxbFsba1rGttRaxax9NOE8DQKDQMqhkCyKsP3yDYEwDgqyZCoGKKKcZ2 OpvLOhIOhnpLpmRS4MLxZIJIKdpYaEbTfQAgJgDgTJRaZGQh7QDIaBEIGWR+lOeEX0MhxlNR whACIcIOeECkTbIX6TU4bJg9Y/bAoX4Y9QOgR9VhZZkt+kjuO2WSO9iBFtNuzMzHsjWqtE0S 4i7nDBcoOSEGH0gSQPj2BdTtQLb9YoufcUXt39/4Pr/Wz7jc4nkegYxCIdRkbAUTQ3ltIQiU E7CGYygA4CXAcHFEBxxhxwHGBX3MdMujlCHDlzy6NHnjSLQs353mY0pF5+OITWgugTHoZhmc IKA5YI+I9numwe/rtB9p59UR1MjsBNGBa4QSpuNXPGhcxLVIoqphCKMIIBR26UtgFbkRYsAq TIsdyNxGOphaZUI4lqljTEW/SjExPrPMeBoqgZg8MRTI/uA6A+TQywGNLUXrvEhjjy2UgGTR ioPzRFOS4iKVumhkzYyYD03uMabRs058XUDo2QkWQPX9JR2PE03lV4hgHifeUUbEPR+42SCs A0egqogoyDTGB9JoA868xooECBxw3Z77p41s3b5zk0oWIwAIQbhkJKAk7CXZofeXbuiEbMRs TL9MMLVATg+0BwdHItaj9IWtsUnQxOB00UVdtmwXdGcedgOZW8lCNZBvxhjYoVa1NwLjxlec pBCAJzcNxJISQjnAqQkf3Wyv5+1B2IJYh9BF8DsDQ0c8ybrcJAqUYKwEhABhgYGNBgDQCZdI 4JbstmF9cGvhtljtuJU4YCnFgSLi+NenxPoDLLcA0uDAb3rnOVhUDKYgnICIkJA9B0IIseB1 ky8pEkpjBl4ODEF8DRRnAZ8z3jm+0tyHRVJ03Gcto8EHd3vD0CNYcLT72r32EGqoSPxZhqIV RRZHIdUgDeO15DaNSqr53L4z66GD8xqYIakPrOZccwq0D7ehRwGAmxDzXgORImuumuEzLTjn C66LTi/ImD2EkOxe2oodxB8ogaNCtD4BrEkeBkDkxQVgokb3n3BPliGKYdLHIhXd5AqidIIs EvTIYG9lpD3Kwcr2odD+VDpO2GQ6kRSCCSYSKujaUzFZ5upqrSSqkZJJESoUQUoYol/xw07v iwJZoqMhC/wN8bmZ7zQD3jED0lC0ie9eA1wKNxxAyKFiYCAXG7OmcdjXyjdrtrdY1KgPQN6S UCEyRvJISkScSZgfwV8TxD9wMKXghNFoTH0l7JPaUlcd4WDqfrh3WdjqQ+rtqcgRfRYG45Jm QpKjQjQe23PjY1VClFA5CekKmlocyaZtDsAUkG4mDVlKKLzmhG4cOhBh4DOwbA58jiBwPMrn N5388Pz2up1CRpM3oxG5aRGIZcqGxaJgB8BwaRmypsYLGjYU1DD878khOckAG//h9CsscADA g7c93On0PcJjcx5bmYVdNt4CUOB1qxnh5hHgplTHkaAwHRn5Mn5G+QQyivTZwGwfhCTiORxx GyWbvrOmej66S1a21mRyFPjYSqRtyAjZpAVoHMCuWC4Te9rIwTbmR1Rxyrlx10Qh0A3qT+BQ Pn3qqjnc129DwPFdTcUr1O9astK5AtKbQq5Arkg75walSTc1o5DmrDsI1pno8ttCUCEEB31p 8zjrrz25u5zEPcDQmDswS4SIG5MpwpgqMHB5OMMYYOjMBUE2tQrelSh3GUT7cCpXpzRH5izO TEnyHqa7jg8F0MNeBuYwc67kHkY8mN141E0R6IkiDQB4wQidBa7S87j8p5j3MfoP1giiXxFI Fj+FffYfvCfUP4CI55iUlJEyhY+8lAe6JgjJuRoMyhk1WBiKF2M/o/H6rXH7f7fqvs/xfAHv 9OQfAZB0A/OecRTmJCBIxLQt/FXz39m/w33P+nazX5RYiwiaZhmG8g9j/X98c5nIO0OJuCC2 G3wvGQfLDa0J+3bvYUrh+D/L4ii6h+nqcRTmfaYEF/QorNoXrT8ldvjOnwfYfY6GuAoufaWT vyD1lBEohTKWEkCSKSJUO1biwUI/hP3/aKihEqEqkqg1qIUtUa2o0a2NRVpmNakttSVtGpKq ogorZKNfe1Va/XKNxgj3PY+8WURQ/k9Jup+c/IH2pPkcxFHAP7NH5h8V/qJD85BHJiIBj6vy BSI6g66tn9wV2/mIf/ITctfOocyY7NrWtSrGxSTvyyN4C8DBbTM+ywFy9wsclabrm3NYw8c1 0OhnyQbNIHQB50blXKUzDSx0dUZmKLbv47e3p49bi6zBlxBksuIVJRTkVVwZzxC+eOWZcOqw NHgXaJMpIURqTVVpo1Oi2SS8vBa8/bbbVAdlttpA6nJyHtJJeYBEc3ebgQlMoRy22KsI5frP k6XZJKPFP1liH7OeenzWTzsQwfF76ehxSnNjjCQD13UocQjhJJ72RBLlxscFUUljuxHqIXaV dw36TgjhODSlapzwY20PYAxcjVaTkNmjhoXJDwe5YtCQcOwjzEsqZ6mGd2Ci8WEWxihaICO/ 0J7iBzvJjcHk4y0DWdDe5JTpJO0Y9U7joSTu7WHYOxuKtgith1NO1NVT0RbiAYhtaitpLCXS Nw7SdxoiQhsSQtuna4wpsdwzeEc8IdChDwrA6RbFCAYtkwGhpKZ2G6loXPBGDqWdjZycNrv5 foPkMngZKvPQ7KihTPClRDlFEuQosXcc5hhgTSHfr3hq23DZswqSNkHxVIIdWBfqXsU4EdQs AbMC4fWKaCPfiWBRkFLpvvybn+4KK6zPjrXF9uNpof6fH20plJKHF92ooR6yerGSr8HHXYbn rZHQAMOGJyGqTT4ySZncOw9tyeQMnprlKEogY5yG+gMYOoYYcQ3uKLHflRKKiXKVC2KDRlBW 5BYRBLZ2ZEe3y69W0mzL8eX90yhW7zLZuvzD2ofFyOlqpsTPOojTvKSqHbJpzMlRlQpwPUqs 9b2qqmJrZwa2saYe2h2Jl0pU1OJsKLdDwEYigaSEHoYp4HaFBiPgIBqvJ6QaNAy5qtZEycbu L1Vd6YwMhuBYxQ21FNUuixzfADq6Lc2op33kYGRmiaFlogQIo9tzhIyEtVDJExIFOxtSzuq0 aDnkQTmX/VhwZm6yFCKOXZpAaDy9OQjVtt71VdPE8XXiQKdiczfz4lP+tveQk5pgEiZBiAbC DrqQtsEMDrBoD41cNvknUSkN6y7LYL1l0kjEkkZViQa5G40LmqPodDpvFMx0clHsKWoR0QNw 369IEkJJJIijIQbWvSdEjlzAJi+xurmJIedyn0XdMIL6vb6udcvTejJAqAaPfuJAgERRPXOP ntbu84uiIwgAAABAEAAABgCAAAACACBD11dxHk4AMjxuSJrzufPPqbwBszHzLsmiDV8fPl89 Ck9rvfy6QB7N2NRsYwSMisgcRS+IZEJJACoM50ifoiehzfVDRCC79WnR26WHEMiGIEIeoO6Z go4m7AewgacvTaipVqLEMDXQhISgFYBOckkS5ATIsUuKRc2Dw6MoANBReZwXM6Fia8GQyDqm BHpfZnsuqxNd1EkRrTsaZgWhZsYVX7EHm5OYI3oDUH2fERQzGKKYQGCAYClB6MMwbXQYijx3 jwQJr85mCjodKrtVSQLSoQiWgVVBRGogEPKF2Hib0PEFGAAhlGawpTAUIwXIIGiQBiqsXCxc AhWR3EUD1iAnmoKniHB1VbGhuj6c/e9GvYDY9nmGybxReapQKPfVVKQvuOD6vBLgja54b8an h4W6CPhzIMi1VCoDTVGA5hu3alAGZIsQLHVQvAu7cpUqU6qBi1oUYDM+Sj0FKDkwMD3HYnPT KQOSZLvhvLoL3NQ4vLmBLDgq+10wIVGQKIVHfqsp8O5ZyORhXgWAkUgjBdzM9ieewyz/t/Nq e+ZSSelcCX1pkqSqWYJSvTeYAqCYd6PNlR1DEeQUOEOo5CEBjSYGyGhHcecaNmpzOknoZbbe zRWKvC9VKKAdlSl9LFhFHsDxE8E4Z2H3nfVxOlSSkQsW6WHORJEws4odSE5VRUqreGO9yLlm QOFnd5ydBBM4CoGjS7/FD1291sttkltttt5zouRd/J3yt2OytowaAwUQbWJJeIdDiLrfVJxb NHD9t7WBut+7t97VvlG25cjluRtuXNB5BhBOA5Pc1TjnfdasBMeKZmSUsLovIR7mSr4nigZ5 AUqQDgWjKTVgaRUMKkPaYAi4YIoFzV22yOx4tF9zwlKrwlk66HLkGGTkZKuE7b1KkpzhI2SB 0TMEck4HhgbDAWymxs5sYxIQkGJGA+TgdiMGMIELC1ALyMhDOjctcR32HZOAj8guXW+8nq16 F2LAgwyNygOfc4CvLnjWKjHX2N0SAlnkd8ekLVWhGFWs4SQjrBtS2RykGsHl7kPtA3693Xie Xru221l2Ly7XSQmDtchNXBMHSSdkW7si2OEjJczMTFBC0OpdJCIUlZuBLkLvDCrQbyAbzGCP vEbZXCIo0gUDKQz0AsKSJdICbl2XRt1NH9+zoIdEq7qxAgmKrmO8gyxDwEY6tqyA0verCp1C Jo3LFjEgdUdTZoVFKHKB480DLUjCSLAc1RzVI1agpUxMgg+5Utu/1e37TLZJktfzhISiwppc BRYkLeHoor2EgRIEYiW3jT246SVVVUh0d2ByDe0mT/UR1ie6POaRij7csYSN1EicAtYnCxac He5oHxxFHYbtRAmEQpcrYqiwViyy0lUjGBEYIszMMduNNo+BcETq2lwqii04ePQTCD0dw96Z cvLCrEy4JhNhFeimTcA1mhzixMgDbtHhIkJPLxDcHna9UIRh4SOjkgyuFUTIwsRujqHcR2EU 5PA5ySGDw2zkrMxo+4kJCFIY3QVhIC8tLzpOZaC6VYGBgGKSMhCQt3IweJh2HprCabIbARSM ffy3feCNwxFHyW3+r6SvtiqmiZJmppE0qkh6fBij08+RCJlu/PfXrOcqXvcwBcYJrBGpIpIi nUj5QeIQJA7IGp1XRAcTgZH3TW5o4h78VuIXpZrXf7xQySsyleLpbHVesB7bCFYx6mVTUslH jLTV3a08kZpzM4NDFsjcwBHFzIJi9TMyVbnEweAiuXY7Eu9/XOqqzxzQe/Lnl0tUgFKBIopF uBAw4MEWy8Sx2EUeaA6pxMSGLYpzQOTbQEPcsPeliNh3NTvhNI8mlSxmXDBo2puqahO2qWeS LwCIxJArHIFUJxhk2Q5bmBmQUXEurZ6+Mklk4tWJJi3UMYaqkAkF0Ihdg8TfI9vFLYy9P9YW 4HecuVid4HmmiXilUmkWXVq3KKIGG8YQ2kMZZhsenc1EU2XHEUt1mhCdjsdKKPd3K5cpIUNU aSR84WhDpRsHZ1kjKEfFdC7r2kgZ3IQeO8zMw9fXvVSjJ6SSQA17Xcw4sMDvufnLW191kMEk E7tXh2QdgxHPmETib5Wk4787FRePgaqASPjAknaG5AlmprP/zQqL8DXPQnlyTUMwceJJNuF6 JWl0jmYzqpFFIFi7JjYvxJHaYhux4eNVVSnU9iBC3tpnnmhxA6fASSSeqjaycnLFeR0PAoqy DQBBUggzme9fmcdx2TJfDvCYsK/EiBmT9iyzxoYxZ2MWkBIZTII1gJx7PtYt56uq9AA48w+E kZEhMbVeVL9aMoYkbXxKuYNCZqtdzGxsI9aBm0CPZNFe9NXHat2SQbbI99ciFrKTlfqHaHQY XcSOz0uYGYWUkYSMhIKejaSWKrYfnLFEXCaSnEaA4ZwjISBaJUSoIHgOuGQQNsZwkTd8uiA3 FdXaYEtBCCO9Lk6mEJCQpMuAqt1XYUWcvT05Yz4b1aYYVmDsPk0D5zMmS8JCbKyoxPdgYHZO J0zaGwRekk4Kt6kAtzdnfMwPtSSLsXW5I4IhY0aQLEAuEBW/MhKKA5imsG3fLgQsgOBpcsVJ IyPAVs0GpDOZY2IanBBr0Pe9DtX03RlO77teXJRLZKp5t7QnKmnEXRyl9Il9I/QbG5mj7z4o O82R0ReOx1VTXvJuohuEVTyIKWtLOYjoPgg5YkkIoW7gmKqvgdDuwsuIl+a0qUQo2KeI8HR8 oeQrj94Ex4p0bviq5GeKmJFOnlyqoj2NB5hcjOp23gIjh0lPbw2N3AlOs/GYvJiKmTuhRRFo YoshUHUtRa0knA3S4NHBUy4XkQoTPjblVSe031VQxTkCi8jQIB+wlQCM3woYIz+kPyUtmFwY xR2+0dCwbiJ8cBQ6nUozIEHQoJFr0VZ0GetFFVzAlotLebbpHwDZfFdGkgtihUhqGh3FF1vv A9SBj6aP3wE+jgFJDfKEhEBVQ5/usiB9QsQP4Fg2LClCxIjCIAUfWNCii/0D+0/YQosFixQi Aewp+cU95uD6w9jEPefzlL90Z/hCiFAfL+UUUALioEQv+v8397H9u2SCiZIXISEICaZjTrar v2nnlrV9Hv5H7f43d50E5IxuWSwbbBp8JfdF/YHzfp6Ng+n1DuXypDl3mVTBeg87N7Rnb5Mj 5T2pff9qAnKj/CQEGjcnK5sb7Hu3BmoQ26UrZ+ui/CIWkBgJC19lxKPxpIchb/nODMeAs+f6 H6ul+BEKFCJgw2tv5eDbY3+aSHWZdjk79Z69N22Q8fNeMjbG2zpLY241G22xry8DRmciQlIx 7Q+qknQQ8cIDnLtteneJQ8+m8887obG25G25PG2uMeDNDqdHnKSSz0oBvXZAaryBR5NEqvf3 mckOm9+fbltZorlL32p+KpVZU9dRlrxb42/PgORhnKJEaSw7u/E7Q9JP0Q8O77LXsvjy5KlT Nl6HWX7A7iSTLR+wCC2kLRSSHHcSFadQnlbyl/RqWzD60veeo8jYaZqmGqNjQxtpjBjTS+u7 o+Tud/U88BBAEH0W2aoKyE8TZA5N/wnmZW1qsGj0VL+eKhIcyU4dKtJJJIQdvcHnGi1yQrxy Qd/jjMYVceWitvnW5Wixi1iKy7OiEyQhI6p53EGXqKqYl6hqqItCRKdAnrdwRfZcS+e7cEHX x+TbXp6ebaRuHSyO4kl0UQbFOHTulApIJkoon6sQ3RzdeSeiyDfNLTg7PUJCXILNPaTZWnl3 y3nhER8O53c9O487u7gO7jI4SQbbHILSGV53WjZ1EKQxptjZI9ayt1tJz633nHry3QGdWxRC 2pks3Klm0X3B38Z8pZDV3eXhHSNyfwIimdJI3rbu8ylr5BGJI6GtHmkGxsbY22ns5hUkXnI2 QAAEAAQEBEHncHjnnx+38q+aXqAD5/mu323nyKc5SEf1HXp/X4H+juSdEuyn9B+E+ylv5gkc fze6d6xmIUIWYRJ/4VvJBc18UhfjTLOy4hMwQXVkfarbNb8poiQf+Y+zo5GgOm2sdVBxD2qU Ks1Fon8vp650u+3jV7h3KdfijCriKF+3H971PI35A/Ifsn9JG0N8ftOO+ojBragwiFvsqiHn EHqGMgEIVovciWr86+JYxqWJv8Q6kuroq0EppdW75+3qKJ5J0MhRfQjf+/nkKlYn4/yljDee fiip4BuAVbJC7S+g2g3Usvg7fiLL4IB8UR+HUWv3iAlfNIdKQDEkHPpNggP0eHQK3rK1IGQQ Il4aBIQqFV0sKAWpTfwMrAJshC+IDFAcFEDfh0sC4MGJAwgkznRNCBQSNPEmT+0UXhosOfvL Nud6FTflfyYVAyJB99FQ+Xa2/btr7JA9jqfXJABfLAnhVG6TjCENUYKLASanC/6ngbPthxj7 EHAd/a2KhuKLY7BcMPcrCH1l6C68SLqbp4uxx2Wm3xhwzs8YacnvlY2tYukvlYG11ChOQcsg zV74AxLppKKLFI4qJMa8UCmjTJ1YvruNMTVAML/FtWHdYdHdgceQHaEHIzhIQaiex4TrIRGD A6Hi2QsnKGbSCtRqQlTBuh11hCWu2kKNBReOr9+NrwkJWtrHBxY5yELMhhtQEInELHXlcsty IdYOKAvBA0gqmsVbZh6X0bCCy+FFy5NbFbIYufLXNCDwia66tw/CIL3Ne+fB79nJma7jcra5 gBqgrYh4tdfBzQLc950O8+KB4APbCHpIne580sKv6y9FqkpAtg3VsBVUy9VFtEogBkeb3MHX lCJMnSFHmXoCkn1lh54XQ4mlkXgxQyUstAaYocBlKcfYfTYR0TXwICEINHyhDe/llg5NFYN2 x1bvBsfQPpsTpeRPrKaiGUEFdTY6vtycR8AiJwztw6l8GWtAEi2jAMwiUUg7UQApoWJGJQSh 3EqlI3IEht7bZuuJYkP0x2/bkNg8UqZTMVJUyFSxfB3Jyq7jgDgdKc5YgTfhZ6MLkdjLzxwE E5dqQaqiv5C2AYmxnvl0UdRBcAUZY7318C5wfGyljBRUWa5bySSXNB6KlzM0bHO7QEtpogPf j7pgemDyaMcm02GwychS5hewty1UpKMr7dZUMF4cBwJQ+17h2hqX90rLbNrR1B5I/Se8FDwL ig9IkeSbqA04b3dmcgoqBYUixXYuwAQb9ZFpQV+TIhbfLYkfuKt2IXhqHgd9rgUPDKy3oulQ jCEgSTYO0IdvJCEuXW8+K/KmX5K2X8LxKKyShVVhgGAKHdCFEC6V7FB2j2RAhw9iR5ii0+rh rHwhurtZLNqAptrZI5dddYJTNY2pdttlaoJBkogxFOIiv4lJubwH04LGIu/QmYnQXs3O4lzF nzaH+aPZ8ig8TidyWSiIaJDT1H30Ud8jUgOPkQG4FigswqOkNIWYEJ48T0iBbGK4QjA3EK83 xljN5BQWFNSnOA2XeeZiQC54B5F2i+FG2walbrMCQYQIkIJisFFvKlFQkqu6tJiGA0qCXLFD A4bqkkhHvOsuQuqgUmK1WjNYnYw5OFMl8I5d4nnq0md+JJirqhpXwFj5ODprWQZho50MLHbB DOUzI+pMMlZbykCpDOhq2TRLR+c/DzvjACEBWa1RCHwEN8XV3WbG4xv6HAMxyS4KLMnIrOm1 qFcRLxcoX725TFsWOSRjIRuSSSatNNyUAWNRMSQxqx1FkAke/H6R+XRj2OMymckl4gBHDyjc djv6ii550hyfo9XdrY9grSDvQPI6G4jSkIVSfyy1KMdTlBEwcgx5XHzz3P2gt0boAf6VTjnu pvkhoS3G5O5ahHfCcMZm9oNqWyN4wD6iJpmXGsrt3xL1OC6RDP5qdp1K+7O0p2qpae/qnla/ le3blWCOvCKj8e9LZg/MtuWPs7Go7qbKE7CQfDM1CRJ9YdsyCC8LcCFbgJl42SWpNKh5Hjso WsX8cHaL9CwcFdhemyyZk0O4XbHyN9yw5Hvp89hqe84VtVeqxLvN3WVWJYPCUZwomI+4N7Dc iYAHwUCCrkGQba6ZczgKLZVHW5wL5/TNrbm2H3p7Yuu9RWIrF2tFcc6n0TYlZofSwCOAxXyJ 2QU50Im45De4zxO4i26CgRoNzLbJ7vby3ozeS2JJGzBDH4dUuibBtLDyOLx8wRk47z7dGCDA HKG4HxBOmcblR2OfFEpasdB416qNiyQ/YMOjs/krzSfVaogUwWZMHFpWFEHIiRDToIamTQcs 452yZjrgQXk65hquQNsFO9YvgUXjxdHLBo5Oa3EFkVR0KxDBcA6yaFB3465lzY2nUk5Wqu+F xLFrhLO84y+t5bsuMdqn5c06iHxV4b5qOODhpJGZctkhShCOJxyRyPiN7HBmmwZwcQrjpop0 wSR4nelw0OkRHRcHpF4qYxpmvC83JW6o0NEG7DNEDQKIEt99+6XbzDPJIRTnZIWA+U3w5zcy 7eo+mlU1kEYh5xHK3PkrbNhgzOgDofUgdhscUNPGoU1Ka+0mvVwY9EAP4gy0eaIgDyQkboN4 ZehD4ug4NwnhTl4goCSgmJCTQCqi2pwjiurKkI5DdEuiFHijlTol8hsX92gKFYcTvYUkZBJE SugLeCFAOUao/Cdw9cGQ9zbH1blcsONuhE5AUCjQRBsU9eJwD5xD6zUNTRzUTDb1NiEhuwoG wfoNEco4jE4p0CjT32xPLkAbQF45lxLE4RoxSjT+ZNDlrR3SrECoJHMSobNA2B2QLvdS3yil +XzsIyghLc5Dyzu2QWcd+9FUHQmAQ6enFrtYB0iqECAJhSEyu2HyinCBfHHYUXgcioKaQNoE guMGoh2JYgKWiMwhHshi0M0fHgbIVdGKicjw0CpMDhFomWvMimBxNSsscQRel+GzqXcQh0NH IE4F0aSAwIwN6z7hzz0Nz0vnaiz+MUW1kMKMTO3SknQvyiOu3CxD5LKPbr+AkVVTDPFq1KI3 BRfDDfG0CB8VVb5a71SePWptlT1dtCc1WehYZGc2ZNe5FhkgdknSiiRkcA8TdDRz1hHY5tzQ 4UUYwDmYowRBmb9n6fb3+e3o7S48kzEHFHRPb7i+ztiNI5GJCR0HwTNeF+XQAUyOhihgjGcU lRSJ9fIEA5R3BNzgtA2g0bJo8sw+2vB9XfDpFse2lP3CGB/QRN5i585/6mBHPqH2znNvMtVR AD4uTtG0YXlMwp5lqwIlfOclIRqNBs8aCe6dTjs3XksOMxUjge2xMOdR8vssFE0KIuqRxPZh yEUW0DgQWokJaILg/T9ujY4UhWrtcuB4P4OhS1YKHlBkSQZNwWmYc+4aEcLt2l+eCZltwg5r fjEyEFjEAW1P0xPhitgUcyBMRt2hoPQLqK4v8AxTdVGhWpQ1BRYCgmWRRqYCgPEyBBaNiK0K LJFHI1Afil1UW7fG5z3uCmIotNW4aoJXq2ra3NfRLaqv9Vr62xC0hYiqxijbUaNo1VgrFNG2 NWC2irFRq2NGtazCWtGNKtGqMUxSBYxYJttiKlNjVaNdxTveyF60SIYyoCCzeGPhnI9njQ4F iQhYsjIBQYeZQtS05nPO6YbG0RV/oIYSEgyB3eAEDI37toQojVUFWyyEFlxL4sI9+v4LDI93 3hz8+BuGK3QPLAw+YEtxYGZeGYyNjCKiFYg0WJQ+ucgVoJmSNDEaGViO5+kwWYC/SnseHYhg zJJiMQIahW23JJByRyODIqykIwaP5zlB7DDDcYlyd3ku9sZKiCzEquvQrNaDwAD57Ek/ML0I tSrbFaVioykShJXhCoqBYLl6KUVsipCLeMggWQrRSRMl6wIhjarYwcKSK4gagIfdS/lAL+2T noLp+kgrTCXMkCy2BzGUNKBFazEcWRUTKCCBkGMj7yICkKveWAFPdG9hMDiXsqhmdRU+0fZW I3cswqFQyQuokFFj9BcsmOQzrUmt9+xNWJ6xjBkw7lxU+te3oMGiw3kdgqL+9YaENCIP2RVM YpcCAZiC+/kWjEDY2HnFNREXhcML2aQD8LHPA7mSbn2elmk+4GFY1wPfwK9jjdXsOxpc/FC+ 4idVc35QoBoYV2tpLhE2YAZkLESPp5PyBsAgXQ/ORvAFE7RmBpM7AUpYK72cCOT5lb2Hcd7S IbI19vkUIMJ6nldfSIMwonoGmfG68P2GfnkUST5iO9Dqa+sFF2IUeRxSiRFhRFK8CSigJCya r8uZoajrhY519y0nIL2iMMe5mD5EKojsYl7S57GLgeRR9trxMtsFkLVl7ySSBGEZJJIQbYN1 nrJrQ0ACJHY6Le6yfM2IkjsPfGdXHP4zJa9nsFo7U2UE0md3osaJlmBmL7FzHajG8tQNxIJw e4ZdE7oAdus/PluHHx+Wj32rOHYe/3Sxu6edmBIKENdwdVzPMUXG3cU9drz4QhBPq44PrN0T AdJHq8Tv17kcF98kkIySUHqWvmG8DSjieOAosJIpoWayVYU1ZYSXvX9KXy/1ol7pm+3RNd/Z FAeTAD3God2lz1RH0iu0/LoBT358ORgdzwyBhA2U7YKV+TWw1mVjpBRbTGWxPMVu0PocdeNO nSEN7ivu6pqCkNE1UsqVbMs2ppjsJ03cuuI7ZmBpSU0l0LT3lSVCUyUN4QkCA2yPPqB7vats z216c/P8irsmHlmOtDcGpj61WjICSeBAFatJWHytlc4wYQLMAwQDuLkKtIwTDAvkD7OXIPs0 BOhY6Izky7oGyyqBkqgQEkJCJARTZaKS+4qvMjQ3EgQQjYtvCRehptt+wioty5SGCg/aqUF2 ZRlmGEHgDGDI0/BU/EyaO4yMI+zOc1RJvSI+ZtFpIeWAeEyEzJCVFW6h0kUPdK9+G8EiXkb2 OdtkQYOW3iBxLKfB3egcEUucN3C4osQgclUC+uC45m4cYNp3vSZJFJL2pAW2NRWapm4SkcKX 6ErxZYMyGDPLotGIQk2gBbitEKjUQqJRYDK5LpUsdTXtSOaZD25ro37W70VJTCn355DJHYiH ok6agotksRJAopkxdbNnmPD3mhDB4XQ80Md28+fQ8FW8FbkUve5qbwMXgjhkrBTCn31UUNoI SIlwkIiu5ER5izrAPMxt6aSb2ylmeuXb3J4qJ4BGexyL0GBREdmqsbPgnOlRcUiNECecBKhY NLKIXplHPz3oPz7t8kkIJPQKKqjXpcLIPn3wZXcQD6fHS5cwwSSoGzN/DJ2PAXrg4nDavj70 m9qeo9lzQ7e64cuBNN2mmcO4jG5bDDyHEkoPJCgKC1DsorLHR4gI6EJcBVU24m+m0IwHucaK oWY4+arxIupKF4MFopvCiatr1bQU4hymYQgdDsO9zMmIEDY+Bqbn9WGhoI6HUR+p7gaBDFGZ YXARFPGPtkI4PWeljQ8zuZYQ0fvD1G4fQ3uG/Yk/SabJRM285SQqZTzzGMxeSGjAZSU8AvTD 4aUT0xaHzQGOKeceHjuY7FFEYoASEkAIMNxBpPjonhGRkMdM1p6GlOkMWRFsdRz5E8PbcGwa ZiiwHE7iXnidnqNsjBdK8n4huafvUpkttq++b+y7uV6jz6mOSBiZwGBTJphxBtxilJjcmwL3 qv7nomE9aqB2HEiiblzbG8t6i5cUUxtkUbjCMag4hQH6jKUGkIhqkrfbSMMaRKEK9niGxYkh xwZpQSEokLbMrM1a9MItODcgxaNTtYhYGogW72GgMWxoGMNzAgsQpDcqloJgATMoe/k33IyI TEV4Uy4hxMSYZuLCVcMLexZo2MKHqFFwCFMH9ZDA8HcjSRujEnJ9Y2uQEhJ4UE2gpYmrXXdv o8iQsn0tbdZNMleNrRN1q/QzBFlgcmBJkZ0DCj64UTqo6KVFBwKECEFFiiMgiCSGtGpKSqtl fG6rlSXXrdbVbJJECw6FBTP9IPvbBMRM94jdUDNjSsIc6MyQjY9XEy8omK4pcmKO4NO7MXCh CgRxG6qPHQz9lsRYBRSBOBWxdDGootB7fgcReC4JuUSQgjKKBcHaebsZAxYjEec2ynqpWCFt hsSspEXXRvGvMphea69NltbfqVpdUFLPoJUCdqcS0ghzEOfObZIEN5fFB1zkJAhIrQkoo1BR d9y1/XQyiA/A93CfAyIqs8nWhRbkAtWJISWWVCT9hyIiIiMAeORBHTmCMEc4BEQ9q7kQRERE fBXCDBH13rbvEREREejnl8O8RgwRgiI8nM7XcjBHzOREYnw66BGIIwekuGCKRkkJCRkkZpY1 DMz6EMAIXugLXj3vX09OGFklHORku9d73k2tsMynys983S8Do5+TV5wWI/HNbQGBGMZBNAH7 5ET5SFwg9owiMRJQcFfePgQ7iSEDoXKs9aX8SxeCav2clEOnqD4tg4KCJiGVVzCg3x4fB0PA f1eSouPZjdqSFn8+XgPoeWVsuC76lOyHMlGYmog1SIugotN/iUK+aou0O3lVM0zoFLXrqkA1 O6pbAuZRDAMyhOMAJrtnCEGLhYQDcUXwYEQ4PxtfJAoUXVRLIhDdwN7+rpc3DppeCQgphXRe XGO30+6wlySBifAdtU2Pjh2YZJ+Yh+I8PrCZnmOUVQxihaAlQQKgjUSp6QQT0iN4kgiRkVYS EpQB2QAGTnrFTt84XrQmS6DilZgyIwTNTLc8O6euI3FT0h7SGQGwG+SwtjkFySGKvrzmSEQq KmT8zEUXOxzGGBk6506R4AbacEibgTIUXPn2Or+Mxey50Qapz3cppnZ3NOhb3AgiZSjMOFue 8zz0N7yGVeUHSXpstqYveA/ccy54FxU7BmPBmlaKi7HMFOHXWCOxDGDGNSGhCEL5mCxMJgrR DU3dBdUOZ/ovaJQG7ewa+o01I85EcPJxRJ4EBiCdXzzYS6ESBHgKL91Dh9PWCiwiRiSAPQXj HqnYf5IDYt1U9xcDFInNfDgBYqkIUuXYlXEK1alpjQgkYcicUVBmTC0OnrQVtTtkPdVDM5BA sKL67m3B47MTXqpjjIZ0U8R+o4JrwU1PyiOi89ApiifpqjA517wiwTqtGGHI7nkCC3VR9gTC HegUXk2PArnGQ8jyJ1iUwzM81+rSlPmmKnsVxsR0amQw2c1NA+UC4oFzMiAcii2hCeD8MHnI EZ31Nz1lDyxh9hKFF74zUvc3QAtQpq9NpNpkWZIRGtk169czuuj1m7zt07rr8JcRkrnZhoiU TGIty11POut9r7fevPQJPWa6vsNncvJc0ytKMRaxEZmkmUlc9vXt6WNLGwypGahmGmCjUJrP RrpZ8O3bJHiN0pLIh6oA4IzMYo4MuYTlCbqJGtvlioCRmGZ7esJjgU4fMqrdk1Fp7MOjyqM3 em22MTzEQHW3G2xoMgarurp9ggIhbopQKxsiRCIBm6Cpjficr9E85o4SNFRb3VyLYRD0NLaX sTDhsFd4UGC5rZTPI6iNgzv6ZMNwotdO0DEJJkuO9KYcXRQXOdjj4l3qBmwaR7kfqtzwJeRh wtWsLlu8KdsOxbxISJYjIFhOywLpYGkq0rXPl2PIZFIQSRTxwU9uDRALGboVADMo2ljUe8SI DgjwBSxlW4dx/wBdNWKJDmYVrPRCvFRyiAMz2u7lzClg34AzoZNzI60VA6ii9goYznuQ4sFn YCHINoBrogqaICIOFmqAxiNBSxTsY+wOHmmogUQFmRmBJ3CqOAIeU0yG6SAxmQWVKKFFkDYK XJi7ZcD48xMR6mg8TkIQigiWgHB49kLcMxReYV3FF6fYHCpzK+8dFpSGqcEUDihvbIovcEi8 johwDNA3BqUQVMCg+1fw9AjnPFSHeEgAhUJAkCzLLS1CI0Q4t1u8o0cAMOEcBB3QdDFTEuga cTebFrlkovqW8jeGkiKQCRgwczHBII+5jLFCADy8z4BcjN+eRnfeqM8fI1UkIRh4yh4zo0PV 7cJ1y44MNoYomeZeuw5X1sYD+HdHeWlDDF1/nGUJHbG9D4TCSE3CJYVhiiHZmF1OCKguXpMe IuHuEfdCYaM5Y36I+gXbDJws7EAjwQeh+EkkQ3R801lnXqeBmGbZh70T5XohNK4JmVKbmn8f b4nGHyiTLxTsZQkkXc6HEhMhJB9XefH38RTttdcya70674O9EQXrRjiSi68wVEo8ATfAE6A4 h4syTecQUNdih9tfXD91/bF9wF8uBBEgoEkbEoTbkxYNrZhZl0rlVzFtjV1jNqSoZSaNquW0 2slSiuXTddXV3XXd24c1XTaultzW3YmrdWsbNsJWhMkyt21uzS7au7V1SUwNzVOq7Vd1Xc1t dC12m1dbaNNUm1rth02ipNMbbIPCCx0QEBoCYBAjHJGkfZ222bGmhibGj5dVI3g0aLd4aeMK jUdDvTGJKY/q5Ym7YLay2P74aDQ2gMYaWlgkNMaa6KbOTRkt5WUsVEYHLNA7Pi3e1r1ctc5t G0UAPO9HgAD4h6d6PGrx4tc9FrnLXOWucGHToYRiIjBkhs4IVLGaSp3syPUtVk4lzJT1EVRm h2uq1Vou7u5iLgiJh3wXp8YKnRjL5NLODEvesGIoykiHhKHiNXBTulmn0sPAsYFa1TZmVhKk 0XRKzhqo0obWrMzd5uHlTOXnGqsgi9QqiiB4e1p0+rI06zD5S0YzbkxUVetCxDidEkW8YzTu phRCt71q4TXc5zh3QsRl3xKxoxg1jODT5a9RFQ9vWdUr0+MCRi4hlc2YzgUyllolEIRLCSQx p8zbnXPNQ3JQ33vDbXPErbVtpTeb8kQio08JCxCTtnCU4ZyTWhCWLqld6xjWDNavOtIIUYmB NkWmGqBWnYpYUaklEj5Xnr73xLYi9qvdjXsuXOO7DdEORsjGxRqCXIbmxj1mt5tlgxKbUhKR q1qhNDusEQxMTMami7Z8PMzjWIzkTsjjXJtsca1Jm04c5Gtcvg2kEpbXba625Rjjy3MnLwxY RPiG7bRRgxtrcxvfnHIXkyma4zl23e7cNabGnqFGDTbSGnWU4WORoolSUD1T1lTMvpxmLyA8 gEIEZJIlE9enaDsHcpsfD8XsBiYlw6wS7R5MvAIwW9RF8knnegc83MicmtdyqBkiDAYJme+o XXuxJDGU48J9LnHSkq9fmDkYoX4kUTRjrN5tXsEDEDWnM0dCFObTZenynhNKvvA0Ptk5WkJC TftfiSSQQ+F+MV4dBuNUCAwoek0HKJJn+I5PHGCmeOJBEWSJB9cK7wDuE3bH4TcbzuXJldGh d+sTUuUlJr5kI/S+76LF3SSdthhGNLCxoW+dhkw1kmZt1jzvTVut03yD3N1m/NCND7Xx6cTO /K9d7BkzDXjjFdqQA5ihoWIftDQx1YuRtuhhCMHggw1EYkFYmmRyQdMIfDHU0PYKLIKLW+0I XJDYNBBrtH4Q8SNdF6WTc1x+7a/GWoHdT87czGI+zakKrq9xUy9oWOrwM+T5XTEYFEGkOrgR g4yQPWEMyjYibbFgtCQjkwYKLBxQkYCaGbIKVUOueolkxueFlNRaOZ92kMJsODO23lQQUWC8 iEgwgxgyDIsgyGZJCBrAKHsRN5AvVKvwqgCP0hrXpOa16s5cNzYJHJSLJQXQ9I5VoWABdsqS lDI9xcBCWA3hyBCyOOgNvGmZHHabEb41JvEEGKqc0LLhydOS0cQQITAhqccZuK1BIcyY1QGE GaIKNpvcl1t+sDlkFYOJk5ii8eFnAaZpHWYXDnY1LIQq5Dgi7kT25vjWhKqe7DlMbSECV4Q6 ECQa68NPbVJZXUWFZSEKc4R13kuuNUs2tdsr3GijXPWo2MKZytGjgpHADlgmYOHRG4EcWESI inGbHXvw0LkneAJd/V1UVdYYrAF69o+md3GASAHBiaxXYpUklxd4FrUtuDcMKyLUEcFnyTER WkhUGoKpaWgLjEKqqqUEs2soLMxFcEFFjneFqrNlBQqZEmC7xRe2fUg8zDLEE4J09z2C5om9 4vpmpzYQ6yMY2Wrb9dCEiRU5Jxem5koe306Xver0jWoKYBUMQEyG3Ebp25RCHRClKcHg2MGo 5AcGoIz75blUKdOk2kkYT1IedzPo4lQy7nM3CYhJN8OckKiWow9E8VRegiX60Z3ZBsNFgCql KlsV5fJ9dNfLfR7/Cn2IQAmQEvh62KSi2uJzN5Z4wUWIMIhDY3KK6BSsYR3Ii7GOhvHe4ii4 6lFQULRTucfGVIVRKrk7xGEiSETcamsDg42YxAI3M+nEsruRODmx5UXiukAwxBzdqVVzYqF+ OCyTGnPiG2WLWYSBZGzlS521EoosVXHasanNsgaDQGPkQ9Lg7m+SGBWQIBZX0Djx30UUQpxO SovfTmwHGIIZDR7XBI44xkIQY3tfIQu4PV6Sr+MR2Bi1BfXaukMDiSEbGITitqA1E9gCX0uv ZuP6Iqjur0Hc6YD5uuOKgB/BFs7l74N2ZvJVAnsvGL0UtBTiPCYizcYEcfqMjovqVQNlyh6D ohZD3dKWQWRJGEOiOQehYLZKXcxRfEUXq9cGcK8SihqFC2DAQWzwUz2TvxhIyNRUAl4hTmKL ege2mIs0VKKT+7YsWd0DkoBp6QjNy001Cn1NbMLaJk+BzORc9C0xQ0fgNwba+SKuzls7IF2D 0J5gySDVKLrIoxEY/XTCiCAd56fj7HgHoDbt6YUSyZqo9kShvTuDEIBYQ8a4gWyyM/FwPBgP HGMsb2Z4YB+DEja/AxJci0G96I/tSmRDpvr7MzCwfofQKOL6oWaVNhO9zuYiBcfcZVhgXIaw C0HGKT1ZkCnoRJoTIsqKZzBy7DCPUFFoz1xMyLwQ1eRiF2IbqnoZW0BiCQ91eQeK5dDjtOxT R9srgh+RmFBRw8JC2DpBl0M+rVHEuWFX1THaATExQOkcTpH1E85x2gyThQugBxGEuIRE2GKP ifZrg8ffvPorBBQ+y8paJ2MPV7/eh1EhdDIGpGaPdZDWnQ2YoYUUemZHKmiQLVhTgIAOWMHA RWAilkpecUANRcDYN+s8iGB7ouyQo94Q2Y3VfpCI/sFFA3ogCRVg7zmfGfk/GB/HA/UEi2lU CH8cEvASohaK7Gd3K9HkRqelU/oar69V/n896Q1Rbd69beNeTgUVqNuYquXvkZ7+Va9ff39v RioCewO9u88m0ggxpIHlparKmniWwGwF0NiBkIbxR/QcFWH/8XckU4UJAiojiwA= --------------9C3513EE6FEBC40D4ACEF2B4-- From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 20 06:06:53 2020 Received: (at 21513) by debbugs.gnu.org; 20 Jan 2020 11:06:53 +0000 Received: from localhost ([127.0.0.1]:44424 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUtR-0005E9-JR for submit@debbugs.gnu.org; Mon, 20 Jan 2020 06:06:53 -0500 Received: from mx2.suse.de ([195.135.220.15]:43740) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUtN-0005Dv-5F for 21513@debbugs.gnu.org; Mon, 20 Jan 2020 06:06:51 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 74AD5B3C8; Mon, 20 Jan 2020 11:06:43 +0000 (UTC) From: Andreas Schwab To: Paul Eggert Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) References: <20150918183757.6758bc70@pc1> X-Yow: I want the presidency so bad I can already taste the hors d'oeuvres. Date: Mon, 20 Jan 2020 12:06:42 +0100 In-Reply-To: (Paul Eggert's message of "Sat, 18 Jan 2020 14:16:45 -0800") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 Cc: Martin =?utf-8?Q?Li=C5=A1ka?= , 21513@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) That appears to be a GCC bug with -fprofile-generate. Andreas. -- Andreas Schwab, SUSE Labs, schwab@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different." From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 20 06:08:19 2020 Received: (at 21513) by debbugs.gnu.org; 20 Jan 2020 11:08:19 +0000 Received: from localhost ([127.0.0.1]:44428 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUuo-0005GV-U7 for submit@debbugs.gnu.org; Mon, 20 Jan 2020 06:08:19 -0500 Received: from mx2.suse.de ([195.135.220.15]:44340) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itUui-0005GE-Jm for 21513@debbugs.gnu.org; Mon, 20 Jan 2020 06:08:17 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 34BCEB427; Mon, 20 Jan 2020 11:08:07 +0000 (UTC) Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) To: Andreas Schwab , Paul Eggert References: <20150918183757.6758bc70@pc1> From: =?UTF-8?Q?Martin_Li=c5=a1ka?= Message-ID: Date: Mon, 20 Jan 2020 12:08:07 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 7bit X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513 Cc: 21513@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) On 1/20/20 12:06 PM, Andreas Schwab wrote: > That appears to be a GCC bug with -fprofile-generate. Or a co-incidence of usage of __builtin_unreachable that can lead to any code optimization (segfault, infinite loop, ...). Martin > > Andreas. > From debbugs-submit-bounces@debbugs.gnu.org Mon Jan 20 12:50:49 2020 Received: (at 21513-done) by debbugs.gnu.org; 20 Jan 2020 17:50:49 +0000 Received: from localhost ([127.0.0.1]:45987 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itbCI-0004yK-1X for submit@debbugs.gnu.org; Mon, 20 Jan 2020 12:50:49 -0500 Received: from zimbra.cs.ucla.edu ([131.179.128.68]:52064) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itbCC-0004y4-VS for 21513-done@debbugs.gnu.org; Mon, 20 Jan 2020 12:50:44 -0500 Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 000B516007E; Mon, 20 Jan 2020 09:50:34 -0800 (PST) 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 MnNlRPnxFpnI; Mon, 20 Jan 2020 09:50:29 -0800 (PST) Received: from localhost (localhost [127.0.0.1]) by zimbra.cs.ucla.edu (Postfix) with ESMTP id 1931116007F; Mon, 20 Jan 2020 09:50:29 -0800 (PST) X-Virus-Scanned: amavisd-new at zimbra.cs.ucla.edu 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 i_urY_fuOJdS; Mon, 20 Jan 2020 09:50:29 -0800 (PST) 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 9D2DD16007E; Mon, 20 Jan 2020 09:50:28 -0800 (PST) Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) To: =?UTF-8?Q?Martin_Li=c5=a1ka?= References: <20150918183757.6758bc70@pc1> <349a3a48-1951-408a-1398-8870fa56b3a9@suse.cz> From: Paul Eggert Organization: UCLA Computer Science Department Message-ID: <27a4a299-f3c9-7720-71ad-eddc16c00996@cs.ucla.edu> Date: Mon, 20 Jan 2020 09:50:23 -0800 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.4.1 MIME-Version: 1.0 In-Reply-To: <349a3a48-1951-408a-1398-8870fa56b3a9@suse.cz> Content-Type: multipart/mixed; boundary="------------5592B3858D99DA0F599EF535" Content-Language: en-US X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513-done Cc: 21513-done@debbugs.gnu.org, Andreas Schwab X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) This is a multi-part message in MIME format. --------------5592B3858D99DA0F599EF535 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable On 1/20/20 2:49 AM, Martin Li=C5=A1ka wrote: >=20 > In this case an infinite loop is highly undesirable. Sure, but the regex code is littered with highly undesirable code like th= is, as=20 it's easy to use a weird regexp to make the code explode exponentially an= d=20 there's little practical difference between that an infinite loop. Come to think of it, the grep test infrastructure already has a way to de= al with=20 this sort of thing, so all we need to do to fix this particular glitch is= adjust=20 triple-backref to use timeout, which I did by installing the attached pat= ch. Thanks Andreas for diagnosing the problem. I hope there's a gcc bug repor= t about=20 it somewhere. I could not use Martin's recipe on Fedora 31 x86-64 because= gcc=20 -m32 -flto didn't look inside the .a files that the grep build procedure = creates=20 and uses. I've never had much luck with -flto anyway as it has a habit of= =20 running into compiler bugs. I now also see that Red Hat has qualms about = the=20 GOLD linker which = the=20 recipe relies on, as Google has decided not to continue GOLD development = (which=20 was news to me). I'll mark Bug#21513 as done again, since the original report is fixed. Th= e=20 triple-backref bug is Bug#22793 and also glibc bug 11053, both of which a= re=20 still open. --------------5592B3858D99DA0F599EF535 Content-Type: text/x-patch; charset=UTF-8; name="0001-tests-work-around-GCC-fprofile-generate-bug.patch" Content-Disposition: attachment; filename="0001-tests-work-around-GCC-fprofile-generate-bug.patch" Content-Transfer-Encoding: quoted-printable >From 759745166c0503680bb8fa1f4f60209292740492 Mon Sep 17 00:00:00 2001 From: Paul Eggert Date: Mon, 20 Jan 2020 09:32:49 -0800 Subject: [PATCH] tests: work around GCC -fprofile-generate bug MIME-Version: 1.0 Content-Type: text/plain; charset=3DUTF-8 Content-Transfer-Encoding: 8bit * tests/triple-backref: Add a 10 s timeout to work around what appears to be a GCC bug with -fprofile-generate. Problem reported by Martin Li=C5=A1ka, with diagnosis by Andreas Schwab (Bug#21513). --- tests/triple-backref | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) mode change 100755 =3D> 100644 tests/triple-backref diff --git a/tests/triple-backref b/tests/triple-backref old mode 100755 new mode 100644 index 27ab9a3..167b8ac --- a/tests/triple-backref +++ b/tests/triple-backref @@ -8,11 +8,12 @@ # notice and this notice are preserved. =20 . "${srcdir=3D.}/init.sh"; path_prepend_ ../src +require_timeout_ =20 echo a > in || framework_failure_ =20 fail=3D0 -grep -E '(.?)(.?)(.?)\3\2\1' in > out || fail=3D1 +timeout 10 grep -E '(.?)(.?)(.?)\3\2\1' in > out || fail=3D1 compare out in || fail=3D1 =20 Exit $fail --=20 2.17.1 --------------5592B3858D99DA0F599EF535-- From debbugs-submit-bounces@debbugs.gnu.org Tue Jan 21 04:27:09 2020 Received: (at 21513-done) by debbugs.gnu.org; 21 Jan 2020 09:27:09 +0000 Received: from localhost ([127.0.0.1]:46491 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itpoS-00041x-Pe for submit@debbugs.gnu.org; Tue, 21 Jan 2020 04:27:08 -0500 Received: from mx2.suse.de ([195.135.220.15]:41486) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1itpoO-00041R-KP for 21513-done@debbugs.gnu.org; Tue, 21 Jan 2020 04:27:07 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id F1B6CAC79; Tue, 21 Jan 2020 09:26:58 +0000 (UTC) From: Andreas Schwab To: Paul Eggert Subject: Re: bug#21513: (now an infinite loop in grep/tests/triple-backref?) References: <20150918183757.6758bc70@pc1> <349a3a48-1951-408a-1398-8870fa56b3a9@suse.cz> <27a4a299-f3c9-7720-71ad-eddc16c00996@cs.ucla.edu> X-Yow: Is something VIOLENT going to happen to a GARBAGE CAN? Date: Tue, 21 Jan 2020 10:26:58 +0100 In-Reply-To: <27a4a299-f3c9-7720-71ad-eddc16c00996@cs.ucla.edu> (Paul Eggert's message of "Mon, 20 Jan 2020 09:50:23 -0800") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 21513-done Cc: 21513-done@debbugs.gnu.org, Martin =?utf-8?Q?Li=C5=A1ka?= X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) On Jan 20 2020, Paul Eggert wrote: > Thanks Andreas for diagnosing the problem. I hope there's a gcc bug report > about it somewhere. It won't, because it's not a GCC bug. The code invokes undefined behaviour, so the compiler is entitled to do anything. Andreas. -- Andreas Schwab, SUSE Labs, schwab@suse.de GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7 "And now for something completely different." From unknown Sat Aug 09 20:34:49 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Tue, 18 Feb 2020 12:24:04 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator