From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Iurie Marian Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 15 Sep 2024 08:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: 73270@debbugs.gnu.org, acorallo@gnu.org X-Debbugs-Original-To: bug-gnu-emacs@gnu.org, acorallo@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172638890016312 (code B ref -1); Sun, 15 Sep 2024 08:29:01 +0000 Received: (at submit) by debbugs.gnu.org; 15 Sep 2024 08:28:20 +0000 Received: from localhost ([127.0.0.1]:48323 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spkcF-0004F1-Fy for submit@debbugs.gnu.org; Sun, 15 Sep 2024 04:28:20 -0400 Received: from lists.gnu.org ([209.51.188.17]:46628) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spkcC-0004Er-Sy for submit@debbugs.gnu.org; Sun, 15 Sep 2024 04:28:17 -0400 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 1spkc0-0001WQ-UX for bug-gnu-emacs@gnu.org; Sun, 15 Sep 2024 04:28:05 -0400 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1spkby-0001SX-Jq; Sun, 15 Sep 2024 04:28:04 -0400 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-42cbface8d6so29800175e9.3; Sun, 15 Sep 2024 01:28:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726388880; x=1726993680; darn=gnu.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=bBvXMpkSuZq03cJbXYejPwPMHo2EfvY6Y5XzABn0wYc=; b=HrcGlApg17ybqDIpmkivTCU/3LJfMU53ZWn5HUwrJGylWMCdyiMWmNm4ibTp2VqGKV ++rH8J0X2de2p9tWG27FA7Dyn8OuKkCnsYu4yqXfS2+ABquyJcsBmxXancF6Jn7h3JZu GXFJJM06S9jInigto8OHi/3efXGG//WX6PcJHKnujNniQkR21Y5ojnGMZ7usDGYYnLI8 Fazl0aODDfPGEYRB/bUyk5beUmRXwuOvnPexv71rZT/cD0/vUuGX+aLWw2TYr4QH1juj jDF6cX7qM6F0pdKRDOf09syGNqA6hXT9NHvSf9e8pamvnGL04SeW4Qp7dfVv6Yjsu9A4 TtOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726388880; x=1726993680; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=bBvXMpkSuZq03cJbXYejPwPMHo2EfvY6Y5XzABn0wYc=; b=HzOkUjjIBLzvQ0zttAcaTE/RUJibyG6jzRIg3s3rgK9rUnP4HW/3vLfOjcpjwhRezp yMu0+6dimDEzt2fTUbrmCU/JQqqtMVnZUmt9brAME7iOxzMPGD0YoSJnTpXWL0iRNsj0 NABbX2dd9oLn+nnr84Juf63K+Ah72tdE9AVHazIzy6z+l/GKvq625Bg9dYH9pUURIGEC PwusS+gguNHYU3nuSRiCQzAsxC2WCvg2cDKq9x7X0i8IHNkHWGlsgJcWR7YPzD/MRhuu KN/WYLdqBQbI5KX17+vW015Zhd+8ufU/bj7CqqsfjWMh56AQKduW6i+/IogEpC450BGl /L4A== X-Forwarded-Encrypted: i=1; AJvYcCUuDkNyP/8pbo15y/nzkgd2I1rt3nw6YZQOS3bXGsfCbqqXbvnKEUtQZdvaJEzZ3CmnqQ1FI1DT3g==@gnu.org X-Gm-Message-State: AOJu0YyeSvznT2InAKeiPBLzKlaRMS649aYabiwgVgWsCK1TjlUt9vb6 YaAFqeWSc5lUv0FtATiwtrS3ipvNPqhbsbjyozxW+ax1iC7qYUceXHl2Rxwa1BBJd2EQu4ZTeu0 e8Nl+niRvsmKQ9FYwoTeoVDHq86cXQyeG X-Google-Smtp-Source: AGHT+IH+Gm2nsXM5lcZ9hvfJ3HJVLIwU/gICZliFZEZvkSKlAGYP1tzJSbHxj6OdMdqoAEw586zea35E35zeJifYPZM= X-Received: by 2002:a05:600c:3ba6:b0:42c:bd4d:e8ab with SMTP id 5b1f17b1804b1-42d9072056bmr81001785e9.10.1726388879717; Sun, 15 Sep 2024 01:27:59 -0700 (PDT) MIME-Version: 1.0 From: Iurie Marian Date: Sun, 15 Sep 2024 10:27:48 +0200 Message-ID: Content-Type: multipart/alternative; boundary="000000000000eb80180622243bde" Received-SPF: pass client-ip=2a00:1450:4864:20::331; envelope-from=marian.iurie@gmail.com; helo=mail-wm1-x331.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) 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: -2.3 (--) --000000000000eb80180622243bde Content-Type: text/plain; charset="UTF-8" Dear Emacs maintainers, I encountered an issue with latest Emacs' master branch. I am using a package `pcre2el' and I noticed a wrong behavior after updating Emacs. I tracked the change which causes the issue, and it seems it's the below commit: #+begin_comment a1775552cef5a8bc0ba13e802ecf343423a53364 Author: Andrea Corallo AuthorDate: Tue May 23 11:18:07 2023 +0200 Commit: Andrea Corallo CommitDate: Thu Jul 11 16:26:49 2024 +0200 #+end_comment probably the newly introduced `comp--type-check-optim' is causing the issue. Issue description: * `pcre2el''s rxt-adt->strings execution expectation #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{2})" nil))) ("tss" "tse" "tes" "tee") #+end_comment * The error #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))) *** Eval error *** Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t) #+end_comment That's how the above function [[ https://github.com/joddie/pcre2el/blob/b4d846d80dddb313042131cf2b8fbf647567e000/pcre2el.el#L2984C1-L3004C46][rxt-adt->strings]] looks like: #+begin_src emacs-lisp (defun rxt-adt->strings (re) (cl-typecase re (rxt-primitive (list "")) (rxt-string (list (rxt-string-chars re))) (rxt-seq (rxt-seq-elts->strings (rxt-seq-elts re))) (rxt-choice (rxt-choice-elts->strings (rxt-choice-elts re))) (rxt-submatch (rxt-adt->strings (rxt-submatch-body re))) (rxt-submatch-numbered (rxt-adt->strings (rxt-submatch-numbered-body re))) (rxt-repeat (rxt-repeat->strings re)) (rxt-char-set-union (rxt-char-set->strings re)) (t (error "Can't generate productions of %s" (rxt-syntax-tree-readable re))))) #+end_src The issue comes from #+begin_comment (cl-typecase re #+end_comment instead of matching below: #+begin_comment (rxt-submatch (rxt-adt->strings (rxt-submatch-body re))) #+end_comment it wrongly matches: #+begin_comment (rxt-seq (rxt-seq-elts->strings (rxt-seq-elts re))) #+end_comment and throws the error #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))) *** Eval error *** Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t) #+end_comment To quickly check this I've added some traces: #+begin_src emacs-lisp (defun rxt-adt->strings (re) (message "type-of re: %S, re = %S" (type-of re) re) (cl-typecase re (rxt-primitive (progn (message "match: rxt-primitive") (list ""))) (rxt-string (progn (message "match: rxt-string") (list (rxt-string-chars re)))) (rxt-seq (progn (message "match: rxt-seq") (rxt-seq-elts->strings (rxt-seq-elts re)))) (rxt-choice (progn (message "match: rxt-choice") (rxt-choice-elts->strings (rxt-choice-elts re)))) (rxt-submatch (progn (message "match: rxt-submatch") (rxt-adt->strings (rxt-submatch-body re)))) (rxt-submatch-numbered (progn (message "match: rxt-submatch-numbered") (rxt-adt->strings (rxt-submatch-numbered-body re)))) (rxt-repeat (progn (message "match: rxt-repeat") (rxt-repeat->strings re))) (rxt-char-set-union (progn (message "match: rxt-char-set-union") (rxt-char-set->strings re))) (t (error "Can't generate productions of %s" (rxt-syntax-tree-readable re))))) #+end_src which produces below messages: #+begin_comment type-of re: rxt-seq, re = #s(rxt-seq (#s(rxt-string "t" nil) #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t)))) match: rxt-seq type-of re: rxt-string, re = #s(rxt-string "t" nil) match: rxt-string type-of re: rxt-submatch, re = #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t)) match: rxt-seq #+end_comment By commenting line (`comp--type-check-optim') in `comp-passes' (see below), it fixes locally the issue, which makes me think that this is the culprit. #+begin_src emacs-lisp (defconst comp-passes '(comp--spill-lap comp--limplify comp--fwprop comp--call-optim comp--ipa-pure comp--add-cstrs comp--fwprop ;; comp--type-check-optim comp--tco comp--fwprop comp--remove-type-hints comp--sanitizer comp--compute-function-types comp--final) "Passes to be executed in order.") #+end_src Kind Regards, Iurie In GNU Emacs 31.0.50 (build 6, x86_64-pc-linux-gnu, GTK+ Version 3.24.41, cairo version 1.18.0) of 2024-09-13 built on rrouwprlc0222 Repository revision: 7376623a244a91d1de5245645b4b3e8c9469d422 Repository branch: master System Description: Ubuntu 24.04.1 LTS Configured using: 'configure 'CFLAGS= -O3 -fallow-store-data-races -fno-semantic-interposition -flto -fuse-ld=gold' LD=/usr/bin/ld.gold --prefix=/tools/emacs/build --sysconfdir=/etc --libexecdir=/tools/emacs/build/usr/lib --localstatedir=/tools/emacs/build/var --with-modules --without-gconf --without-gsettings --enable-link-time-optimization --with-x-toolkit=yes --without-xaw3d --without-m17n-flt --with-cairo --with-xwidgets --without-compress-install --with-native-compilation=aot --with-mailutils --with-xft --with-rsvg --with-pgtk' Configured features: CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS HARFBUZZ JPEG LIBOTF LIBSELINUX LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PGTK PNG RSVG SECCOMP SOUND SQLITE3 THREADS TIFF TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM XWIDGETS GTK3 ZLIB Important settings: value of $LC_ALL: C value of $LANG: en_US.UTF-8 value of $XMODIFIERS: @im=ibus locale-coding-system: utf-8 --000000000000eb80180622243bde Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Emacs maintainers,

I encountered an issue with= latest Emacs' master branch. I am using a package `pcre2el'
and= I noticed a wrong behavior after updating Emacs. I tracked the change whic= h causes the
issue, and it seems it's the below commit:
#+begin_c= omment
a1775552cef5a8bc0ba13e802ecf343423a53364
Author: =C2=A0 =C2=A0= Andrea Corallo <akrl@sdf.org>AuthorDate: Tue May 23 11:18:07 2023 +0200
Commit: =C2=A0 =C2=A0 Andrea= Corallo <acorallo@gnu.org>CommitDate: Thu Jul 11 16:26:49 2024 +0200
#+end_comment
probably t= he newly introduced `comp--type-check-optim' is causing the issue.
<= br>Issue description:
* `pcre2el''s rxt-adt->strings executio= n expectation
#+begin_comment
ELISP> (rxt-adt->strings (rxt-pa= rse-pcre (rxt--add-flags "t([es]{2})" nil)))
("tss" = "tse" "tes" "tee")
#+end_comment

* = The error
#+begin_comment
ELISP> (rxt-adt->strings (rxt-parse-p= cre (rxt--add-flags "t([es]{4})" nil)))
*** Eval error *** =C2= =A0Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115= 101) nil nil nil) t)
#+end_comment

