GNU logs - #79416, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#79416: 31.0.50; current value of `macro-declarations-alist' not from definition in byte-run.el
Resent-From: David Ponce <da_vid@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 09 Sep 2025 20:12:02 +0000
Resent-Message-ID: <handler.79416.B.175744871025880 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 79416 <at> debbugs.gnu.org
Content-Type: multipart/mixed; boundary="------------tivySJrTxQJ1uZMuNCSROGKD"
Message-ID: <47cb5083-e631-4ac8-aaea-5f4d42bf1bb5@HIDDEN>
Date: Tue, 9 Sep 2025 22:11:10 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: fr
From: David Ponce <da_vid@HIDDEN>
Received-SPF: pass client-ip=80.12.242.76; envelope-from=da_vid@HIDDEN;
 helo=smtp.smtpout.orange.fr
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,
 RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H5=0.001, RCVD_IN_MSPIKE_WL=0.001,
 RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, RCVD_IN_VALIDITY_SAFE_BLOCKED=0.001,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 1.0 (+)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.0 (/)

This is a multi-part message in MIME format.
--------------tivySJrTxQJ1uZMuNCSROGKD
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit

Hello,

I found that the value of the variable `macro-declarations-alist', as
defined in byte-run.el, is not the value used in emacs.  To illustrate,
start emacs -Q and evaluate macro-declarations-alist, the result is
something like:

'((cl-optimize cl--optimize)
  (gv-expander gv--expander-defun-declaration)
  (debug byte-run--set-debug)
  (autoload-macro byte-run--set-autoload-macro)
  (no-font-lock-keyword byte-run--set-no-font-lock-keyword)
  (advertised-calling-convention
   byte-run--set-advertised-calling-convention)
  (obsolete byte-run--set-obsolete)
  (interactive-only byte-run--set-interactive-only)
  (pure byte-run--set-pure
        "If non-nil, the compiler can replace calls with their return value.\nThis may shift errors from run-time to compile-time.")
  (side-effect-free byte-run--set-side-effect-free
		   "If non-nil, calls can be ignored if their value is unused.\nIf `error-free', drop calls even if `byte-compile-delete-errors' is nil.")
  (important-return-value byte-run--set-important-return-value
			 "If non-nil, warn about calls not using the returned value.")
  (compiler-macro byte-run--set-compiler-macro)
  (doc-string byte-run--set-doc-string) (indent byte-run--set-indent)
  (speed byte-run--set-speed) (safety byte-run--set-safety)
  (completion byte-run--set-completion) (modes byte-run--set-modes)
  (interactive-args byte-run--set-interactive-args)
  (ftype byte-run--set-function-type))

 From the definition in byte-run.el the value is:

((debug byte-run--set-debug)
  (autoload-macro byte-run--set-autoload-macro)
  (no-font-lock-keyword byte-run--set-no-font-lock-keyword)
  (cl-optimize cl--optimize) (gv-setter gv--setter-defun-declaration)
  (gv-expander gv--expander-defun-declaration)
  (advertised-calling-convention
   byte-run--set-advertised-calling-convention)
  (obsolete byte-run--set-obsolete)
  (interactive-only byte-run--set-interactive-only)
  (pure byte-run--set-pure
        "If non-nil, the compiler can replace calls with their return value.\nThis may shift errors from run-time to compile-time.")
  (side-effect-free byte-run--set-side-effect-free
		   "If non-nil, calls can be ignored if their value is unused.\nIf `error-free', drop calls even if `byte-compile-delete-errors' is nil.")
  (important-return-value byte-run--set-important-return-value
			 "If non-nil, warn about calls not using the returned value.")
  (compiler-macro byte-run--set-compiler-macro)
  (doc-string byte-run--set-doc-string) (indent byte-run--set-indent)
  (speed byte-run--set-speed) (safety byte-run--set-safety)
  (completion byte-run--set-completion) (modes byte-run--set-modes)
  (interactive-args byte-run--set-interactive-args)
  (ftype byte-run--set-function-type))

Compared to the version in byte-run.el, the current version is
missing the declaration: '(gv-setter gv--setter-defun-declaration)

