Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rOV2j-004fVR-3R for pgsql-bugs@arkaria.postgresql.org; Sat, 13 Jan 2024 03:50:46 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.94.2) (envelope-from ) id 1rOV2f-006mVZ-EB for pgsql-bugs@arkaria.postgresql.org; Sat, 13 Jan 2024 03:50:41 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rOV2f-006mVQ-1g for pgsql-bugs@lists.postgresql.org; Sat, 13 Jan 2024 03:50:41 +0000 Received: from meldrar.postgresql.org ([2a02:c0:301:0:ffff::31]) by makus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rOV2b-001Hbw-7u for pgsql-bugs@lists.postgresql.org; Sat, 13 Jan 2024 03:50:39 +0000 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=postgresql.org; s=20171124; h=Content-Type:In-Reply-To:From:References:Cc: To:Subject:MIME-Version:Date:Message-ID:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=OybvKmOyjV0XMPqoa2uBz+cFVMDGwtoTq9p/EXXFtwM=; b=oOZ4P0utLRFK09KR5ak4+Dy2K+ Tlz59ZDUbVTQ2WrZdsslLenOMPpHM9XuUOOYehwoTeClknA17YYoVXJwvPasxAyafnsq7QW1+Evfj rCj8kdDnEzTaqw1vCK5+DnPZQu3lS/q26j8DnM4TLPyhK7HUmHs9t3LjcYrfK+OpWNLpmCsCu7TYL jb2wUMNO8nQeSGd7yBzvuK6VyTvX62WO+YR59NVtaP/fgjMtUN1ZdY6ZLxr6ljkHs48KmsAlT2B15 P4L+aTzDow0ZUizAzBkUmVognSf/N+FGvCjwkozc5jgLNAZJxV4j/WtVQ5gcHjBHg4feg78f7Wkji eoxV0Seg==; Received: from [52.119.84.106] (helo=[192.168.88.141]) by meldrar.postgresql.org with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.94.2) (envelope-from ) id 1rOV2S-003Ln6-5B; Sat, 13 Jan 2024 03:50:31 +0000 Message-ID: Date: Fri, 12 Jan 2024 22:50:25 -0500 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: BUG #18240: Undefined behaviour in cash_mul_flt8() and friends Content-Language: en-US To: Tom Lane Cc: Michael Paquier , David Rowley , exclusion@gmail.com, pgsql-bugs@lists.postgresql.org References: <2433182.1702391878@sss.pgh.pa.us> <3453263.1702739958@sss.pgh.pa.us> <1673413.1703442075@sss.pgh.pa.us> <1851211.1703519939@sss.pgh.pa.us> <9115f2e8-8dde-4545-868c-9becb2260aef@postgresql.org> <484395.1705077198@sss.pgh.pa.us> From: "Jonathan S. Katz" Autocrypt: addr=jkatz@postgresql.org; keydata= xsFNBFtShwABEAC7PNHDUOTYuifpUCk23KqfxdQQkn4nkoxOXRK0+rAj36FiwqGB4TJFuOVZ sDFAEiSlC8Jt4y5Cs7B5tetT8JNd2cs6zp/udMJJDz9d65O9PDpdlMgAmIiTzpLlSdx8FG56 DTksaDv1d8j3cTJPSE4/fWSxqzA7o3Y9UuL7atZPrzfImgpRKs0of7elIHwOa8GucjyhYqcR h60wFBJc2KXqQdDYRTZy43DSnY/0VNc0omiH355fustvpm+m5HjD3w7qZyfN3fpKJpnX1LCF f3MnPHaDGITIYGRCBXvf0UqUtD6OEVWPv2C2gyqWMIpWmZTOgDufltKyIByKBoS9x0PlFkij 04X3KODCngt+N8Ssc9OICc6QSxhjoP48PYPdmiTmkrGuf0LX084wj1xeo1NX7XxZK39F6dTJ DhsIiW0sNS0xMxQHLHG9VLbPjx3SANQBh6BuryPz5ZupW9/TIDmkvprtU/oXfKgtfYm3fxmk EctxbWrEPsFTFPyuMqQu6l+xyQv0s1VLZfjNWaua6H1/gGoIt6kRnn5qMXDVVpijuWkHbv7G ngaQMd258UrrOEHnnjzhQ7jxMWV9D+emxbAtlIxnYvCWlV4IwAQhEHfvudqYaIY3hNWrvQ6H GB2KXoTZYN9g5djm14/5nj1IU5zOcovkjJnKhoo9iStnpFF2cwARAQABzSdKb25hdGhhbiBT LiBLYXR6IDxqa2F0ekBwb3N0Z3Jlc3FsLm9yZz7CwY4EEwEIADgCGwMFCwkIBwIGFQoJCAsC BBYCAwECHgECF4AWIQT6hLaVryv3miBkP/HxBJxynxxlJwUCYvBxpgAKCRDxBJxynxxlJ/Us EACe5W9aBAJGdFjbHc+yEy/0UVcDhDeNeJC8vGuyuMwj6cZgm8HmVddaGKWaumaDziOnGj5B zBUB9cZBPuM+j8Gli2F5hdSTeLZseHqNtuj2sGpTaZ+6utCt3iMIh+ZrHq2ufqMj9m6uA93+ SziFGcA+8+qKFTjqTUgZUxEgLnInk9191NaQT/LiH34JRlFY009XIQWRfDBYB8kJHpDQbp9y 9gsyzgYEMO4bxsXgD4BeHKW+s9OmP/zlDyHOLtyrsXLZHZA42TR/tnSTTwC9Xcx99eh5AS+u t1orACYzZfTEWph2of8AI0cuAT3c3MZNw7ypLcejr/Y71wAXQeiC55ZKrx6rsmsICXohx8be l0Lsnm+oHqSzfbVxZe/2teHLfaupD4P1OPnM9ljeqvIyhvHFlrc6LUHzMv0jf97TUCcWmmo9 qWmzT8wFkSDbFMj5Vk0hJ/nexipTqTzWQo5G9yN6aUDiOBDTvWeMGAvso01/11M/Tf7Ouq/S kcHFhpZgm7EzakFrmMD1l0DsyXUM4AtErvEC/4M5ZMNvwmvXUC3ndrSv00k3wrtQ2t9OGT4h NciB7uqiU+DrxoEZHx+AUC0MhKE96E3KQ+XYjUHfVr+ribl/2oiwazdCjVrkVyKoyMs5IQ1X gaOhxsLp2uBCdzQqMOmGxplc+K03KhJZ6TiU9s7BTQRbUocAARAAv8ho/toQ9DG3j4f9h9n1 aRHr2FlviN2Utpy6L8+dfDggO0geilmkGQOolZ2E60gGfye/kUtF9W3NByO4hxDR9u6qbOXc dqnuA+cc68EfqlWFJrVtYFxt0h4ElWYOYnIezKthriWch/FY70FGrxs3z8UHOHq50wBW433e TvZm90WixBiXEt2v1DgW4Vr3ymfO7Aap/IYyPuE4JzgudAuAl0HKPyNEHWHG1dAbjX1RiCw9 gknIDWQOF0B4UAaJctWGVcnZ3A2ULwNGMa1P9ZJlBWf1vcj01aiHMU0yQ7JjJiSpvfm9eM0u SLwRdDrJjyl5ZZqVumjdv2SMNQ8GvYRbEMys3GGDSt9zXgfCSUnPnJfYxjzBHRI6x44Wfsx8 S6hWxepOogCJJ/g67Bk9mY8YV4klWIXDJVOL5jnBC09DbsZG81JaE2QxB8Y7W36ZMroi9XMx g3s805hQAQUvdG/poU8hN8BWdrnTm/+4eQQp7gDY1ePDmGM6bJC+OHOSnFtR/f+70zpKJ10c c7cBygGnl1yR3KjhFyAWUFvP4ZGziKCcpMwXZfe9PGuyA/YOubMphxIn3YsK2wrdfaKZYX2G MZCZhMMcvx9IpQrxIJgU+VlwXu/O+Lk10VIPcxPJJwmpdI6HzcS8ZgG6IMcC444XXTuLaP8j 2mgcMvYak3ScCykAEQEAAcLBdgQYAQgAIBYhBPqEtpWvK/eaIGQ/8fEEnHKfHGUnBQJi8HGn AhsMAAoJEPEEnHKfHGUneVcQALCswm06CgJjQ+lFmjYaw/OFZ9LJgHbaqGrfyNmjIXOhRiqt 65VWmC8/yetWCfLtXzCsPrQGXjon1IuKZUfcvVQ39lh8apvfUweNWH9xCpHkWmai8rKbjTkd 0YXyK9dYVPw7ATKSpMzM61QvPIndjQ7iTT1SnCINj7zMDuMSuyiTUGr57VmXzFW466BJ/XGg P5+mLYrbjpbsB0ByUbral6XBs57LYSRFzQ17SekWlAlFSlW6xTCdKq7VKYd+Utb8N7uXejNG qjDCXmcPB45+pYC9ckSKyWceFpSqjO7OzMK8Q1OfGIAuQQ3UegGefuhIV06mWXsrgLOGSbM8 ZH9GT1OxkFiDneSSCmjHRzTWgPSH7c/9r5cG5Uo5GIfVDIgirhcgKwUgullb2r3vZDBRKi9N 44NeTkaE7KdfEkziDhe96OMdrCLnH4Kt2Gcgc4R/sibjqtvxX/YvmaiimK1H6fa74sstqSlZ w8Jbr9hQvk0P4UzySrlmsuOGwHodeM8R/Tklke6AJkYANcyP4r8xRfAe/pTH7zz4usdlncgP Z/WieSo1zvU6VEh6TAwakocfUDIcpqSxcZAs2pfjjNz+owqoFWMbn6BEO0J0xX65p//J9vd3 LZLjN6yBvXCRDoSD+B85thpxQSoI+jXC8d7DiejNLaHqxkgUeyfq9n99cyl3 In-Reply-To: <484395.1705077198@sss.pgh.pa.us> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------vMm2kWvjl4OHam49LaAhOF3w" X-Host-Lookup-Failed: Reverse DNS lookup failed for 52.119.84.106 (failed) List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Archived-At: Precedence: bulk This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------vMm2kWvjl4OHam49LaAhOF3w Content-Type: multipart/mixed; boundary="------------aUl6NJQuz0i5MHVEE5izbKWW"; protected-headers="v1" From: "Jonathan S. Katz" To: Tom Lane Cc: Michael Paquier , David Rowley , exclusion@gmail.com, pgsql-bugs@lists.postgresql.org Message-ID: Subject: Re: BUG #18240: Undefined behaviour in cash_mul_flt8() and friends References: <2433182.1702391878@sss.pgh.pa.us> <3453263.1702739958@sss.pgh.pa.us> <1673413.1703442075@sss.pgh.pa.us> <1851211.1703519939@sss.pgh.pa.us> <9115f2e8-8dde-4545-868c-9becb2260aef@postgresql.org> <484395.1705077198@sss.pgh.pa.us> In-Reply-To: <484395.1705077198@sss.pgh.pa.us> --------------aUl6NJQuz0i5MHVEE5izbKWW Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMS8xMi8yNCAxMTozMyBBTSwgVG9tIExhbmUgd3JvdGU6DQo+ICJKb25hdGhhbiBTLiBL YXR6IiA8amthdHpAcG9zdGdyZXNxbC5vcmc+IHdyaXRlczoNCg0KPj4gSXQgc291bmRzIGxp a2Ugd2UnZCBoYXZlIHRvIHRyZWFkIGEgYml0IGxpZ2h0bHkgYmVjYXVzZSBvZiB0aGlzLCBl dmVuIGlmDQo+PiBtb25leSBpcyBub3QgZnJlcXVlbnRseSAob3IgYXQgYWxsKSB1c2VkIHdp dGggYnRyZWVfZ2lzdC9naW4/DQo+IA0KPiBXaGF0J2QgaGF2ZSB0byBoYXBwZW4gaXMgdGhh dCBwZW9wbGUgd291bGQgaGF2ZSB0byB1cGdyYWRlIHRvIGENCj4gdmVyc2lvbiBvZiBidHJl ZV9naW4vYnRyZWVfZ2lzdCB0aGF0IGRlbGV0ZXMgaXRzIG1vbmV5IHN1cHBvcnQNCj4gYmVm b3JlIHRoZXkgY291bGQgcGdfdXBncmFkZSBpbnRvIGEgY29yZSB2ZXJzaW9uIHRoYXQgbGFj a3MgbW9uZXkuDQo+IFNvIHdlJ2QgaGF2ZSB0byBzaGlwIHRoYXQgdmVyc2lvbiBhdCBsZWFz dCBvbmUgbWFqb3IgcmVsZWFzZSBiZWZvcmUNCj4gbnVraW5nIHRoZSBjb3JlIHN1cHBvcnQu DQoNCkhtIC0tIHdoYXQgYWJvdXQgcGVvcGxlIHdobyBza2lwIHZlcnNpb25zIChlLmcuIDE2 ID0+IDE5KT8gV291bGQgdGhleSANCmhhdmUgdG8gc3RvcCBhdCAxOCBmaXJzdCB0byBwZXJm b3JtIHRoZSB1cGdyYWRlPyBBbmQgZG9lcyB0aGlzIG9ubHkgDQphZmZlY3QgcGVvcGxlIHdo byB1c2UgYnRyZWVfZ2lzdC9naW4gZm9yIG1vZW55LCBvciBhbGwgYnRyZWVfZ2lzdC9naW4g dXNlcnM/DQoNCj4gSSB0aGluayB0aGUgc2hvcnRlc3QgdGltZWxpbmUgd2UgY291bGQgcG9z c2libHkgZG8gdGhpcyBvbiBpczoNCj4gDQo+IHYxNzogbGFiZWwgbW9uZXkgYXMgZGVwcmVj YXRlZCBhbmQgZHVlIGZvciByZW1vdmFsIGluIHRoZSBTR01MIGRvY3MNCg0KV2UgaGFkIGFw cGFyZW50bHkgZGVwcmVjYXRpb24gbm90aWNlIGFzIGxhdGUgYXMgOC4yWzFdLCBidXQgdGhp cyB3YXJuaW5nIA0KaXMgbWlzc2luZyBpbiB0aGUgZG9jcyA6KA0KDQo+IHYxODogcmVtb3Zl IHN1cHBvcnQgaW4gYnRyZWVfZ2luL2J0cmVlX2dpc3QgKGFuZCBhbnkgb3RoZXIgYWZmZWN0 ZWQNCj4gZXh0ZW5zaW9ucykNCg0KSWYgdGhlIGJ0cmVlX2dpc3QvZ2luIGlzc3VlIG9ubHkg YWZmZWN0cyBwZW9wbGUgd2hvIHVzZSBpdCBpbiANCmNvbWJpbmF0aW9uIHdpdGggbW9uZXks IEknZCBhdCBsZWFzdCB0aGluayB3ZSBjb25zaWRlciB0aGlzIGZvciB2MTcsIGFuZCANCm1h a2UgY2xlYXIgdGhhdCBhIHVzZXJzIHdpdGggbW9uZXkgaGF2ZSB0byB0YWtlIGFjdGlvbiBi ZWZvcmUgdXBncmFkaW5nLg0KDQpJZiB3ZSBzdGljayB3aXRoIGp1c3QgYWRkaW5nIHRoZSBk ZXByZWNhdGlvbiBub3RpY2UgaW4gdGhlIHYxNyBkb2NzLCBJJ2QgDQphbHNvIHN1Z2dlc3Qg d2UgZW1pdCBhIGxvZyB3YXJuaW5nIHdoZW4gbG9hZGluZyB0aGUgY2F0YWxvZyBpZiB0aGUg dXNlciANCmhhcyBhbiBhY3RpdmUgdXNlIG9mIGEgIm1vbmV5IiB0eXBlIGluIGEgdGFibGUu IChJIHVuZGVyc3RhbmQgdGhhdCBtYXkgYSANCnBhaW4gdG8gZG8sIGJ1dCBhdCBsZWFzdCB3 YW50ZWQgdG8gc3VnZ2VzdGVkIGl0KS4NCg0KPiB2MTk6IHJlbW92ZSBpdCBmcm9tIGNvcmUN Cj4gDQo+IE5vdGUgdGhhdCBpbiB2MTgsIHBlb3BsZSBjb3VsZCBzdGlsbCB1c2UgbW9uZXkg ZXZlbiBpbg0KPiBidHJlZV9naW4vYnRyZWVfZ2lzdCwganVzdCBieSBpbnN0YWxsaW5nIGEg bm9uLWRlZmF1bHQgZXh0ZW5zaW9uDQo+IHZlcnNpb24uICBTbyB0aGVpciBDIGNvZGUgZm9y IG1vbmV5IHdvdWxkIGhhdmUgdG8gc3RheS4NCg0KWWVhaCwgYnV0IGZvciB3aGF0IHdlIHN1 cHBvcnQgZGlyZWN0bHkgaW4gUG9zdGdyZVNRTCwgd2Ugd2lsbCBoYXZlIG1hZGUgDQpiZXN0 IGVmZm9ydC4gSWYgc29tZW9uZSBfcmVhbGx5XyB3YW50cyB0byBkbyBzb21ldGhpbmcgd2l0 aCAibW9uZXkiIGluIA0KdGhlIHdheSB5b3UgZGVzY3JpYmUgYWJvdmUsIHRoZW4gdGhleSdy ZSBjb21taXR0ZWQgdG8gaXQuDQoNClRoYW5rcywNCg0KSm9uYXRoYW4NCg0KWzFdIGh0dHBz Oi8vd3d3LnBvc3RncmVzcWwub3JnL2RvY3MvOC4yL2RhdGF0eXBlLW1vbmV5Lmh0bWwNCg0K --------------aUl6NJQuz0i5MHVEE5izbKWW-- --------------vMm2kWvjl4OHam49LaAhOF3w Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature.asc" -----BEGIN PGP SIGNATURE----- wsF5BAABCAAjFiEE+oS2la8r95ogZD/x8QSccp8cZScFAmWiCIEFAwAAAAAACgkQ8QSccp8cZSd5 DQ/9FJ1NZHJyY/caekWzH/kC/Tqv4DQrcxZqIB2w2h8fQ2KDxDAmCvJauEueFY0bfMpM+aLZ/EwD SEDyTqqkpZIuCu2wFaHAlt3APlMpJEBVjXpJAYVClXfJjApZ0hxaX62YVQhY9qpQV5cPvoLN85tU 89nEJs8v4Vx4uroXXuh9f9Brc9N/POQr0USoJq9JqOcqDowDDfWULBmaTS/Cd98+yk3o2N3atL14 6lawX9h8F9Y1QwGJzrVq5Jf95fPbigFkZEHazuX+x5ddXfGaDTAdbA7LzvL0I+SuaIP4CA5kvn2x FO3OplJbkYibd0BTjw8TVhl60T9MJCimYlLIwQz1ghBBAcZj/AcOTYTZ0ToK5xHqCnLKPZHFawLs FWbJyjNEneWcWayH5FHqAw01yA9YSy+C9fNBmMdizMg9KZyR5lWtu5NRF8hPFEQseNqEyJIbReIM RRLs8PU14aIQ7IlzlRVqR+AYwzF7R9BFnWmJGuP2NmfeJwQ65Evwskmo4VbY7l0BIA2JlxwoiXmq OMXrY1f0PNnVwkVp9pIg2L9bku8HNHR8td7V7GUCaKe9O21hzomjLTqXpKZ6X47XcE/7YW5Qzdoo QlRHPqF3uNrtijM3ks8re9mI4gLnzREJg1DEWd+c57INB4ekhpTqqGciVl0TJlOzthHqHZ5tqvUD WHU= =3bnn -----END PGP SIGNATURE----- --------------vMm2kWvjl4OHam49LaAhOF3w--