GNU logs - #72145, boring messages

Message sent to bug-gnu-emacs@HIDDEN:

Subject: bug#72145: rare Emacs screwups on x86 due to GCC bug 58416
Resent-From: Paul Eggert <eggert@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Tue, 16 Jul 2024 23:27:02 +0000
Resent-Message-ID: <handler.72145.B.172117240729060 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 72145 <at> debbugs.gnu.org
Content-Type: multipart/mixed; boundary="------------ACQdPPR23JeukjDZuA8EIuWr"
Message-ID: <e7c67465-1734-48c8-82bb-6b96eee4e167@HIDDEN>
Date: Tue, 16 Jul 2024 16:26:33 -0700
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
From: Paul Eggert <eggert@HIDDEN>
Organization: UCLA Computer Science Department
Received-SPF: pass client-ip=131.179.128.66; envelope-from=eggert@HIDDEN;
 helo=mail.cs.ucla.edu
X-Spam_score_int: -19
X-Spam_score: -2.0
X-Spam_bar: --
X-Spam_report: (-2.0 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, 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 <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: -2.3 (--)

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

While testing GNU Emacs built on Fedora 40 with gcc (GCC) 14.1.1 
20240607 (Red Hat 14.1.1-5) with -m32 for x86 and configured 
--with-wide-int, I discovered that Emacs misbehaved in a hard-to-debug 
way due to GCC bug 58416. This bug causes GCC to generate wrong x86 
machine instructions when a C program accesses a union containing a 
'double'.

The bug I observed is that if you have something like this:

    union u { double d; long long int i; } u;

then GCC sometimes generates x86 instructions that copy u.i by using 
fldl/fstpl instruction pairs to push the 64-bit quantity onto the 387 
floating point stack, and then pop the stack into another memory 
location. Unfortunately the fldl/fstpl trick fails in the unusual case 
when the bit pattern of u.i, when interpreted as a double, is a NaN, as 
that can cause the fldl/fstpl pair to store a different NaN with a 
different bit pattern, which means the destination integer disagrees 
with u.i.

The bug is obscure, since the bug's presence depends on the GCC version, 
on the optimization options used, on the exact source code, and on the 
exact integer value at runtime (the value is typically copied correctly 
even when GCC has generated the incorrect machine code, since most long 
long int values don't alias with NaNs).

In short the bug appears to be rare.

Here are some possible courses of action:

* Do nothing and hope x86 users won't run into this rare bug.

* Have the GCC folks fix the bug. However, given that the bug has been 
reported for over a decade multiple times without a fix, it seems that 
fixing it is too difficult and/or too low priority for this aging 
platform. Also, even if the bug is fixed in future GCC the bug will 
still be present with people using older GCC.

* Build with Clang or some other compiler instead. We should be 
encouraging GCC, though.

* Rewrite Emacs to never use 'double' (or 'float' or 'long double') 
inside a union. This could be painful and hardly seems worthwhile.

* When using GCC to build Emacs on x86, compile with safer options that 
make the bug impossible. The attached proposed patch does that, by 
telling GCC not to use the 387 stack. (This patch fixed the Emacs 
misbehavior in my experimental build.) The downside is that the 
resulting Emacs executables need SSE2, introduced for the Pentium 4 in 
2000 <https://en.wikipedia.org/wiki/SSE2>. Nowadays few users need to 
run Emacs on non-SSE2 x86, so this may be good enough. Also, the 
proposed patch gives the builder an option to compile Emacs without the 
safer options, for people who want to build for older Intel-compatible 
platforms and who don't mind an occasional wrong answer or crash.

--------------ACQdPPR23JeukjDZuA8EIuWr
Content-Type: text/x-patch; charset=UTF-8;
 name="0001-Work-around-GCC-bug-58416-when-building-for-x86.patch"
Content-Disposition: attachment;
 filename*0="0001-Work-around-GCC-bug-58416-when-building-for-x86.patch"
Content-Transfer-Encoding: base64

RnJvbSBiNmM2YzA1NDU2MDc2ODdlMzZmYzQ3ZTVkNTA3OWFlYzRmNThkNTkxIE1vbiBTZXAg
MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBQYXVsIEVnZ2VydCA8ZWdnZXJ0QGNzLnVjbGEuZWR1
PgpEYXRlOiBNb24sIDE1IEp1bCAyMDI0IDEwOjI2OjQ3IC0wNzAwClN1YmplY3Q6IFtQQVRD
SF0gV29yayBhcm91bmQgR0NDIGJ1ZyA1ODQxNiB3aGVuIGJ1aWxkaW5nIGZvciB4ODYKCiog
Y29uZmlndXJlLmFjIChDX1NXSVRDSF9NQUNISU5FKTogQWRkIC1tZnBtYXRoPXNzZSBhbmQg
cGVyaGFwcwotbXNzZTIgdG8gd29yayBhcm91bmQgR0NDIGJ1ZyA1ODQxNi4KLS0tCiBjb25m
aWd1cmUuYWMgfCA0MyArKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysrKysr
KysrCiBldGMvTkVXUyAgICAgfCAgOSArKysrKysrKysKIDIgZmlsZXMgY2hhbmdlZCwgNTIg
aW5zZXJ0aW9ucygrKQoKZGlmZiAtLWdpdCBhL2NvbmZpZ3VyZS5hYyBiL2NvbmZpZ3VyZS5h
YwppbmRleCBlMmI2ZGMyZmM0ZC4uNGU3NGQ2NmM2NWYgMTAwNjQ0Ci0tLSBhL2NvbmZpZ3Vy
ZS5hYworKysgYi9jb25maWd1cmUuYWMKQEAgLTIzMjUsNiArMjMyNSw0OSBAQCBBQ19ERUZV
TgogICAgIGZpCiAgIDs7CiBlc2FjCisKK0FDX0NBQ0hFX0NIRUNLKFtmb3IgZmxhZ3MgdG8g
d29yayBhcm91bmQgR0NDIGJ1ZyA1ODQxNl0sCisgIFtlbWFjc19jdl9nY2NfYnVnXzU4NDE2
X0NGTEFHU10sCisgIFtlbWFjc19jdl9nY2NfYnVnXzU4NDE2X0NGTEFHUz0nbm9uZSBuZWVk
ZWQnCisgICBBU19DQVNFKFskY2Fub25pY2FsXSwKKyAgICAgW1tpWzM0NTZdODYtKiB8IHg4
Nl82NC0qXV0sCisJW0FTX0lGKFt0ZXN0ICIkR0NDIiA9IHllc10sCisJICAgW29sZF9DRkxB
R1M9JENGTEFHUworCSAgICBmb3IgZW1hY3NfY3ZfZ2NjX2J1Z181ODQxNl9DRkxBR1MgaW4g
XAorCQknbm9uZSBuZWVkZWQnICctbWZwbWF0aD1zc2UnICctbXNzZTIgLW1mcG1hdGg9c3Nl
JyAnbm9uZSB3b3JrJworCSAgICBkbworCSAgICAgIEFTX0NBU0UoWyRlbWFjc19jdl9nY2Nf
YnVnXzU4NDE2X0NGTEFHU10sCisJICAgICAgICBbJ25vbmUgd29yayddLCBbYnJlYWtdLAor
CQlbJ25vbmUgbmVlZGVkJ10sIFtdLAorCQlbQ0ZMQUdTPSIkb2xkX0NGTEFHUyAkZW1hY3Nf
Y3ZfZ2NjX2J1Z181ODQxNl9DRkxBR1MiXSkKKwkgICAgICBBQ19DT01QSUxFX0lGRUxTRSgK
KwkJW0FDX0xBTkdfREVGSU5FU19QUk9WSURFRAorCQkgWy8qIFdvcmsgYXJvdW5kIEdDQyBi
dWcgd2l0aCBkb3VibGUgaW4gdW5pb25zIG9uIHg4NiwKKwkJICAgICB3aGVyZSB0aGUgZ2Vu
ZXJhdGVkIGluc25zIGNvcHkgbm9uLWZsb2F0aW5nLXBvaW50IGRhdGEKKwkJICAgICB2aWEg
ZmxkbC9mc3RwbCBpbnN0cnVjdGlvbiBwYWlycy4gIFRoaXMgY2FuIG1pc2JlaGF2ZQorCQkg
ICAgIHRoZSBkYXRhJ3MgYml0IHBhdHRlcm4gbG9va3MgbGlrZSBhIE5hTi4gIFNlZSwgZS5n
LjoKKwkJCWh0dHBzOi8vZ2NjLmdudS5vcmcvYnVnemlsbGEvc2hvd19idWcuY2dpP2lkPTU4
NDE2CisJCQlodHRwczovL2djYy5nbnUub3JnL2J1Z3ppbGxhL3Nob3dfYnVnLmNnaT9pZD05
MzI3MQorCQkJaHR0cHM6Ly9nY2MuZ251Lm9yZy9idWd6aWxsYS9zaG93X2J1Zy5jZ2k/aWQ9
MTE0NjU5CisJCSAgICAgUHJvYmxlbSBvYnNlcnZlZCB3aXRoICdnY2MgLW0zMicgd2l0aCBH
Q0MgMTQuMS4xCisJCSAgICAgMjAyNDA2MDcgKFJlZCBIYXQgMTQuMS4xLTUpIG9uIHg4Ni02
NC4gICovCisJCSAgI2luY2x1ZGUgPGZsb2F0Lmg+CisJCSAgI2lmIFwKKwkJICAgICAgKChk
ZWZpbmVkIF9fR05VQ19fICYmICFkZWZpbmVkIF9fY2xhbmdfXykgXAorCQkgICAgICAgJiYg
KGRlZmluZWQgX19pMzg2X18gfHwgZGVmaW5lZCBfX3g4Nl82NF9fKSBcCisJCSAgICAgICAm
JiAhIChkZWZpbmVkIEZMVF9FVkFMX01FVEhPRCBcCisJCQkgICAgICYmIDAgPD0gRkxUX0VW
QUxfTUVUSE9EIFwKKwkJCSAgICAgJiYgRkxUX0VWQUxfTUVUSE9EIDw9IDEpKQorCQkgICMg
ZXJyb3IgIkdDQyBidWcgNTg0MTYgaXMgcG9zc2libHkgcHJlc2VudCIKKwkJICAjZW5kaWYK
KwkJXV0sCisJCVticmVha10pCisJICAgIGRvbmUKKwkgICAgQ0ZMQUdTPSRvbGRfQ0ZMQUdT
XSldKV0pCitBU19DQVNFKFskZW1hY3NfY3ZfZ2NjX2J1Z181ODQxNl9DRkxBR1NdLAorICBb
LSpdLAorICAgIFtDX1NXSVRDSF9NQUNISU5FPSIkQ19TV0lUQ0hfTUFDSElORSAkZW1hY3Nf
Y3ZfZ2NjX2J1Z181ODQxNl9DRkxBR1MiXSkKKwogQUNfU1VCU1QoW0NfU1dJVENIX01BQ0hJ
TkVdKQogCiBDX1NXSVRDSF9TWVNURU09CmRpZmYgLS1naXQgYS9ldGMvTkVXUyBiL2V0Yy9O
RVdTCmluZGV4IGYxMGY5YWU0ZDY1Li5mMzg1Mjc1MGI5YSAxMDA2NDQKLS0tIGEvZXRjL05F
V1MKKysrIGIvZXRjL05FV1MKQEAgLTI0LDYgKzI0LDE1IEBAIGFwcGxpZXMsIGFuZCBwbGVh
c2UgYWxzbyB1cGRhdGUgZG9jc3RyaW5ncyBhcyBuZWVkZWQuCiAMCiAqIEluc3RhbGxhdGlv
biBDaGFuZ2VzIGluIEVtYWNzIDMxLjEKIAorKiogV2hlbiB1c2luZyBHQ0MgdG8gYnVpbGQg
RW1hY3Mgb24gMzItYml0IHg4NiBzeXN0ZW1zLCAnY29uZmlndXJlJyBub3cKK2RlZmF1bHRz
IHRvIHNwZWNpZnlpbmcgdGhlIEdDQyBvcHRpb25zIC1tc3NlMiBhbmQgLW1mcG1hdGg9c3Nl
IHRvIHdvcmsKK2Fyb3VuZCBHQ0MgYnVnIDU4NDE2LiAgQXMgYSByZXN1bHQsIHRoZSByZXN1
bHRpbmcgRW1hY3MgZXhlY3V0YWJsZSBub3cKK3JlcXVpcmVzIHN1cHBvcnQgZm9yIFNTRTIs
IGludHJvZHVjZWQgYnkgSW50ZWwgaW4gMjAwMCBmb3IgdGhlIFBlbnRpdW0gNAorYW5kIGJ5
IEFNRCBpbiAyMDAzIGZvciB0aGUgT3B0ZXJvbiBhbmQgQXRobG9uIDY0LiAgVG8gYnVpbGQg
RW1hY3Mgd2l0aAorR0NDIGZvciBvbGRlciB4ODYgcHJvY2Vzc29ycywgcGFzcyAnZW1hY3Nf
Y3ZfZ2NjX2J1Z181ODQxNl9DRkxBR1M9bm8nIHRvCisnY29uZmlndXJlJzsgYWx0aG91Z2gg
dGhlIHJlc3VsdGluZyBFbWFjcyBtYXkgZ2VuZXJhdGUgaW5jb3JyZWN0IHJlc3VsdHMKK29y
IGR1bXAgY29yZSwgYW55IHN1Y2ggbWlzYmVoYXZpb3Igc2hvdWxkIGJlIHJhcmUuCisKIAwK
ICogU3RhcnR1cCBDaGFuZ2VzIGluIEVtYWNzIDMxLjEKIAotLSAKMi40NS4yCgo=

--------------ACQdPPR23JeukjDZuA8EIuWr--

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: Paul Eggert <eggert@HIDDEN>
Subject: bug#72145: Acknowledgement (rare Emacs screwups on x86 due to GCC
 bug 58416)
Message-ID: <handler.72145.B.172117240729060.ack <at> debbugs.gnu.org>
References: <e7c67465-1734-48c8-82bb-6b96eee4e167@HIDDEN>
X-Gnu-PR-Message: ack 72145
X-Gnu-PR-Package: emacs
Reply-To: 72145 <at> debbugs.gnu.org
Date: Tue, 16 Jul 2024 23:27: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 72145 <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
72145: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D72145
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message received at control <at> debbugs.gnu.org:

Received: (at control) by debbugs.gnu.org; 17 Jul 2024 00:15:23 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Tue Jul 16 20:15:23 2024
Received: from localhost ([127.0.0.1]:34721 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1sTsKJ-0000Rb-I2
	for submit <at> debbugs.gnu.org; Tue, 16 Jul 2024 20:15:23 -0400
Received: from mail.cs.ucla.edu ([131.179.128.66]:35842)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <eggert@HIDDEN>) id 1sTsKF-0000RI-CI
 for control <at> debbugs.gnu.org; Tue, 16 Jul 2024 20:15:22 -0400
Received: from localhost (localhost [127.0.0.1])
 by mail.cs.ucla.edu (Postfix) with ESMTP id 72BFF3C0140A4
 for <control <at> debbugs.gnu.org>; Tue, 16 Jul 2024 17:15:10 -0700 (PDT)
Received: from mail.cs.ucla.edu ([127.0.0.1])
 by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavis, port 10032) with ESMTP
 id lS7SMJ5n487O for <control <at> debbugs.gnu.org>;
 Tue, 16 Jul 2024 17:15:10 -0700 (PDT)