This leads to this warning when byte-compiling or loading the attached
test file code.el, after starting emacs -Q: Warning: Unknown macro
property ‘gv-setter’.  And running the small test at the end of
code.el signal the error (void-function \(setf\ my--get-v\)).

If the value of `macro-declarations-alist' is then refreshed from the
definition in byte-run.el, the same file is byte-compiled without
warning, and the small test returns the expected result.

Maybe the issue is in gv.el that doesn't autoload the gv-setter
declaration for macros.  The attached V0 patch seems to have fixed the
problem for me.

Can you please confirm the issue and maybe fix it, if my patch is
correct?

Thanks

In GNU Emacs 31.0.50 (build 8, x86_64-pc-linux-gnu, GTK+ Version
  3.24.49, cairo version 1.18.2) of 2025-09-08
Repository revision: 5be32aa047d18b578412e8b249bb4f128a0dc207
Repository branch: master
Windowing system distributor 'The X.Org Foundation', version 11.0.12101018
System Description: Fedora Linux 42 (KDE Plasma Desktop Edition)

Configured using:
  'configure --with-native-compilation=no
  --with-tree-sitter=no'

Configured features:
ACL CAIRO DBUS FREETYPE GIF GLIB GMP GNUTLS GPM GSETTINGS HARFBUZZ JPEG
LCMS2 LIBOTF LIBSELINUX LIBSYSTEMD LIBXML2 M17N_FLT MODULES NOTIFY
INOTIFY PDUMPER PNG RSVG SECCOMP SOUND SQLITE3 THREADS TIFF
TOOLKIT_SCROLL_BARS WEBP X11 XDBE XIM XINERAMA XINPUT2 XPM XRANDR GTK3
ZLIB

Important settings:
   value of $LC_TIME: fr_FR.utf8
   value of $LANG: fr_FR.UTF-8
   locale-coding-system: utf-8-unix

--------------tivySJrTxQJ1uZMuNCSROGKD
Content-Type: text/x-patch; charset=UTF-8;
 name="gv-fix-macro-decl-alist-autoload-V0.patch"
Content-Disposition: attachment;
 filename="gv-fix-macro-decl-alist-autoload-V0.patch"
Content-Transfer-Encoding: base64

ZGlmZiAtLWdpdCBhL2xpc3AvZW1hY3MtbGlzcC9ndi5lbCBiL2xpc3AvZW1hY3MtbGlzcC9n
di5lbAppbmRleCBiNmMxZjJjOWY5Zi4uMWIzOWRkZDU0MTMgMTAwNjQ0Ci0tLSBhL2xpc3Av
ZW1hY3MtbGlzcC9ndi5lbAorKysgYi9saXNwL2VtYWNzLWxpc3AvZ3YuZWwKQEAgLTIwMyw4
ICsyMDMsOSBAQCBndi0tc2V0dGVyLWRlZnVuLWRlY2xhcmF0aW9uCiAgICAgICAocHVzaCB4
IGRlZnVuLWRlY2xhcmF0aW9ucy1hbGlzdCkpKQogOzs7IyMjYXV0b2xvYWQKIChvciAoYXNz
cSAnZ3Ytc2V0dGVyIGRlZnVuLWRlY2xhcmF0aW9ucy1hbGlzdCkKLSAgICAocHVzaCAobGlz
dCAnZ3Ytc2V0dGVyICMnZ3YtLXNldHRlci1kZWZ1bi1kZWNsYXJhdGlvbikKLQkgIGRlZnVu
LWRlY2xhcmF0aW9ucy1hbGlzdCkpCisgICAgKGxldCAoKHggKGxpc3QgJ2d2LXNldHRlciAj
J2d2LS1zZXR0ZXItZGVmdW4tZGVjbGFyYXRpb24pKSkKKyAgICAgIChwdXNoIHggbWFjcm8t
ZGVjbGFyYXRpb25zLWFsaXN0KQorICAgICAgKHB1c2ggeCBkZWZ1bi1kZWNsYXJhdGlvbnMt
YWxpc3QpKSkKIAogOzs7IyMjYXV0b2xvYWQKIChsZXQgKChzcGVjIChnZXQgJ2NvbXBpbGVy
LW1hY3JvICdlZGVidWctZGVjbGFyYXRpb24tc3BlYykpKQo=
--------------tivySJrTxQJ1uZMuNCSROGKD
Content-Type: text/x-emacs-lisp; charset=UTF-8; name="code.el"
Content-Disposition: attachment; filename="code.el"
Content-Transfer-Encoding: base64

OzsgLSotIGxleGljYWwtYmluZGluZzogdDsgLSotCihkZWZ1biBteS0tc2V0LXYgKHYgaSB2
YWx1ZSkKICAoYXNldCB2IGkgdmFsdWUpKQoKKGRlZnVuIG15LS1nZXQtdiAodiBpKQogIChh
cmVmIHYgaSkpCgooZGVmdW4gbXktZ2V0LXYxICh2IGkpCiAgKGRlY2xhcmUgKGd2LXNldHRl
cgogICAgICAgICAgICAobGFtYmRhICh2YWx1ZSkKICAgICAgICAgICAgICBgKG15LS1zZXQt
diAsdiAsaSAsdmFsdWUpKSkpCiAgKG15LS1nZXQtdiB2IGkpKQoKKGRlZm1hY3JvIG15LWdl
dC12MiAodiBpKQogIChkZWNsYXJlIChndi1zZXR0ZXIKICAgICAgICAgICAgKGxhbWJkYSAo
dmFsdWUpCiAgICAgICAgICAgICAgYChteS0tc2V0LXYgLHYgLGkgLHZhbHVlKSkpKQogIGAo
bXktLWdldC12ICx2ICxpKSkKCjs7IFNpbXBsZSB0ZXN0IC0gZXZhbCB0aGUgdW5xdW90ZWQg
bGV0IHNleHAgLSBleHBlY3RlZCByZXN1bHQgaXM6Cjs7ICh0d28gdGhyZWUpCicobGV0ICgo
diAodmVjdG9yIDAgMSAyIDMgNCkpCiAgICAgIChpIDIpCiAgICAgIChqIDMpKQogIChzZXRm
IChteS1nZXQtdjEgdiBpKSAndHdvKQogIChzZXRmIChteS1nZXQtdjIgdiBqKSAndGhyZWUp
CiAgKGxpc3QgKG15LWdldC12MSB2IGkpCiAgICAgICAgKG15LWdldC12MiB2IGopKSkKCg==


--------------tivySJrTxQJ1uZMuNCSROGKD--

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: David Ponce <da_vid@HIDDEN>
Subject: bug#79416: Acknowledgement (31.0.50; current value of
 `macro-declarations-alist' not from definition in byte-run.el)
