From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Basil L. Contovounesios" via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#58601: 29.0.50; Infinite loop in byte-compile--first-symbol-with-pos Date: Fri, 21 Oct 2022 13:47:53 +0300 Message-ID: <871qr1tpuu.fsf@tcd.ie> References: <8735bm6nl9.fsf@tcd.ie> <87pmepw0ov.fsf@tcd.ie> Reply-To: "Basil L. Contovounesios" Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="32803"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Mattias =?UTF-8?Q?Engdeg=C3=A5rd?= , Stefan Monnier , 58601@debbugs.gnu.org To: Alan Mackenzie Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Fri Oct 21 12:52:24 2022 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 1olpdX-0008HC-K3 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 21 Oct 2022 12:52:23 +0200 Original-Received: from localhost ([::1] helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1olpdU-0001Q5-H9 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 21 Oct 2022 06:52:22 -0400 Original-Received: from [::1] (helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1olpac-0007vm-J2 for geb-bug-gnu-emacs@m.gmane-mx.org; Fri, 21 Oct 2022 06:49:22 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1olpaI-0007Bd-56 for bug-gnu-emacs@gnu.org; Fri, 21 Oct 2022 06:49:06 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1olpaH-0004uY-Tq for bug-gnu-emacs@gnu.org; Fri, 21 Oct 2022 06:49:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1olpaH-0005MH-Os for bug-gnu-emacs@gnu.org; Fri, 21 Oct 2022 06:49:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: "Basil L. Contovounesios" Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 21 Oct 2022 10:49:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 58601 X-GNU-PR-Package: emacs Original-Received: via spool by 58601-submit@debbugs.gnu.org id=B58601.166634928820513 (code B ref 58601); Fri, 21 Oct 2022 10:49:01 +0000 Original-Received: (at 58601) by debbugs.gnu.org; 21 Oct 2022 10:48:08 +0000 Original-Received: from localhost ([127.0.0.1]:37134 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1olpZQ-0005Kk-0L for submit@debbugs.gnu.org; Fri, 21 Oct 2022 06:48:08 -0400 Original-Received: from mail-ed1-f48.google.com ([209.85.208.48]:47015) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1olpZO-0005Jd-6w for 58601@debbugs.gnu.org; Fri, 21 Oct 2022 06:48:07 -0400 Original-Received: by mail-ed1-f48.google.com with SMTP id m15so4200161edb.13 for <58601@debbugs.gnu.org>; Fri, 21 Oct 2022 03:48:06 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tcd.ie; s=google21; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:from:to:cc:subject:date:message-id:reply-to; bh=1UvYFE5xMRCPfGNnk2ZpiZhuNNjXplOOwwiO81rxzao=; b=WCEcAuH4ildFkcLjFAThczT1nZV54kZ9vqbwhhV6/FqRydP+q89BlXSpz5TPbCaQtH jmg1uEP8ENfpSZXIZ2W08oNvWgQSSG7kCrE6qoj9Jrd+9GinBTb8UVth5Xk7DRfAAjnk yS5UMAxcz5d3jHBPI6DmRrqEILmsMu4pEBbJphaWZtThEmdrYTwc1As74+/wxs/rE0UX qO2wu6DBx5Sjx8lUt4ZQCeigHdElCUzTGsMssgi5n5cx4HzZgHZa0p8UTZgvlPQu72CI P2EJvhHBMrOv8yF1vHKci3QKl6szodJ7LXvmIlkzOUNTUKd5B/GeJNAKa2QkbxYDwHEk CHXQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=mime-version:user-agent:message-id:date:references:in-reply-to :subject:cc:to:from:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=1UvYFE5xMRCPfGNnk2ZpiZhuNNjXplOOwwiO81rxzao=; b=7UI886r+Nv8c/14sZMUzYOfSQmjs4Z8FGbybTUFVK+piqRXCUdfXc9s2emkPCTg8Jp CGPAIRj8Zd/D+BAYF463L/po5kljnETf/SlV2YU9O/2jWOagE14Oinodln5VqUQBBRJN kbcRQshW6nE/0CV/78bzrYUtpzAoyhhUz80nYeIrfOFt+LaqUSawBq9NGTdnQwAIv11R F2J5oODLGWbZpAXCESbFK50VhKx0MAqCsZXF9cOiPGruGzdB5BdhHPMBBr6j3hOm7eSk TbhJN07W39VkyrJmNtj0uJazjMWZHGVdPi8VlAYOhboQJ+6bWChGEsPR9NIpxuHfyh2j fMug== X-Gm-Message-State: ACrzQf2KhNenGTROmGelax+x8rxH3QsvtlU+99N1Z03xpkq8KMDhYmT2 dT4PQPhM1kqhcyYTTfVuVNIMMw== X-Google-Smtp-Source: AMsMyM6hvK+CGEgRR5HIaN5jRUHOqav0k/msywzClrquCL+RjSs1PLHr5GDJmfibHsKpeiFH6kwiXg== X-Received: by 2002:a17:907:9707:b0:78d:45d1:487e with SMTP id jg7-20020a170907970700b0078d45d1487emr14734623ejc.566.1666349280468; Fri, 21 Oct 2022 03:48:00 -0700 (PDT) Original-Received: from localhost ([2a02:587:321f:7e8a:d9:365a:ced1:b3d1]) by smtp.gmail.com with ESMTPSA id l5-20020aa7c3c5000000b00458e73fe1c1sm13536826edr.8.2022.10.21.03.47.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 21 Oct 2022 03:47:59 -0700 (PDT) In-Reply-To: (Alan Mackenzie's message of "Wed, 19 Oct 2022 08:52:10 +0000") 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:245979 Archived-At: Alan Mackenzie [2022-10-19 08:52 +0000] wrote: > On Tue, Oct 18, 2022 at 15:19:35 -0400, Stefan Monnier wrote: >> >> That's not the problem, because it's just for illustrative purposes. >> >> Instead of 'arg' being passed unchanged as the FORM argument, it could >> >> just as well have been `(my-frobnicate ,arg). > >> > That would not loop, since there is a symbol with position there. > >> BTE, the real-world use case is a compiler macro which takes the list of >> args and tucks the name of another function in front. So the generated >> code, passed to `macroexp-warn-and-return` has the shape > >> (somefun somearg1 somearg2) > >> where `somefun` does *not* come from the source but from the >> compiler-macro instead and hence doesn't have any sympos, and then >> `somearg1` was an expression of the form > >> (quote #1=(1 2 3 . #1#)) > >> So, there was no cycle in the code part, the cycle is only inside the >> data embedded in the code. > > I think somebody who writes something like that _deserves_ to go into an > infinite loop. Have you ever seen anything at all like this in real > life? See some of the recent commits listed in my other message. -- Basil