That's how the above func= tion [[https://githu= b.com/joddie/pcre2el/blob/b4d846d80dddb313042131cf2b8fbf647567e000/pcre2el.= el#L2984C1-L3004C46][rxt-adt->strings]] looks like:

#+begin_s= rc emacs-lisp
(defun rxt-adt->strings (re)
=C2=A0 (cl-typecase re<= br>=C2=A0 =C2=A0 (rxt-primitive
=C2=A0 =C2=A0 =C2=A0(list ""))=
=C2=A0 =C2=A0 (rxt-string
=C2=A0 =C2=A0 =C2=A0(list (rxt-string-char= s re)))
=C2=A0 =C2=A0 (rxt-seq
=C2=A0 =C2=A0 =C2=A0(rxt-seq-elts->= strings (rxt-seq-elts re)))
=C2=A0 =C2=A0 (rxt-choice
=C2=A0 =C2=A0 = =C2=A0(rxt-choice-elts->strings (rxt-choice-elts re)))
=C2=A0 =C2=A0 = (rxt-submatch
=C2=A0 =C2=A0 =C2=A0(rxt-adt->strings (rxt-submatch-bod= y re)))
=C2=A0 =C2=A0 (rxt-submatch-numbered
=C2=A0 =C2=A0 =C2=A0(rxt= -adt->strings (rxt-submatch-numbered-body re)))
=C2=A0 =C2=A0 (rxt-re= peat
=C2=A0 =C2=A0 =C2=A0(rxt-repeat->strings re))
=C2=A0 =C2=A0 (= rxt-char-set-union
=C2=A0 =C2=A0 =C2=A0(rxt-char-set->strings re))=C2=A0 =C2=A0 (t
=C2=A0 =C2=A0 =C2=A0(error "Can't generate pr= oductions of %s"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-syn= tax-tree-readable re)))))
#+end_src

The issue comes from
#+be= gin_comment
=C2=A0 (cl-typecase re
#+end_comment

instead of ma= tching below:
#+begin_comment
=C2=A0 =C2=A0 (rxt-submatch
=C2=A0 = =C2=A0 =C2=A0(rxt-adt->strings (rxt-submatch-body re)))
#+end_comment=

it wrongly matches:
#+begin_comment
=C2=A0 =C2=A0 (rxt-seq=C2=A0 =C2=A0 =C2=A0(rxt-seq-elts->strings (rxt-seq-elts re)))
#+end= _comment

and throws the error
#+begin_comment
ELISP> (rxt-a= dt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))= )
*** Eval error *** =C2=A0Wrong type argument: listp, #s(rxt-repeat 4 4= #s(rxt-char-set-union (115 101) nil nil nil) t)
#+end_comment