Message-ID: <handler.79416.B.175744871025880.ack <at> debbugs.gnu.org>
References: <47cb5083-e631-4ac8-aaea-5f4d42bf1bb5@HIDDEN>
X-Gnu-PR-Message: ack 79416
X-Gnu-PR-Package: emacs
Reply-To: 79416 <at> debbugs.gnu.org
Date: Tue, 09 Sep 2025 20:12:02 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 79416 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
79416: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D79416
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#79416: 31.0.50; current value of `macro-declarations-alist' not from definition in byte-run.el
References: <47cb5083-e631-4ac8-aaea-5f4d42bf1bb5@HIDDEN>
In-Reply-To: <47cb5083-e631-4ac8-aaea-5f4d42bf1bb5@HIDDEN>
Resent-From: David Ponce <da_vid@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Wed, 01 Oct 2025 11:29:02 +0000
Resent-Message-ID: <handler.79416.B79416.175931810515821 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 79416 <at> debbugs.gnu.org
Message-ID: <30eaa6e3-839b-422a-a1f5-92fee12334f0@HIDDEN>
Date: Wed, 1 Oct 2025 13:28:13 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: fr
From: David Ponce <da_vid@HIDDEN>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>

Hello,

I can't believe this bug report was missed ;-)
Do you need more information from me?
No rush, of course.

Thanks!
David

Last modified: Wed, 1 Oct 2025 11:30:03 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.