From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Pip Cet Newsgroups: gmane.emacs.bugs Subject: bug#46906: 28.0.50; byte compiler infloops trying to compile infloop Date: Thu, 4 Mar 2021 07:17:54 +0000 Message-ID: References: <86y2f3vmmb.fsf@gmail.com> Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="00000000000058d60905bcb0c656" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="21686"; mail-complaints-to="usenet@ciao.gmane.io" Cc: 46906@debbugs.gnu.org To: Andy Moreton Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Thu Mar 04 08:19:11 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lHiGN-0005XE-88 for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 04 Mar 2021 08:19:11 +0100 Original-Received: from localhost ([::1]:48870 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lHiGM-0001p9-4n for geb-bug-gnu-emacs@m.gmane-mx.org; Thu, 04 Mar 2021 02:19:10 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:40532) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lHiGE-0001nz-IG for bug-gnu-emacs@gnu.org; Thu, 04 Mar 2021 02:19:02 -0500 Original-Received: from debbugs.gnu.org ([209.51.188.43]:45996) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lHiGE-0004Oq-B6 for bug-gnu-emacs@gnu.org; Thu, 04 Mar 2021 02:19:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lHiGE-0001Nd-6K for bug-gnu-emacs@gnu.org; Thu, 04 Mar 2021 02:19:02 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Pip Cet Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 04 Mar 2021 07:19:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 46906 X-GNU-PR-Package: emacs Original-Received: via spool by 46906-submit@debbugs.gnu.org id=B46906.16148423195276 (code B ref 46906); Thu, 04 Mar 2021 07:19:02 +0000 Original-Received: (at 46906) by debbugs.gnu.org; 4 Mar 2021 07:18:39 +0000 Original-Received: from localhost ([127.0.0.1]:57542 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHiFq-0001N2-RZ for submit@debbugs.gnu.org; Thu, 04 Mar 2021 02:18:39 -0500 Original-Received: from mail-ot1-f49.google.com ([209.85.210.49]:41055) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lHiFp-0001Mk-6N for 46906@debbugs.gnu.org; Thu, 04 Mar 2021 02:18:37 -0500 Original-Received: by mail-ot1-f49.google.com with SMTP id w3so6578150oti.8 for <46906@debbugs.gnu.org>; Wed, 03 Mar 2021 23:18:37 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=+kz1+UpCVv9VqdkdtZIy6DCNOQ8bG7wdUl4ChORY4HA=; b=C2wdTmiPdZXTHO0VXClayGhyrJX7wr8uoj9lBwK6CEk+3GJYQfJZ1nyvsqPJuRw2Yc S/KWS5RFEXISInNgSN+dTyKfLDspqRNW1KCBKg0+CNRDeM0FDVzNbZ1LLbPy7y5WiuSr 1BU4HdPLoRLDTiGB1jimIL+01wMKo+WvNv+2Q5YVmizDlb4yxGvGlbh4nWuvcOKN/VyT fSjRuxMFpEHVb4vcYEYm3lFSGKqHCrCHKACjydnXGEokwwv1Mk1zCmxJHPmG/sS3csmd pE8wB5rrt5Cfifrfmo7FN3KrrAscTocCoZY4raiS7okkbH6NPRucHP5tE3rza3zGhyXK jE+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=+kz1+UpCVv9VqdkdtZIy6DCNOQ8bG7wdUl4ChORY4HA=; b=PwV0wwwXrbve0TUoPbgFlElA+MXkxr5D6/CUs3B8JJmuN905r38Uy0sNTZ/1pG7nnQ rlcllIUkw159Xe/QGSYqsTfhVtrNnxrW2xpT9aAX/uX18LgKALKqlhZuPlmuL9tOS0RM AgKhuZwp1JLYXdB1EXjshWcNa5f+Qf2iJxK87HJHY9pvq6lzpccRBP3t1dFkVesRjfQc 937Wyv+KZWBvsNocqsyAkxKrGwXlixOFX4ExRcAWPGhGazR29QaVpLFEDY9hpX05JNEr hkKLqLE3YRkH8LQL0DYUSYTZf1nUXFPYBz+Wo/FwOeZGj3nTV2DbHgwJvFhngx/06KXf 3wwg== X-Gm-Message-State: AOAM531q5TszQhflgctnB+kyATP8mTryDcTUlm98crG+y8FhUntOoCF8 CiemmFjXUIfMvV/qB+EPy722iX+gzP1d/eHQddk= X-Google-Smtp-Source: ABdhPJxqoH8jFLXDByzza/6pZlEPJJd5L7Nh6SHEMPjL27mZUFSp7114Fus/M2oaPSyNf3Py0Qm49OUrRkv7dkAyEr0= X-Received: by 2002:a05:6830:1011:: with SMTP id a17mr205651otp.154.1614842311521; Wed, 03 Mar 2021 23:18:31 -0800 (PST) In-Reply-To: <86y2f3vmmb.fsf@gmail.com> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list 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-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:201361 Archived-At: --00000000000058d60905bcb0c656 Content-Type: text/plain; charset="UTF-8" On Wed, Mar 3, 2021 at 11:34 PM Andy Moreton wrote: > On Wed 03 Mar 2021, Pip Cet wrote: > > On Wed, Mar 3, 2021 at 9:15 PM Pip Cet wrote: > >> > >> Recipe in emacs -Q: > >> > >> In *scratch*, evaluate: > >> > >> (byte-compile (lambda (x) > >> (if x (f)) > >> (while t))) > >> > >> Expected result: > >> > >> A (fairly useless) bytecode object > >> > >> Actual result: > >> > >> A spinning hourglass. > > > > Seems to be a fairly obvious bug in byte-opt.el, patch attached. > > Perhaps add your reproducer as a test case ? Absolutely, thanks for the suggestion. See attached patch. Should there, maybe, be a tag for tests that are known to loop forever when they fail? It feels weird to write a test without a single should in it... Pip --00000000000058d60905bcb0c656 Content-Type: text/x-patch; charset="US-ASCII"; name="0001-Fix-bytecompiler-infloop-compiling-infloops-bug-4690.patch" Content-Disposition: attachment; filename="0001-Fix-bytecompiler-infloop-compiling-infloops-bug-4690.patch" Content-Transfer-Encoding: base64 Content-ID: X-Attachment-Id: f_klujcb6c0 RnJvbSAyZjQzMDEwN2Y0NmI1MDZkYmI4ZGQ3OWQ5Y2U1YTEwY2MyYjNkZTliIE1vbiBTZXAgMTcg MDA6MDA6MDAgMjAwMQpGcm9tOiBQaXAgQ2V0IDxwaXBjZXRAZ21haWwuY29tPgpEYXRlOiBXZWQs IDMgTWFyIDIwMjEgMjE6Mzc6MTMgKzAwMDAKU3ViamVjdDogW1BBVENIXSBGaXggYnl0ZWNvbXBp bGVyIGluZmxvb3AgY29tcGlsaW5nIGluZmxvb3BzIChidWcjNDY5MDYpCgoqIGxpc3AvZW1hY3Mt bGlzcC9ieXRlLW9wdC5lbCAoYnl0ZS1vcHRpbWl6ZS1sYXBjb2RlKTogRG9uJ3QgYXBwbHkKb3B0 aW1pemF0aW9uIGlmIHdlIGNhbid0IGNoYW5nZSBhbnl0aGluZy4KKiB0ZXN0L2xpc3AvZW1hY3Mt bGlzcC9ieXRlY29tcC10ZXN0cy5lbCAoYnl0ZWNvbXAtaW5mbG9vcCk6IE5ldyB0ZXN0LgotLS0K IGxpc3AvZW1hY3MtbGlzcC9ieXRlLW9wdC5lbCAgICAgICAgICAgIHwgNiArKystLS0KIHRlc3Qv bGlzcC9lbWFjcy1saXNwL2J5dGVjb21wLXRlc3RzLmVsIHwgNSArKysrKwogMiBmaWxlcyBjaGFu Z2VkLCA4IGluc2VydGlvbnMoKyksIDMgZGVsZXRpb25zKC0pCgpkaWZmIC0tZ2l0IGEvbGlzcC9l bWFjcy1saXNwL2J5dGUtb3B0LmVsIGIvbGlzcC9lbWFjcy1saXNwL2J5dGUtb3B0LmVsCmluZGV4 IGI1MWJhODAxNTUyZDYuLmFlZGZkZTZjMGM2YWIgMTAwNjQ0Ci0tLSBhL2xpc3AvZW1hY3MtbGlz cC9ieXRlLW9wdC5lbAorKysgYi9saXNwL2VtYWNzLWxpc3AvYnl0ZS1vcHQuZWwKQEAgLTIwMTIs OSArMjAxMiw5IEBAIGJ5dGUtb3B0aW1pemUtbGFwY29kZQogCSAoKGFuZCAobWVtcSAoY2FyIGxh cDApIGJ5dGUtZ290by1vcHMpCiAJICAgICAgIChtZW1xIChjYXIgKHNldHEgdG1wIChudGggMSAo bWVtcSAoY2RyIGxhcDApIGxhcCkpKSkKIAkJICAgICAnKGJ5dGUtZ290byBieXRlLXJldHVybikp KQotCSAgKGNvbmQgKChhbmQgKG5vdCAoZXEgdG1wIGxhcDApKQotCQkgICAgICAob3IgKGVxIChj YXIgbGFwMCkgJ2J5dGUtZ290bykKLQkJCSAgKGVxIChjYXIgdG1wKSAnYnl0ZS1nb3RvKSkpCisJ ICAoY29uZCAoKGFuZCAob3IgKGVxIChjYXIgbGFwMCkgJ2J5dGUtZ290bykKKwkJCSAgKGVxIChj YXIgdG1wKSAnYnl0ZS1nb3RvKSkKKyAgICAgICAgICAgICAgICAgICAgICAobm90IChlcSAoY2Ry IHRtcCkgKGNkciBsYXAwKSkpKQogCQkgKGJ5dGUtY29tcGlsZS1sb2ctbGFwICIgICVzIFslc11c dC0tPlx0JXMiCiAJCQkJICAgICAgIChjYXIgbGFwMCkgdG1wIHRtcCkKIAkJIChpZiAoZXEgKGNh ciB0bXApICdieXRlLXJldHVybikKZGlmZiAtLWdpdCBhL3Rlc3QvbGlzcC9lbWFjcy1saXNwL2J5 dGVjb21wLXRlc3RzLmVsIGIvdGVzdC9saXNwL2VtYWNzLWxpc3AvYnl0ZWNvbXAtdGVzdHMuZWwK aW5kZXggMDNjMjY3Y2NkMGZlZi4uZWViNzVjNTNlZTJhOSAxMDA2NDQKLS0tIGEvdGVzdC9saXNw L2VtYWNzLWxpc3AvYnl0ZWNvbXAtdGVzdHMuZWwKKysrIGIvdGVzdC9saXNwL2VtYWNzLWxpc3Av Ynl0ZWNvbXAtdGVzdHMuZWwKQEAgLTEyMjIsNiArMTIyMiwxMSBAQCBieXRlY29tcC1yZWlmeS1m dW5jdGlvbgogICAgICAgICAoYnl0ZS1jb21waWxlICdjb3VudGVyKQogICAgICAgICAoc2hvdWxk IChlcXVhbCAoY291bnRlcikgMSkpKSkpKQogCisoZXJ0LWRlZnRlc3QgYnl0ZWNvbXAtaW5mbG9v cCAoKQorICAiQ2hlY2sgdGhhdCBvcHRpbWl6aW5nIGFuIGluZmluaXRlIGxvb3AgZG9lcyBub3Qg bG9vcCBpbmRlZmluaXRlbHkuIgorICA7OyBUaGlzIGZvcm0gc2hvdWxkIG5vdCBjYXVzZSB0aGUg b3B0aW1pemVyIHRvIGxvb3AgKGJ1ZyM0NjkwNikKKyAgKGJ5dGUtY29tcGlsZSAobGFtYmRhICh4 KSAoaWYgKGVxIHggeCkgKGYpKSAod2hpbGUgdCkpKSkKKwogOzsgTG9jYWwgVmFyaWFibGVzOgog Ozsgbm8tYnl0ZS1jb21waWxlOiB0CiA7OyBFbmQ6Ci0tIAoyLjMwLjEKCg== --00000000000058d60905bcb0c656--