To= quickly check this I've added some traces:
#+begin_src emacs-lisp(defun rxt-adt->strings (re)
=C2=A0 (message "type-of re: %S, = re =3D %S" (type-of re) re)
=C2=A0 (cl-typecase re
=C2=A0 =C2=A0= (rxt-primitive
=C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-pri= mitive")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (list "&quo= t;)))
=C2=A0 =C2=A0 (rxt-string
=C2=A0 =C2=A0 =C2=A0(progn (message &= quot;match: rxt-string")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = (list (rxt-string-chars re))))
=C2=A0 =C2=A0 (rxt-seq
=C2=A0 =C2=A0 = =C2=A0(progn (message "match: rxt-seq")
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 (rxt-seq-elts->strings (rxt-seq-elts re))))
=C2= =A0 =C2=A0 (rxt-choice
=C2=A0 =C2=A0 =C2=A0(progn (message "match: = rxt-choice")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-choice-= elts->strings (rxt-choice-elts re))))
=C2=A0 =C2=A0 (rxt-submatch
= =C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-submatch")
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-adt->strings (rxt-submatch-b= ody re))))
=C2=A0 =C2=A0 (rxt-submatch-numbered
=C2=A0 =C2=A0 =C2=A0(= progn (message "match: rxt-submatch-numbered")
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-adt->strings (rxt-submatch-numbered-bod= y re))))
=C2=A0 =C2=A0 (rxt-repeat
=C2=A0 =C2=A0 =C2=A0(progn (messag= e "match: rxt-repeat")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 (rxt-repeat->strings re)))
=C2=A0 =C2=A0 (rxt-char-set-union
= =C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-char-set-union")<= br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-char-set->strings re))= )
=C2=A0 =C2=A0 (t
=C2=A0 =C2=A0 =C2=A0(error "Can't generat= e productions of %s"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt= -syntax-tree-readable re)))))
#+end_src

which produces below mess= ages:

#+begin_comment
type-of re: rxt-seq, re =3D #s(rxt-seq (#s(= rxt-string "t" nil) #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char= -set-union (115 101) nil nil nil) t))))
match: rxt-seq

type-of re= : rxt-string, re =3D #s(rxt-string "t" nil)
match: rxt-string<= br>
type-of re: rxt-submatch, re =3D #s(rxt-submatch #s(rxt-repeat 4 4 #= s(rxt-char-set-union (115 101) nil nil nil) t))
match: rxt-seq
#+end_= comment

By commenting line (`comp--type-check-optim') in `comp-p= asses' (see below), it fixes locally the issue, which makes me think th= at this is the culprit.

#+begin_src emacs-lisp

(defconst com= p-passes '(comp--spill-lap
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--limplify
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp-= -fwprop
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 comp--call-optim
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--ipa-pure
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 comp--add-cstrs
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--fwprop
=C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ;; comp--type-chec= k-optim
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 comp--tco
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--fwprop
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp-= -remove-type-hints
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--sanitizer
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--compute-f= unction-types
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--final)
=C2=A0 "Passes to be execu= ted in order.")

#+end_src

Kind Regards,
Iurie

=

In GNU Emacs 31.0.50 (build 6, x86_64-pc-linux-gnu, GTK+ Version=C2=A03.24.41, cairo version 1.18.0) of 2024-09-13 built on rrouwprlc0222<= br>Repository revision: 7376623a244a91d1de5245645b4b3e8c9469d422
Reposit= ory branch: master
System Description: Ubuntu 24.04.1 LTS

Configu= red using:
=C2=A0'configure 'CFLAGS=3D -O3 -fallow-store-data-ra= ces
=C2=A0-fno-semantic-interposition -flto -fuse-ld=3Dgold' LD=3D/u= sr/bin/ld.gold
=C2=A0--prefix=3D/tools/emacs/build --sysconfdir=3D/etc=C2=A0--libexecdir=3D/tools/emacs/build/usr/lib
=C2=A0--localstatedir= =3D/tools/emacs/build/var --with-modules
=C2=A0--without-gconf --without= -gsettings --enable-link-time-optimization
=C2=A0--with-x-toolkit=3Dyes = --without-xaw3d --without-m17n-flt --with-cairo
=C2=A0--with-xwidgets --= without-compress-install
=C2=A0--with-native-compilation=3Daot --with-ma= ilutils --with-xft --with-rsvg
=C2=A0--with-pgtk'

Configured = features:
CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS HARFBUZZ JPEG LIBOTF L= IBSELINUX
LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PGTK PNG RS= VG SECCOMP
SOUND SQLITE3 THREADS TIFF TOOLKIT_SCROLL_BARS TREE_SITTER WE= BP XIM
XWIDGETS GTK3 ZLIB

Important settings:
=C2=A0 value of = $LC_ALL: C
=C2=A0 value of $LANG: en_US.UTF-8
=C2=A0 value of $XMODIF= IERS: @im=3Dibus
=C2=A0 locale-coding-system: utf-8