Received: from localhost (localhost [127.0.0.1])
 by mail.cs.ucla.edu (Postfix) with ESMTP id 384CB3C00E415
 for <control <at> debbugs.gnu.org>; Tue, 16 Jul 2024 17:15:10 -0700 (PDT)
DKIM-Filter: OpenDKIM Filter v2.10.3 mail.cs.ucla.edu 384CB3C00E415
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs.ucla.edu;
 s=9D0B346E-2AEB-11ED-9476-E14B719DCE6C; t=1721175310;
 bh=WkFhW3jE05bm47JCCF6L70BDdAgfIxmcws+YjjpZmEA=;
 h=Message-ID:Date:MIME-Version:To:From;
 b=bZl8FoSSD2KUzOcjzmgXKeDy1pe4uxeYbFMCcmZio7+MpWCn7CYiqHBOPq8aEtW/Y
 kKgQeNtijbKbuxU1UFQkhFmaCTqWknJHGiKSzuplPq8MkGdgKDNmsICZJUk5qjRZsX
 hD8YNa9pUcasZneeFMpkMfTxQICLVI3kBDEURVpGcd9rMRxJHPAjG9s7dq2DvEsXZk
 EfjSJyEcN4kVeveW3Gzwf8SoSgIdavoQuFNOD59uJnnoU7uS5Dwa1uKMdXlGjIC1qx
 ATui+wuP1AHFI9+xiPcYJm+E3i9UnyOmf/WUc61fhld7p+Jw2D6ewdOa/1C73VeCji
 rCNpcVLwKOd/Q==
X-Virus-Scanned: amavis at mail.cs.ucla.edu
Received: from mail.cs.ucla.edu ([127.0.0.1])
 by localhost (mail.cs.ucla.edu [127.0.0.1]) (amavis, port 10026) with ESMTP
 id xxCYxs1q0Obu for <control <at> debbugs.gnu.org>;
 Tue, 16 Jul 2024 17:15:10 -0700 (PDT)
Received: from [192.168.254.12] (unknown [47.154.17.165])
 by mail.cs.ucla.edu (Postfix) with ESMTPSA id 205BA3C0140A4
 for <control <at> debbugs.gnu.org>; Tue, 16 Jul 2024 17:15:10 -0700 (PDT)
Message-ID: <d286f100-6988-467d-a9a4-f8dd0d34c743@HIDDEN>
Date: Tue, 16 Jul 2024 17:15:04 -0700
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Content-Language: en-US
To: control <at> debbugs.gnu.org
From: Paul Eggert <eggert@HIDDEN>
Subject: 72145 has a patch
Organization: UCLA Computer Science Department
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 <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: -1.0 (-)

tags 72145 + patch

Last modified: Wed, 17 Jul 2024 00:30:02 UTC

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