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 1rHS5l-002V36-4Z for pgsql-bugs@arkaria.postgresql.org; Sun, 24 Dec 2023 17:16:45 +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 1rHS5j-00CjrD-Qt for pgsql-bugs@arkaria.postgresql.org; Sun, 24 Dec 2023 17:16:43 +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 1rHS5j-00Cjr2-Ek for pgsql-bugs@lists.postgresql.org; Sun, 24 Dec 2023 17:16:43 +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 1rHS5g-00C09P-CH for pgsql-bugs@lists.postgresql.org; Sun, 24 Dec 2023 17:16:42 +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=1Wz8hhaDsSq/CRhmPrigFLbPjwQa2S0KwsJWsEgZ+z8=; b=kEYhVg5LcGWglJ2J14tSMCmIuH K8thaeb0Z8a1umV3x1RQxaGV9pvs9VcDtk7Lj5LH0KAQOL8BoZPkCPVeJRM5O+kX6u51n/qrjqmxB P/in15+ZMNCd9UhA3+cnV2pQb8xdVB6lv31B54Mdbb11iUX61eykzZwF/QnK2YrBAc/3CNjLZssVV vFIu6S4rTR/tXP/PxU3ZHPNePMom3axoAzyfoEDO4l3pbULOoh7thvmadKOTSyRQQ4DId3MlixN4C P0Xbq4tFprjV/YSgD4bzTin4uLpzv9xe3IYDT/Y6/KUSvtIadUL91aTkjNRm7NC/1VJt6CLTmeNmt 5zMJKA7Q==; 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 1rHS5Z-00AuqJ-6H; Sun, 24 Dec 2023 17:16:35 +0000 Message-ID: Date: Sun, 24 Dec 2023 12:16:31 -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 , Michael Paquier Cc: David Rowley , exclusion@gmail.com, pgsql-bugs@lists.postgresql.org References: <18240-c5da758d7dc1ecf0@postgresql.org> <2171714.1702307153@sss.pgh.pa.us> <2433182.1702391878@sss.pgh.pa.us> <3453263.1702739958@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: <3453263.1702739958@sss.pgh.pa.us> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------eJchcc3000lI00zXW2W9VqJR" 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) --------------eJchcc3000lI00zXW2W9VqJR Content-Type: multipart/mixed; boundary="------------vHRqxgUEdq0MZ49z2mK8HOcX"; protected-headers="v1" From: "Jonathan S. Katz" To: Tom Lane , Michael Paquier Cc: 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: <18240-c5da758d7dc1ecf0@postgresql.org> <2171714.1702307153@sss.pgh.pa.us> <2433182.1702391878@sss.pgh.pa.us> <3453263.1702739958@sss.pgh.pa.us> In-Reply-To: <3453263.1702739958@sss.pgh.pa.us> --------------vHRqxgUEdq0MZ49z2mK8HOcX Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMTIvMTYvMjMgMTA6MTkgQU0sIFRvbSBMYW5lIHdyb3RlOg0KPiBNaWNoYWVsIFBhcXVp ZXIgPG1pY2hhZWxAcGFxdWllci54eXo+IHdyaXRlczoNCj4+IE9uIFR1ZSwgRGVjIDEyLCAy MDIzIGF0IDA5OjM3OjU4QU0gLTA1MDAsIFRvbSBMYW5lIHdyb3RlOg0KPj4+IC4uLiBQZXJo YXBzIHdlIGNvdWxkIGFsbG93IGV4dGVuc2lvbg0KPj4+IG1vZHVsZXMgdG8gdXNlIGJpbmFy eV91cGdyYWRlX3NldF9uZXh0X3BnX3R5cGVfb2lkLCBhbmQgdGhlbiBzb21laG93DQo+Pj4g cmVzZXJ2ZSB0aGUgbW9uZXkgYW5kIF9tb25leSBPSURzIGZvcmV2ZXI/DQo+IA0KPj4gTm93 LCBJIGFtIG5vdCBzdXJlIHRoYXQgd2UncmUgbWFraW5nIHVzZXJzIGEgZmF2b3IgaW4ga2Vl cGluZyBhcm91bmQgYQ0KPj4gZGF0YSB0eXBlIHRoYXQncyBraW5kIG9mIG9ic29sZXRlIHRo ZXNlIGRheXMsIHBhcnRpY3VsYXJseSB3aGVuIGFsbCBvZg0KPj4gdGhlbSBiYXNpY2FsbHkg cmVxdWlyZSBoYW5kbGluZyBvZiBmcmFjdGlvbmFsIGNlbnRzIHdoZW4gZG9pbmcgc2VyaW91 cw0KPj4gY2FsY3VsYXRpb25zLiAgVGhhdCdzIGEgdHJhcCBpbiBkaXNndWlzZSwgZXZlbiBp ZiB0eWluZyBkYXRhIHRvIGENCj4+IGxvY2FsZSBmb3IgdGhlIHVuaXQgc291bmRzIGFwcGVh bGluZyBmb3Igc29tZSBhcHBsaWNhdGlvbnMuDQo+IA0KPiBZZWFoLCBJIHdvdWxkbid0IHBy b3Bvc2UgdGhpcyBpZiBtb25leSB3ZXJlIHRoZSBvbmx5IHR5cGUgd2Ugd2VyZQ0KPiB0aGlu a2luZyBvZiBnZXR0aW5nIHJpZCBvZjsgbGlrZWx5IG5vdCB3b3J0aCB0aGUgdHJvdWJsZS4g IEJ1dCBJJ3ZlDQo+IGdvdCBvbmUgZXllIG9uIHRoZSBnZW9tZXRyaWMgdHlwZXMgYXMgd2Vs bCAtLS0gSSB0aGluayBpdCB3b3VsZCBiZQ0KPiBncmVhdCBhbGwgYXJvdW5kIGlmIHdlIGNv dWxkIGtpY2sgdGhvc2Ugb3V0IG9mIHRoZSBjb3JlIGRpc3RyaWJ1dGlvbg0KPiBhbmQgbGV0 IHRoZW0gYmUgbWFpbnRhaW5lZCBpbmRlcGVuZGVudGx5LiAgQnV0IEkgZmVhciB3ZSBjYW4n dCBkbyB0aGF0DQo+IHdpdGhvdXQgc29tZSBtZXRob2Qgd2hlcmVieSBwZ191cGdyYWRlIGlz IHN0aWxsIHBvc3NpYmxlIGFjcm9zcyB0aGUNCj4gY2hhbmdlLg0KDQoibW9uZXkiIHBvc2Vz IGEgYml0IG1vcmUgcmlzayB0aGFuIHRoZSBnZW9tZXRyaWMgdHlwZXMgKEkgZG8gd2FudCB0 byANCmNvbWUgYmFjayB0byBnZW9tZXRyaWMgdHlwZXMgbGF0ZXIpLCBhbmQgaXQnZCBiZSBn b29kIGlmIHdlIGNvdWxkIG1ha2UgDQpzb21lIGhlYWR3YXkgb24gcmVtb3ZpbmcgaXQuIEp1 c3QgdGhpcyBwYXN0IHdlZWsgSSBjYW1lIGFjcm9zcyBhIGNhc2UgDQp3aGVyZSAibW9uZXki IHdhcyBiZWluZyBkaXNjdXNzZWQgYXMgYmVpbmcgdmFsaWQsIGFuZCBoYWQgdG8gZ2l2ZSB0 aGUgDQoiaXQncyBraW5kYSwgc29ydGEgZGVwcmVjYXRlZCIgdGFsay4NCg0KSSdtIG9mIHRo ZSBzdHJvbmcgb3BpbmlvbiB0aGF0IHdlIHNob3VsZCBnZXQgcmlkIG9mIG1vbmV5LiBJIHBl cnNvbmFsbHkgDQpoYXZlbid0IGVuY291bnRlcmVkIGl0IGluIHRoZSB3aWxkIC0tIEknbSBz dXJlIGl0J3MgdGhlcmUsIGJ1dCBpdCBzZWVtcyANCmxpbWl0ZWQgLS0gYW5kIG1vc3QgYXBw cyB0aGF0IHNlcmlvdXNseSBkZWFsIHdpdGggbW9uZXkgd2lsbCBlaXRoZXIgdXNlciANCmVp dGhlciAibnVtZXJpYyIgb3IgYW4gaW50ZWdlci1iYXNlZCB0eXBlLg0KDQpJIGFtIHNlbnNp dGl2ZSB0byB0aGUgdXBncmFkZSBwaWVjZSwgYXMgd2UgZG9uJ3Qgd2FudCBzb21lb25lIHJl bHlpbmcgb24gDQp0aGF0IGJlaGF2aW9yIHRvIGJlIGluZGVmaW5pdGVseSBzdHVjay4gQnV0 IHBlcmhhcHMgcGFydCBvZiB0aGUgDQpkZXByZWNhdGlvbiBwbGFuIGlzIHRvIGp1c3Qga2Vl cCB0aGUgY2FzdHMgYXJvdW5kWzFdIGZvciBhIGZldyByZWxlYXNlcywgDQp3aXRob3V0IGV4 cG9zaW5nIHRoZSB0eXBlLCBhbmQgcHJldmVudCBuZXcgY3JlYXRpb25zIG9mIHRoZSB0eXBl PyBXZSBkbyANCnN0YXRlIHRoYXQgIkEgbW9uZXkgdmFsdWUgY2FuIGJlIGNhc3QgdG8gbnVt ZXJpYyB3aXRob3V0IGxvc3Mgb2YgDQpwcmVjaXNpb24iWzFdLCBidXQgSSBkbyBhZ3JlZSB3 aXRoIHRoZSBjb25jZXJucyBvbiBhIHBnX3VwZ3JhZGUgDQpvcGVyYXRpb24gYmVpbmcgc3R1 Y2sgb24gYSBjb3N0bHkgcmV3cml0ZSBvcGVyYXRpb24uDQoNCldvdWxkIGl0IG1ha2Ugc2Vu c2UgdG8gYmxvY2sgYW4gdXBncmFkZSB2aWEgcGdfdXBncmFkZSBpZiB3ZSBkZXRlY3QgYSAN Cm1vbmV5IHR5cGUgdW5sZXNzIGl0J3MgcmV3cml0dGVuIHRvIGEgZGlmZmVyZW50IHR5cGU/ IFVzZXJzIHNob3VsZCBzdGlsbCANCmJlIGFibGUgdG8gdXNlciBvdGhlciB1cGdyYWRlcyBt ZXRob2RzIGlmIG5lZWQgYmUsIGFuZCBoYW5kbGUgdGhlIA0KcmV3cml0ZSBkdXJpbmcgdGhh dCB0aW1lLg0KDQpKb25hdGhhbg0KDQpbMV0gaHR0cHM6Ly93d3cucG9zdGdyZXNxbC5vcmcv ZG9jcy9jdXJyZW50L2RhdGF0eXBlLW1vbmV5Lmh0bWwNCg== --------------vHRqxgUEdq0MZ49z2mK8HOcX-- --------------eJchcc3000lI00zXW2W9VqJR 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/x8QSccp8cZScFAmWIZ28FAwAAAAAACgkQ8QSccp8cZSfY dA/+JINMR6ngRgOyh59F4XfzNcjLEpbLHgJhF8OxMOk8UTk5fw10u3Z4Lb8ZuUHLz+BKSld//jUg AVmLvscEuziOfJC3Xq0ENrTQ3fPwA9uPxYCmcb7maT0leCG9rG4ImkSNhSGvBmiqH718MhAwrwZn 9NKpNdqyXLWzZknaNF95tNCe5YWXBntqjigFR+6X1ayS4zsO8StpXAFAqYDawYCcetP97jIOusRr 8YccYvuMPDq3Ktdgs9brkfQeEeOBfel0+OJEFQ6YZkDYIw0mA3jmcUUqXbdaoXNIMzLsGKppg2iz FGvAV3XXNY9PEKJBhqadGTnKwXmc0kqxnzg1mGFLqa2Lkdko1zzDIGbGMSuvcld2BadNg03XCAEH PEkP8JL617e4BiFKWqRmSYSBhaJJ9VYZ8jDU6LEZgOjAD8NCFvUkqom9Bkql1m1NWxSLkse2u1go 9eMx+DzAFoZC7Rg81//kg0oorz+nhFxGF859nephWVg1oawqbQu7cOzQvHrq1xz68mKBbRZecMTf VcQjvWGpyLTIXQArRTuPPKDBB54CnhRlatm7HZ+TsTORjUCPRSbU1TgfzwM7kT3y7ArXXnyrTGEU 6F83HCwX9tp76rY9vvOrPNZSRU3heD6KU1OnHMnRPB8+BmT4omRU2w4jvNFbhZPrCM7ZaBqHVSig /Dk= =Jba4 -----END PGP SIGNATURE----- --------------eJchcc3000lI00zXW2W9VqJR--