--000000000000eb80180622243bde-- From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 16 Sep 2024 17:23:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Iurie Marian Cc: 73270@debbugs.gnu.org X-Debbugs-Original-Cc: bug-gnu-emacs@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172650732917898 (code B ref -1); Mon, 16 Sep 2024 17:23:02 +0000 Received: (at submit) by debbugs.gnu.org; 16 Sep 2024 17:22:09 +0000 Received: from localhost ([127.0.0.1]:53194 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sqFQP-0004ec-Fa for submit@debbugs.gnu.org; Mon, 16 Sep 2024 13:22:09 -0400 Received: from lists.gnu.org ([209.51.188.17]:45746) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1sqFQO-0004eU-0k for submit@debbugs.gnu.org; Mon, 16 Sep 2024 13:22:08 -0400 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 1sqFQA-0004W8-6Z for bug-gnu-emacs@gnu.org; Mon, 16 Sep 2024 13:21:54 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1sqFQ9-00024G-UK; Mon, 16 Sep 2024 13:21:53 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=J+yy2IeNA9/8eH0kedGl9q1Oa/K7Hvp7bOKYus4O/3I=; b=ZZgw1aUecuO4RhP1X4Xy cr9GSlAQr7YFX4ub3iGLbi7fV9/5Wctk229UAuHUmH7jv3bT0PtKnqYoKWLnfGXWPjGxFcll8sJmG 3Z+UDaff6Z3q4nbx4IMC6qXNB0unQkCVwFTMLHUOf5esa3R4ncIFYwu2xxMUbdF9k5r3qlXCC6Jd1 dIwpNMC7ZUGqXjIdCdQwb0Wnt7FR8O1T3OKkktU34FyzDuwy/7g6MKrXPklWit/6CoUnQHt9UjYqY YxIz3SkyqQ2O2EfeNoMvgP0Q1ZL7SNx3NA15S6n3VDHwGNrm6Ayz096c8d3jbfnpPoCaGdURkN0+f fnO0KmDY9uxtfQ==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1sqFQ7-0002jh-V7; Mon, 16 Sep 2024 13:21:52 -0400 From: Andrea Corallo In-Reply-To: (Iurie Marian's message of "Sun, 15 Sep 2024 10:27:48 +0200") References: Date: Mon, 16 Sep 2024 13:21:51 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) 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 (---) Thanks Iurie, I'll try to look at this this week. Andrea From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 15 Oct 2024 08:38:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Iurie Marian Cc: 73270@debbugs.gnu.org Received: via spool by 73270-submit@debbugs.gnu.org id=B73270.172898146622694 (code B ref 73270); Tue, 15 Oct 2024 08:38:01 +0000 Received: (at 73270) by debbugs.gnu.org; 15 Oct 2024 08:37:46 +0000 Received: from localhost ([127.0.0.1]:54051 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0d3p-0005tx-Mr for submit@debbugs.gnu.org; Tue, 15 Oct 2024 04:37:45 -0400 Received: from eggs.gnu.org ([209.51.188.92]:56434) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0d3n-0005tf-Pe for 73270@debbugs.gnu.org; Tue, 15 Oct 2024 04:37:44 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t0d1K-00066o-CI; Tue, 15 Oct 2024 04:35:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=k4iOQBOLMuGjW1XMFssMjD67AxzFroOtnxHhuMoZmM8=; b=gEHiHihqzfB8g1MUeDRr 2QuTl8rymNZC/cpGtAn7nzdTGVNDI5Vm6WKaTCuvoaKkxX1Ap5oOfVQC0JigO1UI+uwrEhq6YBd45 W0nAv9a3IL2AzRE7//yTyG730LfFozXIlubbCL+XD1hVYdRN0j7aRUrVxmE4KcYj1jWrYmCUKt2rf WfdqhLlVEnlM4tPaCFTdOqshfOlwFCR4Hgoj1GkVO+YSfvoiTNWuILDAjDQGqMMRkRSPZQFzYU4/2 W4ef0FLhSBWDxGJgAp460yENbq+W4dXsBiPvpthhQObxxxNqHoJYUJAmqRlkAqUcwX7urZUeF2RAp kGCv17CAGn9Nug==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1t0d1J-0006nJ-VZ; Tue, 15 Oct 2024 04:35:10 -0400 From: Andrea Corallo In-Reply-To: (Andrea Corallo's message of "Mon, 16 Sep 2024 13:21:51 -0400") References: Date: Tue, 15 Oct 2024 04:35:09 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) 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 (---) Here is my minimal reproducer so far: test.el=============== ;; -*- lexical-binding: t; -*- (require 'cl-lib) (cl-defstruct base) (cl-defstruct (child1 (:include base))) (cl-defstruct (child2 (:include base))) (cl-defstruct (child3 (:include base))) (cl-defstruct (child4 (:include base))) (defun foo (x) (message "type-of x: %S, x = %S" (type-of x) x) (cl-typecase x (child1 (message "match: child1")) (child2 (message "match: child2")) (child3 (message "match: child3")) (child4 (message "match: child4")))) ============= (progn (load (native-compile "test.el")) (foo (make-child4))) evaluates to : "match: child3" I'm looking into it. Andrea From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 15 Oct 2024 20:23:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Iurie Marian Cc: 73270@debbugs.gnu.org Received: via spool by 73270-submit@debbugs.gnu.org id=B73270.172902375631724 (code B ref 73270); Tue, 15 Oct 2024 20:23:01 +0000 Received: (at 73270) by debbugs.gnu.org; 15 Oct 2024 20:22:36 +0000 Received: from localhost ([127.0.0.1]:57633 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0o3w-0008Fc-59 for submit@debbugs.gnu.org; Tue, 15 Oct 2024 16:22:36 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55170) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0o3u-0008FD-RU for 73270@debbugs.gnu.org; Tue, 15 Oct 2024 16:22:35 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t0o3W-0000Ej-0k; Tue, 15 Oct 2024 16:22:10 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=fa1n7fnV1hGYdenV9tSFCVlPot3m46qSTpKV3ujzLVw=; b=bouWh1AgK0YSKM+S+u6A UyLWdfjMNY1SV48kG0Wtighu2UusL6oxEhXuJus233YpqoZtH3UgrcpJQ2nQJ/Ul0zRBbP6tS7bQy adM9Uurq8hhPxBtr7d+VGjKRU7IaBywQgCQHfEwFvapTk5Ek21gDNzsT91A+A7rkP82mqNqqxI9pv /p/C5ufkXQvla6FUzxhnJ5weF9FIrKq2c1qFKxBFw9vwVRbvbWkRH2qfzma9tC/N+PZA1EtYs05Fs JuWxH+B2Ty3gWBjAsN6om4yW4JY1qpoDj/738ynKFP2xv+oGpfuqbPAGKhNBwfRXWhbrNlDQD3gg2 3Yev+b/ld6TCag==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1t0o3V-0005nu-Mi; Tue, 15 Oct 2024 16:22:09 -0400 From: Andrea Corallo In-Reply-To: (Andrea Corallo's message of "Tue, 15 Oct 2024 04:35:09 -0400") References: Date: Tue, 15 Oct 2024 16:22:09 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) 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 (---) Hi Iurie, with cd739d3644b in master I believe this should be fixed. Would you verifying and reporting? Thanks! Andrea From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Andrea Corallo Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 15 Oct 2024 20:30:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Iurie Marian Cc: 73270@debbugs.gnu.org Received: via spool by 73270-submit@debbugs.gnu.org id=B73270.1729024169811 (code B ref 73270); Tue, 15 Oct 2024 20:30:02 +0000 Received: (at 73270) by debbugs.gnu.org; 15 Oct 2024 20:29:29 +0000 Received: from localhost ([127.0.0.1]:57650 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0oAb-0000D1-3O for submit@debbugs.gnu.org; Tue, 15 Oct 2024 16:29:29 -0400 Received: from eggs.gnu.org ([209.51.188.92]:44808) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t0oAZ-0000Cp-Rb for 73270@debbugs.gnu.org; Tue, 15 Oct 2024 16:29:28 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t0oAB-0000zd-1K; Tue, 15 Oct 2024 16:29:03 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=8aGgvocfbWUx6DaD4nY5VWRkmdhMfMnv0+VrKklyvY4=; b=BbQyyBTUl2iMTOpubUfQ i9S7ClRdBq/VhyKyZYZ149UV0qMiU03gxitYnNLCR2VDFkGXrQUT7VeF/GiDT6vKiNFG1DB5BwzVk O2KHzaZ3F+QPQvJ5/Fp4RT727Ni8Igc/2CAw8fgq6XBthlthujc55CiwsewMQ2Yx0eq0SoEzXDEf6 adrCusMWUIwfVX9V3akAvo9/V2XITQpov23GwolbQNgGS0l1ceYxoD5wZqJc2NhljiBKT4stGpjsx +tiPkHm/Agb8hK403s6lJTmFRUTtq7RznQZDs9ijII8K1V4jsWf0RFQz5tTMPuYcyj26kPKF3M3OB uR46hkwwVy6J5w==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1t0oA9-0001cc-8V; Tue, 15 Oct 2024 16:29:02 -0400 From: Andrea Corallo In-Reply-To: (Andrea Corallo's message of "Tue, 15 Oct 2024 16:22:09 -0400") References: Date: Tue, 15 Oct 2024 16:29:01 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain X-Spam-Score: -2.3 (--) 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 (---) Andrea Corallo writes: > Hi Iurie, > > with cd739d3644b in master I believe this should be fixed. Would you > verifying and reporting? ^^ like Andrea From unknown Fri Jun 20 20:11:21 2025 X-Loop: help-debbugs@gnu.org Subject: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues Resent-From: Iurie Marian Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 18 Oct 2024 17:54:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73270 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: To: Andrea Corallo Cc: 73270@debbugs.gnu.org Received: via spool by 73270-submit@debbugs.gnu.org id=B73270.172927402913950 (code B ref 73270); Fri, 18 Oct 2024 17:54:02 +0000 Received: (at 73270) by debbugs.gnu.org; 18 Oct 2024 17:53:49 +0000 Received: from localhost ([127.0.0.1]:39969 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rAa-0003cv-Fs for submit@debbugs.gnu.org; Fri, 18 Oct 2024 13:53:48 -0400 Received: from mail-wm1-f47.google.com ([209.85.128.47]:58598) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t1rAW-0003ck-HJ for 73270@debbugs.gnu.org; Fri, 18 Oct 2024 13:53:46 -0400 Received: by mail-wm1-f47.google.com with SMTP id 5b1f17b1804b1-4311fd48032so22010015e9.0 for <73270@debbugs.gnu.org>; Fri, 18 Oct 2024 10:53:21 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1729273941; x=1729878741; darn=debbugs.gnu.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=Q6mPCe5bRH2jQc/6eLPoBk9+fDb1Oep0c4xzOrkiCME=; b=Xt4KvX29YyevuDjPXGFCrwVQnVr5/81oc7WdJ4dEfnSCNcESePdQFssDH3pGlilTso 8kATYX29tGD83tGjyTjI8K5CM3lfbFfdGOxfH4tnP0cP5RoWgvffqSaJlZp0tUv75MJg Eh45Xx5b1KgC3r+kMvKifoNUfHtux2u0XTQOGNyIKbtyYIgDJbowveDdZ6xvSHxvSUXw 973a3l6HAiGk9/5Te7R3AqFmQBDcmlnPH2nL0SD/6+K6wxUvW6XeIXgu6gtvqt+N1mja /lwZwyKUGXge0koAFh/eKGMn51V/SnBV31eK95Z+EvgQIF5rwDHbPuTrNEdHPBjVazVE CJ8g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1729273941; x=1729878741; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=Q6mPCe5bRH2jQc/6eLPoBk9+fDb1Oep0c4xzOrkiCME=; b=gSqABKt4UaMDQUlysQsBubpBX69vcqluIc62xUA3tl6TlT4gdaNyWhpbpLvrUBqF+L bFcRO4Gf1T4TIyKuUPdXQdyjOyppTgrBgwtKMj3cDn/jYXoFX+w0LizrwXRV/p4rQ1Hl P43KXofm7KIkqceG2TzsJSld/rtVYwkRNF/C5QexfbpADGBKzy2mMM1pfsP337ObrSTQ s8ANi3hU42Ue9/rhRpwdpCOM7WlIZB7oIM7CiFnYT+76ySAIWfwVRWkjlTmmxGWHeV8m zDHHGMPLH9pmI3Wndq/yGhA2V+NYwirL7OPgL5QaPQqvE1qVdKnif0r1ofptZpGTC8Z7 mCkg== X-Gm-Message-State: AOJu0YxhYbMxQcPVjfazoE+EvWVrTnDD2AA7I4zBFssTCuCjIkIZj1U6 N88AU6Or1Wb29IWDZnHc+HUbm8H3F0me1fJoZMUzVaAqvoTx1Cw6oaWbwxaV5iOogBaxjd4La5h H08BvG05RVx4h+fJVdrH3fKkVqZM= X-Google-Smtp-Source: AGHT+IFIlQyX8p8BVDy0oSmFuCxYqK+QvHb167OqLD2y2Z2fNVN5D+GL4sM3R7QToOGJYoqB//VYLAZs5/KSecHHI3o= X-Received: by 2002:a5d:5004:0:b0:374:c640:8596 with SMTP id ffacd0b85a97d-37eab7263b0mr2132863f8f.32.1729273940841; Fri, 18 Oct 2024 10:52:20 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Iurie Marian Date: Fri, 18 Oct 2024 19:52:09 +0200 Message-ID: Content-Type: multipart/alternative; boundary="000000000000f69eb00624c3f6ec" X-Spam-Score: 0.0 (/) 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: -1.0 (-) --000000000000f69eb00624c3f6ec Content-Type: text/plain; charset="UTF-8" Hello Andrea, Yes! I can confirm that it has been fixed. :) Many thanks for your effort and great work! Kind Regards, Iurie On Tue, 15 Oct 2024 at 22:29, Andrea Corallo wrote: > Andrea Corallo writes: > > > Hi Iurie, > > > > with cd739d3644b in master I believe this should be fixed. Would you > > verifying and reporting? > ^^ > like > > Andrea > --000000000000f69eb00624c3f6ec Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hello Andrea,

Yes! I can confirm that i= t has been fixed. :)
Many thanks for your effort and great work!<= /div>

Kind Regards,
Iurie

On Tue, 15 Oct = 2024 at 22:29, Andrea Corallo <acora= llo@gnu.org> wrote:
Andrea Corallo <acorallo@gnu.org> writes:

> Hi Iurie,
>
> with cd739d3644b in master I believe this should be fixed.=C2=A0 Would= you
>=C2=A0 verifying and reporting?
^^
like

=C2=A0 Andrea
--000000000000f69eb00624c3f6ec-- From unknown Fri Jun 20 20:11:21 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Iurie Marian Subject: bug#73270: closed (Re: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues) Message-ID: References: X-Gnu-PR-Message: they-closed 73270 X-Gnu-PR-Package: emacs Reply-To: 73270@debbugs.gnu.org Date: Mon, 21 Oct 2024 15:46:04 +0000 Content-Type: multipart/mixed; boundary="----------=_1729525564-31980-1" This is a multi-part message in MIME format... ------------=_1729525564-31980-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #73270: 31.0.50; comp.el comp--type-check-optim pass causes issues which was filed against the emacs package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 73270@debbugs.gnu.org. --=20 73270: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73270 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1729525564-31980-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 73270-done) by debbugs.gnu.org; 21 Oct 2024 15:45:09 +0000 Received: from localhost ([127.0.0.1]:52993 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2uai-0008Cg-Hp for submit@debbugs.gnu.org; Mon, 21 Oct 2024 11:45:08 -0400 Received: from eggs.gnu.org ([209.51.188.92]:41848) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1t2uag-0008Br-EQ for 73270-done@debbugs.gnu.org; Mon, 21 Oct 2024 11:45:07 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1t2uaA-0007vm-GH; Mon, 21 Oct 2024 11:44:34 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=FV5BifYQ7oXXsHBDESis5y+j0SZDcURCVq5Z3n4ATMY=; b=KaeY2YkSC3uWTxDZyfHV e32kZ4J2aJbEwfk3q3rYYJ5Zg5L4WIAcYCZ9aD26dXa6i3242zHt/XA3VJVCwwQZ2cxzQ4PpBpUbb PVftSUlrCw04SIXPUzz0060LkjDQ3laxwKEC0hhL2ZV/t4Ih/PB0CmzG+EF8I4EsoZeDlfHVGOzzG DFCR91lc7Ua82BwOI+gOZY+RJHhUXu1GYsAbYgOS2R2yiChlLlTF8xVWdtx9qk+uSNV/yqlNZNeeP MuW/GU01IHOQhmHXXvUKnZlDuYl5F6+BW+8UFEpqwkfhEf6tVMgtVg1pDWxj0MpSW0nyjeT3zxXyA RxFawG9Kd6U7Hw==; Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1t2uZp-000220-RI; Mon, 21 Oct 2024 11:44:33 -0400 From: Andrea Corallo To: Iurie Marian Subject: Re: bug#73270: 31.0.50; comp.el comp--type-check-optim pass causes issues In-Reply-To: (Iurie Marian's message of "Fri, 18 Oct 2024 19:52:09 +0200") References: Date: Mon, 21 Oct 2024 11:44:01 -0400 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 73270-done Cc: 73270-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 (---) Iurie Marian writes: > Hello Andrea, > > Yes! I can confirm that it has been fixed. :) > Many thanks for your effort and great work! > > Kind Regards, > Iurie Thank you for the precise report =F0=9F=91=8D closing Andrea ------------=_1729525564-31980-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 15 Sep 2024 08:28:20 +0000 Received: from localhost ([127.0.0.1]:48323 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spkcF-0004F1-Fy for submit@debbugs.gnu.org; Sun, 15 Sep 2024 04:28:20 -0400 Received: from lists.gnu.org ([209.51.188.17]:46628) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1spkcC-0004Er-Sy for submit@debbugs.gnu.org; Sun, 15 Sep 2024 04:28:17 -0400 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 1spkc0-0001WQ-UX for bug-gnu-emacs@gnu.org; Sun, 15 Sep 2024 04:28:05 -0400 Received: from mail-wm1-x331.google.com ([2a00:1450:4864:20::331]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1spkby-0001SX-Jq; Sun, 15 Sep 2024 04:28:04 -0400 Received: by mail-wm1-x331.google.com with SMTP id 5b1f17b1804b1-42cbface8d6so29800175e9.3; Sun, 15 Sep 2024 01:28:01 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1726388880; x=1726993680; darn=gnu.org; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=bBvXMpkSuZq03cJbXYejPwPMHo2EfvY6Y5XzABn0wYc=; b=HrcGlApg17ybqDIpmkivTCU/3LJfMU53ZWn5HUwrJGylWMCdyiMWmNm4ibTp2VqGKV ++rH8J0X2de2p9tWG27FA7Dyn8OuKkCnsYu4yqXfS2+ABquyJcsBmxXancF6Jn7h3JZu GXFJJM06S9jInigto8OHi/3efXGG//WX6PcJHKnujNniQkR21Y5ojnGMZ7usDGYYnLI8 Fazl0aODDfPGEYRB/bUyk5beUmRXwuOvnPexv71rZT/cD0/vUuGX+aLWw2TYr4QH1juj jDF6cX7qM6F0pdKRDOf09syGNqA6hXT9NHvSf9e8pamvnGL04SeW4Qp7dfVv6Yjsu9A4 TtOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1726388880; x=1726993680; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=bBvXMpkSuZq03cJbXYejPwPMHo2EfvY6Y5XzABn0wYc=; b=HzOkUjjIBLzvQ0zttAcaTE/RUJibyG6jzRIg3s3rgK9rUnP4HW/3vLfOjcpjwhRezp yMu0+6dimDEzt2fTUbrmCU/JQqqtMVnZUmt9brAME7iOxzMPGD0YoSJnTpXWL0iRNsj0 NABbX2dd9oLn+nnr84Juf63K+Ah72tdE9AVHazIzy6z+l/GKvq625Bg9dYH9pUURIGEC PwusS+gguNHYU3nuSRiCQzAsxC2WCvg2cDKq9x7X0i8IHNkHWGlsgJcWR7YPzD/MRhuu KN/WYLdqBQbI5KX17+vW015Zhd+8ufU/bj7CqqsfjWMh56AQKduW6i+/IogEpC450BGl /L4A== X-Forwarded-Encrypted: i=1; AJvYcCUuDkNyP/8pbo15y/nzkgd2I1rt3nw6YZQOS3bXGsfCbqqXbvnKEUtQZdvaJEzZ3CmnqQ1FI1DT3g==@gnu.org X-Gm-Message-State: AOJu0YyeSvznT2InAKeiPBLzKlaRMS649aYabiwgVgWsCK1TjlUt9vb6 YaAFqeWSc5lUv0FtATiwtrS3ipvNPqhbsbjyozxW+ax1iC7qYUceXHl2Rxwa1BBJd2EQu4ZTeu0 e8Nl+niRvsmKQ9FYwoTeoVDHq86cXQyeG X-Google-Smtp-Source: AGHT+IH+Gm2nsXM5lcZ9hvfJ3HJVLIwU/gICZliFZEZvkSKlAGYP1tzJSbHxj6OdMdqoAEw586zea35E35zeJifYPZM= X-Received: by 2002:a05:600c:3ba6:b0:42c:bd4d:e8ab with SMTP id 5b1f17b1804b1-42d9072056bmr81001785e9.10.1726388879717; Sun, 15 Sep 2024 01:27:59 -0700 (PDT) MIME-Version: 1.0 From: Iurie Marian Date: Sun, 15 Sep 2024 10:27:48 +0200 Message-ID: Subject: 31.0.50; comp.el comp--type-check-optim pass causes issues To: bug-gnu-emacs@gnu.org, acorallo@gnu.org Content-Type: multipart/alternative; boundary="000000000000eb80180622243bde" Received-SPF: pass client-ip=2a00:1450:4864:20::331; envelope-from=marian.iurie@gmail.com; helo=mail-wm1-x331.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.3 (-) X-Debbugs-Envelope-To: submit 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: -2.3 (--) --000000000000eb80180622243bde Content-Type: text/plain; charset="UTF-8" Dear Emacs maintainers, I encountered an issue with latest Emacs' master branch. I am using a package `pcre2el' and I noticed a wrong behavior after updating Emacs. I tracked the change which causes the issue, and it seems it's the below commit: #+begin_comment a1775552cef5a8bc0ba13e802ecf343423a53364 Author: Andrea Corallo AuthorDate: Tue May 23 11:18:07 2023 +0200 Commit: Andrea Corallo CommitDate: Thu Jul 11 16:26:49 2024 +0200 #+end_comment probably the newly introduced `comp--type-check-optim' is causing the issue. Issue description: * `pcre2el''s rxt-adt->strings execution expectation #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{2})" nil))) ("tss" "tse" "tes" "tee") #+end_comment * The error #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))) *** Eval error *** Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t) #+end_comment That's how the above function [[ https://github.com/joddie/pcre2el/blob/b4d846d80dddb313042131cf2b8fbf647567e000/pcre2el.el#L2984C1-L3004C46][rxt-adt->strings]] looks like: #+begin_src emacs-lisp (defun rxt-adt->strings (re) (cl-typecase re (rxt-primitive (list "")) (rxt-string (list (rxt-string-chars re))) (rxt-seq (rxt-seq-elts->strings (rxt-seq-elts re))) (rxt-choice (rxt-choice-elts->strings (rxt-choice-elts re))) (rxt-submatch (rxt-adt->strings (rxt-submatch-body re))) (rxt-submatch-numbered (rxt-adt->strings (rxt-submatch-numbered-body re))) (rxt-repeat (rxt-repeat->strings re)) (rxt-char-set-union (rxt-char-set->strings re)) (t (error "Can't generate productions of %s" (rxt-syntax-tree-readable re))))) #+end_src The issue comes from #+begin_comment (cl-typecase re #+end_comment instead of matching below: #+begin_comment (rxt-submatch (rxt-adt->strings (rxt-submatch-body re))) #+end_comment it wrongly matches: #+begin_comment (rxt-seq (rxt-seq-elts->strings (rxt-seq-elts re))) #+end_comment and throws the error #+begin_comment ELISP> (rxt-adt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))) *** Eval error *** Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t) #+end_comment To quickly check this I've added some traces: #+begin_src emacs-lisp (defun rxt-adt->strings (re) (message "type-of re: %S, re = %S" (type-of re) re) (cl-typecase re (rxt-primitive (progn (message "match: rxt-primitive") (list ""))) (rxt-string (progn (message "match: rxt-string") (list (rxt-string-chars re)))) (rxt-seq (progn (message "match: rxt-seq") (rxt-seq-elts->strings (rxt-seq-elts re)))) (rxt-choice (progn (message "match: rxt-choice") (rxt-choice-elts->strings (rxt-choice-elts re)))) (rxt-submatch (progn (message "match: rxt-submatch") (rxt-adt->strings (rxt-submatch-body re)))) (rxt-submatch-numbered (progn (message "match: rxt-submatch-numbered") (rxt-adt->strings (rxt-submatch-numbered-body re)))) (rxt-repeat (progn (message "match: rxt-repeat") (rxt-repeat->strings re))) (rxt-char-set-union (progn (message "match: rxt-char-set-union") (rxt-char-set->strings re))) (t (error "Can't generate productions of %s" (rxt-syntax-tree-readable re))))) #+end_src which produces below messages: #+begin_comment type-of re: rxt-seq, re = #s(rxt-seq (#s(rxt-string "t" nil) #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t)))) match: rxt-seq type-of re: rxt-string, re = #s(rxt-string "t" nil) match: rxt-string type-of re: rxt-submatch, re = #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char-set-union (115 101) nil nil nil) t)) match: rxt-seq #+end_comment By commenting line (`comp--type-check-optim') in `comp-passes' (see below), it fixes locally the issue, which makes me think that this is the culprit. #+begin_src emacs-lisp (defconst comp-passes '(comp--spill-lap comp--limplify comp--fwprop comp--call-optim comp--ipa-pure comp--add-cstrs comp--fwprop ;; comp--type-check-optim comp--tco comp--fwprop comp--remove-type-hints comp--sanitizer comp--compute-function-types comp--final) "Passes to be executed in order.") #+end_src Kind Regards, Iurie In GNU Emacs 31.0.50 (build 6, x86_64-pc-linux-gnu, GTK+ Version 3.24.41, cairo version 1.18.0) of 2024-09-13 built on rrouwprlc0222 Repository revision: 7376623a244a91d1de5245645b4b3e8c9469d422 Repository branch: master System Description: Ubuntu 24.04.1 LTS Configured using: 'configure 'CFLAGS= -O3 -fallow-store-data-races -fno-semantic-interposition -flto -fuse-ld=gold' LD=/usr/bin/ld.gold --prefix=/tools/emacs/build --sysconfdir=/etc --libexecdir=/tools/emacs/build/usr/lib --localstatedir=/tools/emacs/build/var --with-modules --without-gconf --without-gsettings --enable-link-time-optimization --with-x-toolkit=yes --without-xaw3d --without-m17n-flt --with-cairo --with-xwidgets --without-compress-install --with-native-compilation=aot --with-mailutils --with-xft --with-rsvg --with-pgtk' Configured features: CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS HARFBUZZ JPEG LIBOTF LIBSELINUX LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PGTK PNG RSVG SECCOMP SOUND SQLITE3 THREADS TIFF TOOLKIT_SCROLL_BARS TREE_SITTER WEBP XIM XWIDGETS GTK3 ZLIB Important settings: value of $LC_ALL: C value of $LANG: en_US.UTF-8 value of $XMODIFIERS: @im=ibus locale-coding-system: utf-8 --000000000000eb80180622243bde Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Dear Emacs maintainers,

I encountered an issue with= latest Emacs' master branch. I am using a package `pcre2el'
and= I noticed a wrong behavior after updating Emacs. I tracked the change whic= h causes the
issue, and it seems it's the below commit:
#+begin_c= omment
a1775552cef5a8bc0ba13e802ecf343423a53364
Author: =C2=A0 =C2=A0= Andrea Corallo <akrl@sdf.org>AuthorDate: Tue May 23 11:18:07 2023 +0200
Commit: =C2=A0 =C2=A0 Andrea= Corallo <acorallo@gnu.org>CommitDate: Thu Jul 11 16:26:49 2024 +0200
#+end_comment
probably t= he newly introduced `comp--type-check-optim' is causing the issue.
<= br>Issue description:
* `pcre2el''s rxt-adt->strings executio= n expectation
#+begin_comment
ELISP> (rxt-adt->strings (rxt-pa= rse-pcre (rxt--add-flags "t([es]{2})" nil)))
("tss" = "tse" "tes" "tee")
#+end_comment

* = The error
#+begin_comment
ELISP> (rxt-adt->strings (rxt-parse-p= cre (rxt--add-flags "t([es]{4})" nil)))
*** Eval error *** =C2= =A0Wrong type argument: listp, #s(rxt-repeat 4 4 #s(rxt-char-set-union (115= 101) nil nil nil) t)
#+end_comment

That's how the above func= tion [[https://githu= b.com/joddie/pcre2el/blob/b4d846d80dddb313042131cf2b8fbf647567e000/pcre2el.= el#L2984C1-L3004C46][rxt-adt->strings]] looks like:

#+begin_s= rc emacs-lisp
(defun rxt-adt->strings (re)
=C2=A0 (cl-typecase re<= br>=C2=A0 =C2=A0 (rxt-primitive
=C2=A0 =C2=A0 =C2=A0(list ""))=
=C2=A0 =C2=A0 (rxt-string
=C2=A0 =C2=A0 =C2=A0(list (rxt-string-char= s re)))
=C2=A0 =C2=A0 (rxt-seq
=C2=A0 =C2=A0 =C2=A0(rxt-seq-elts->= strings (rxt-seq-elts re)))
=C2=A0 =C2=A0 (rxt-choice
=C2=A0 =C2=A0 = =C2=A0(rxt-choice-elts->strings (rxt-choice-elts re)))
=C2=A0 =C2=A0 = (rxt-submatch
=C2=A0 =C2=A0 =C2=A0(rxt-adt->strings (rxt-submatch-bod= y re)))
=C2=A0 =C2=A0 (rxt-submatch-numbered
=C2=A0 =C2=A0 =C2=A0(rxt= -adt->strings (rxt-submatch-numbered-body re)))
=C2=A0 =C2=A0 (rxt-re= peat
=C2=A0 =C2=A0 =C2=A0(rxt-repeat->strings re))
=C2=A0 =C2=A0 (= rxt-char-set-union
=C2=A0 =C2=A0 =C2=A0(rxt-char-set->strings re))=C2=A0 =C2=A0 (t
=C2=A0 =C2=A0 =C2=A0(error "Can't generate pr= oductions of %s"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-syn= tax-tree-readable re)))))
#+end_src

The issue comes from
#+be= gin_comment
=C2=A0 (cl-typecase re
#+end_comment

instead of ma= tching below:
#+begin_comment
=C2=A0 =C2=A0 (rxt-submatch
=C2=A0 = =C2=A0 =C2=A0(rxt-adt->strings (rxt-submatch-body re)))
#+end_comment=

it wrongly matches:
#+begin_comment
=C2=A0 =C2=A0 (rxt-seq=C2=A0 =C2=A0 =C2=A0(rxt-seq-elts->strings (rxt-seq-elts re)))
#+end= _comment

and throws the error
#+begin_comment
ELISP> (rxt-a= dt->strings (rxt-parse-pcre (rxt--add-flags "t([es]{4})" nil))= )
*** Eval error *** =C2=A0Wrong type argument: listp, #s(rxt-repeat 4 4= #s(rxt-char-set-union (115 101) nil nil nil) t)
#+end_comment

To= quickly check this I've added some traces:
#+begin_src emacs-lisp(defun rxt-adt->strings (re)
=C2=A0 (message "type-of re: %S, = re =3D %S" (type-of re) re)
=C2=A0 (cl-typecase re
=C2=A0 =C2=A0= (rxt-primitive
=C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-pri= mitive")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (list "&quo= t;)))
=C2=A0 =C2=A0 (rxt-string
=C2=A0 =C2=A0 =C2=A0(progn (message &= quot;match: rxt-string")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = (list (rxt-string-chars re))))
=C2=A0 =C2=A0 (rxt-seq
=C2=A0 =C2=A0 = =C2=A0(progn (message "match: rxt-seq")
=C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 (rxt-seq-elts->strings (rxt-seq-elts re))))
=C2= =A0 =C2=A0 (rxt-choice
=C2=A0 =C2=A0 =C2=A0(progn (message "match: = rxt-choice")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-choice-= elts->strings (rxt-choice-elts re))))
=C2=A0 =C2=A0 (rxt-submatch
= =C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-submatch")
=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-adt->strings (rxt-submatch-b= ody re))))
=C2=A0 =C2=A0 (rxt-submatch-numbered
=C2=A0 =C2=A0 =C2=A0(= progn (message "match: rxt-submatch-numbered")
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-adt->strings (rxt-submatch-numbered-bod= y re))))
=C2=A0 =C2=A0 (rxt-repeat
=C2=A0 =C2=A0 =C2=A0(progn (messag= e "match: rxt-repeat")
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 (rxt-repeat->strings re)))
=C2=A0 =C2=A0 (rxt-char-set-union
= =C2=A0 =C2=A0 =C2=A0(progn (message "match: rxt-char-set-union")<= br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt-char-set->strings re))= )
=C2=A0 =C2=A0 (t
=C2=A0 =C2=A0 =C2=A0(error "Can't generat= e productions of %s"
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 (rxt= -syntax-tree-readable re)))))
#+end_src

