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 1rOKFd-003G2h-H5 for pgsql-bugs@arkaria.postgresql.org; Fri, 12 Jan 2024 16:19:22 +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 1rOKFb-0036gq-Vw for pgsql-bugs@arkaria.postgresql.org; Fri, 12 Jan 2024 16:19:19 +0000 Received: from magus.postgresql.org ([2a02:c0:301:0:ffff::29]) by malur.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rOKFb-0036gh-Dn for pgsql-bugs@lists.postgresql.org; Fri, 12 Jan 2024 16:19:19 +0000 Received: from meldrar.postgresql.org ([2a02:c0:301:0:ffff::31]) by magus.postgresql.org with esmtps (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94.2) (envelope-from ) id 1rOKFZ-001DDL-7j for pgsql-bugs@lists.postgresql.org; Fri, 12 Jan 2024 16:19:18 +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=qCx/5qSUpC5rW31JHFQIMfIkfJRHbhxbC7jZaEw6aak=; b=DpPpmqJ45YdovVcNk8xD+set++ hNroul8CYspm9o3ydXKPvur36EUiHb9KlFZ+5EvznpBv184VJ1Xv7nZsW5tjsOdNUnoWYSOpDwotD 4qJnQ16Jet7tzIIpH9vvZfe8TDTNEW8l/26UtEjRNakZlWqwi5s7Sq8kCLHhaOhDjuATD6Ul0vDdy be71ETqB5xTS5V9bT0+nJeQRlIB53iQ3339Hjxh5HxGmti2JkaFPiW4kuvqmrYtLWakSHFB5McRhJ 3Bw67z1ZUfeqe5SpEouRU7Os1WxEmTQ6NYXKmHpYrtPO7rfjQruGC555cAssGW38dgtyHBa5MYm1j 0wVvjLAw==; 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 1rOKFS-00388d-Dx; Fri, 12 Jan 2024 16:19:13 +0000 Message-ID: <9115f2e8-8dde-4545-868c-9becb2260aef@postgresql.org> Date: Fri, 12 Jan 2024 11:19:08 -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: Michael Paquier , Tom Lane Cc: 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> 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: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------ha0gvbs7wuvyqUvO0IvB0nWq" 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) --------------ha0gvbs7wuvyqUvO0IvB0nWq Content-Type: multipart/mixed; boundary="------------EeJwWhd3dglYHbphsQ4vhbAo"; protected-headers="v1" From: "Jonathan S. Katz" To: Michael Paquier , Tom Lane Cc: David Rowley , exclusion@gmail.com, pgsql-bugs@lists.postgresql.org Message-ID: <9115f2e8-8dde-4545-868c-9becb2260aef@postgresql.org> 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> In-Reply-To: --------------EeJwWhd3dglYHbphsQ4vhbAo Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 T24gMS8xMC8yNCA4OjEyIFBNLCBNaWNoYWVsIFBhcXVpZXIgd3JvdGU6DQoNCj4gV2hpbGUg bG9va2luZyBhdCB0aGUgd2hvbGUgcGljdHVyZSwgYW4gaXNzdWUgd2l0aCB0aGUgZGlyZWN0 IHJlbW92YWwNCj4gb2YgbW9uZXkgaXMgaG93IHdlIHNob3VsZCBoYW5kbGUgYnRyZWVfZ2lu IGFuZCBidHJlZV9naXN0IHdoaWNoIGhhdmUNCj4gb3BlcmF0b3JzIGJhc2VkIG9uIG1vbmV5 LiAgV2UgdHJ5IHRvIGtlZXAgdGhpbmdzIGNvbXBhdGlibGUgYXQNCj4gcnVuLXRpbWUsIGJ1 dCBjb3VsZCB0aGlzIGJlIHdvcnRoIGEgaGFyZCBicmVhayBpbiB0aGVzZSBtb2R1bGVzLA0K PiBkcm9wcGluZyB0aGUgb2xkZXIgc3FsIHNjcmlwdHMgdXNlZCBpbiB0aGUgbW9kdWxlcyBp ZiB3ZSBkb24ndCBoYXZlDQo+IGFjY2VzcyB0byBtb25leSBhbnltb3JlIGF0IHJ1bnRpbWU/ ICBUaGVzZSBhcmUgbm90IHBvcHVsYXIgbW9kdWxlcy4uDQo+IEFueSB0aG91Z2h0cyBhYm91 dCB0aGF0Pw0KDQpCb3RoIG1vZHVsZXMgYXJlIHByZXR0eSBwb3B1bGFyLiBQZXJzb25hbGx5 LCBJIHVzZWQgaXQgaW4gc2NoZWR1bGluZyANCmFwcHMgdGhhdCBpbnZvbHZlZCByYW5nZSB0 eXBlcyArIGV4Y2x1c2lvbiBjb25zdHJhaW50cy4gVGhlIGRhdGEgSSd2ZSANCnNlZW4gc3Vn Z2VzdHMgYnRyZWVfZ2lzdCAvIGJ0cmVlX2dpbiBhcmUgd2lkZWx5IGRlcGxveWVkLg0KDQpU aGF0IHNhaWQsIEkgZG9uJ3Qga25vdyBob3cgbXVjaCBvZiB0aGVzZSBtb2R1bGVzIGFyZSB1 c2VkIHdpdGggdGhlIA0KbW9uZXkgdHlwZSBzcGVjaWZpY2FsbHkuIE15IGd1ZXNzIGlzIHRo YXQgaXQncyBtb3JlIGNvbW1vbiB0byBjb21iaW5lIGl0IA0Kd2l0aCBzb21ldGhpbmcgbGlr ZSBhbiB7aW50LGJvb2x9L3JhbmdlIHR5cGUgdGhhbiBhIG1vbmV5IHR5cGUuDQoNCkl0IHNv dW5kcyBsaWtlIHdlJ2QgaGF2ZSB0byB0cmVhZCBhIGJpdCBsaWdodGx5IGJlY2F1c2Ugb2Yg dGhpcywgZXZlbiBpZiANCm1vbmV5IGlzIG5vdCBmcmVxdWVudGx5IChvciBhdCBhbGwpIHVz ZWQgd2l0aCBidHJlZV9naXN0L2dpbj8NCg0KSm9uYXRoYW4NCg== --------------EeJwWhd3dglYHbphsQ4vhbAo-- --------------ha0gvbs7wuvyqUvO0IvB0nWq 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/x8QSccp8cZScFAmWhZnwFAwAAAAAACgkQ8QSccp8cZSfn IA//T8HBm25chCyfNj+n7NevJrwqsUBkhQCtBFppsAa0mGdkg5UKAizTiiQYrf9Q79BA0cBwxMmY kKfRUIc7vvfniKdvn25ItaTb0PA1ZfsmX0Mnw3YpMhfdGy0XGzPg+hADue9WlvfLvyR3sin41U8n bPJKxQu9fckj95wri14CXVhihGZOiiO3uayBf1AMwqWJpvLBkx60MDkCogiDdw9yVoPrqiDa8xHP NUXHNlZsUl9ly5fNkP4lKe3hOmgDVhtLeNX5Uo7Y/WK9qQeRGCwobtIY6tIyZA2rj/4fjnizjbzX b0Op6Qx4oqh0NPJDQGnxupFPFwTlJ6u1GClwyeulRqz4yXolP18LD4yGyRxyrZp2RNMB/jiLIOtP l1YtrlcqM7UYlEb9wfjdh2cEOlQl1R/DBNnDQqiPcf9W8/TcDBvz4UxF/JMC28SXdvAfilpXHeVH Qtp0im7CKQPN8iRgMY70RGmFIVVZx7z0INCkz2jpnxF9LFK0B56zldKa/SLh9NEUT2t8so3htut4 9XKgHXDIuUhTR/cZcS61+ThxsTI7On39JnsZByEP+RV99ZoAnC3O3LNByxuvkTInKW2AhrKip0bJ 2j+hV4aSguFyrX1NwfXxp4SQUSi0SvqCJlNEEBV4YZa5AgEEssHTFolaJ5DlpDLPvdnh/6yZH8SD sFc= =4xRH -----END PGP SIGNATURE----- --------------ha0gvbs7wuvyqUvO0IvB0nWq--