which produces below mess= ages:

#+begin_comment
type-of re: rxt-seq, re =3D #s(rxt-seq (#s(= rxt-string "t" nil) #s(rxt-submatch #s(rxt-repeat 4 4 #s(rxt-char= -set-union (115 101) nil nil nil) t))))
match: rxt-seq

type-of re= : rxt-string, re =3D #s(rxt-string "t" nil)
match: rxt-string<= br>
type-of re: rxt-submatch, re =3D #s(rxt-submatch #s(rxt-repeat 4 4 #= s(rxt-char-set-union (115 101) nil nil nil) t))
match: rxt-seq
#+end_= comment

By commenting line (`comp--type-check-optim') in `comp-p= asses' (see below), it fixes locally the issue, which makes me think th= at this is the culprit.

#+begin_src emacs-lisp

(defconst com= p-passes '(comp--spill-lap
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--limplify
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp-= -fwprop
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 comp--call-optim
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--ipa-pure
=C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 comp--add-cstrs
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--fwprop
=C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 ;; comp--type-chec= k-optim
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 comp--tco
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--fwprop
=C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp-= -remove-type-hints
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--sanitizer
=C2=A0 =C2=A0 =C2=A0 =C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--compute-f= unction-types
=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 = =C2=A0 =C2=A0 =C2=A0 =C2=A0 comp--final)
=C2=A0 "Passes to be execu= ted in order.")

#+end_src

Kind Regards,
Iurie

=

In GNU Emacs 31.0.50 (build 6, x86_64-pc-linux-gnu, GTK+ Version=C2=A03.24.41, cairo version 1.18.0) of 2024-09-13 built on rrouwprlc0222<= br>Repository revision: 7376623a244a91d1de5245645b4b3e8c9469d422
Reposit= ory branch: master
System Description: Ubuntu 24.04.1 LTS

Configu= red using:
=C2=A0'configure 'CFLAGS=3D -O3 -fallow-store-data-ra= ces
=C2=A0-fno-semantic-interposition -flto -fuse-ld=3Dgold' LD=3D/u= sr/bin/ld.gold
=C2=A0--prefix=3D/tools/emacs/build --sysconfdir=3D/etc=C2=A0--libexecdir=3D/tools/emacs/build/usr/lib
=C2=A0--localstatedir= =3D/tools/emacs/build/var --with-modules
=C2=A0--without-gconf --without= -gsettings --enable-link-time-optimization
=C2=A0--with-x-toolkit=3Dyes = --without-xaw3d --without-m17n-flt --with-cairo
=C2=A0--with-xwidgets --= without-compress-install
=C2=A0--with-native-compilation=3Daot --with-ma= ilutils --with-xft --with-rsvg
=C2=A0--with-pgtk'

Configured = features:
CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS HARFBUZZ JPEG LIBOTF L= IBSELINUX
LIBXML2 MODULES NATIVE_COMP NOTIFY INOTIFY PDUMPER PGTK PNG RS= VG SECCOMP
SOUND SQLITE3 THREADS TIFF TOOLKIT_SCROLL_BARS TREE_SITTER WE= BP XIM
XWIDGETS GTK3 ZLIB

Important settings:
=C2=A0 value of = $LC_ALL: C
=C2=A0 value of $LANG: en_US.UTF-8
=C2=A0 value of $XMODIF= IERS: @im=3Dibus
=C2=A0 locale-coding-system: utf-8

--000000000000eb80180622243bde-- ------------=_1729525564-31980-1--