From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wm1-x332.google.com (mail-wm1-x332.google.com [IPv6:2a00:1450:4864:20::332]) by sourceware.org (Postfix) with ESMTPS id 6BEEF3858D33 for ; Fri, 6 Jan 2023 20:08:49 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 6BEEF3858D33 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-wm1-x332.google.com with SMTP id ay2-20020a05600c1e0200b003d22e3e796dso1873235wmb.0 for ; Fri, 06 Jan 2023 12:08:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=in-reply-to:references:cc:to:from:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=bQkpKrZqt6XZICbljyMZ8YgoPZdRXVVVAZSn6bgQa4Y=; b=bZ7z4DhR2Vsn9BZ3TVEwANA8Gp8Sx9QpDJ5/O1gXpdEicVAQCA5pwmNDbqmsBMgFS5 6uVAddrhJlT10pPk82Pi5IztS2Yvn319Cro4CBPOZ0x53JN68pAPzWgyVxFxXjaz57w2 oA+0kDIhYsbNRaMr1atyuCyD/bA9FZoTvkMqZYwZiDjq6m9puYUHcm7CvF3UlAg5QQT5 mWtPUeROMU+Ov4wWscLtuKBTxMMFOe5fbHp0nerqL2XV3Dil3gzT2R7CTj/spGxoFIy5 BDCctgF6tq/VT2Ox5CXFtgTcCXIiRn6PQ7tz9v+v27GmjpxupuXksJS5QnxoG6z0BOG5 P+1A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=in-reply-to:references:cc:to:from:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=bQkpKrZqt6XZICbljyMZ8YgoPZdRXVVVAZSn6bgQa4Y=; b=E2PYPdLjMF2hQs4rhDWmLeElqCmt+NBNssK2+2cKt2FUuaodKXt101CPjb3R+N7bC+ 59bbP1XsRPHikvUvrUmVq98vScWYEOyDuLMTIZJYhTsLvBUZmaNOMKeo6+kzCnT0PxaZ y/fle4ttC9mijuuQs+WG42bMVugttxXFU+LhL+59B+Q/bi3DF68TDKjnFg6CxGXocIP6 ScsIfHYT3onUt6x7Ws7IXY1DwMzgVkZWDmsLHIZ6pWmojXEVkfk9ucQ+hYUQsmXrPiO7 anmr7xz31YrqEJuYfbQJmHd8h4wXhiN43jnlMJjcBZaFRayV3rS9wR6HwQqv8AYeAxra fk0g== X-Gm-Message-State: AFqh2krR2DA5J2xI+ZM6/PpEZEvGzyTXA7uGX2wHpD5qNvI2VDBpe1sS EsRqwFv2Yde65bvz3zOIZfEG+L7C1B4= X-Google-Smtp-Source: AMrXdXuVFXXls4TUmWi/TFnyqwM2mrw4+VFD7wOBFyhR9++8l/WV+dYw0FgQArqVtuzyv3x+eRUKiA== X-Received: by 2002:a05:600c:4a90:b0:3d2:3ae8:886a with SMTP id b16-20020a05600c4a9000b003d23ae8886amr44058244wmp.17.1673035727863; Fri, 06 Jan 2023 12:08:47 -0800 (PST) Received: from [192.168.0.160] ([170.253.36.171]) by smtp.gmail.com with ESMTPSA id r5-20020a05600c35c500b003d98f92692fsm3235606wmq.17.2023.01.06.12.08.47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 06 Jan 2023 12:08:47 -0800 (PST) Message-ID: <0acb59af-b5fe-2aa4-e582-aa3aaad5866a@gmail.com> Date: Fri, 6 Jan 2023 21:08:39 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.6.0 Subject: Re: stdc_bit_ceil(3) and wrapping Content-Language: en-US From: Alejandro Colomar To: Yann Droneaud , Joseph Myers Cc: gcc@gcc.gnu.org, GNU C Library References: In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------hDq8LSGemm2ZTc39u0bx08zZ" X-Spam-Status: No, score=-3.8 required=5.0 tests=BAYES_00,BODY_8BITS,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,NICE_REPLY_A,RCVD_IN_DNSWL_NONE,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------hDq8LSGemm2ZTc39u0bx08zZ Content-Type: multipart/mixed; boundary="------------O01uxx16PS80ZFySvJYkSjyt"; protected-headers="v1" From: Alejandro Colomar To: Yann Droneaud , Joseph Myers Cc: gcc@gcc.gnu.org, GNU C Library Message-ID: <0acb59af-b5fe-2aa4-e582-aa3aaad5866a@gmail.com> Subject: Re: stdc_bit_ceil(3) and wrapping References: In-Reply-To: --------------O01uxx16PS80ZFySvJYkSjyt Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 DQoNCk9uIDEyLzMwLzIyIDIzOjMzLCBBbGVqYW5kcm8gQ29sb21hciB3cm90ZToNCj4gSGkg WWFubiwNCj4gDQo+IE9uIDEyLzMwLzIyIDIxOjMzLCBBbGVqYW5kcm8gQ29sb21hciB3cm90 ZToNCj4+IE9uIDEyLzMwLzIyIDIxOjE4LCBZYW5uIERyb25lYXVkIHdyb3RlOg0KPj4+IFdo YXQncyB3cm9uZyB3aXRoIHRoZSBmb2xsb3dpbmcgPw0KPiANCj4gWy4uLl0NCj4gDQo+Pg0K Pj4+DQo+Pj4gwqDCoMKgwqAgdW5zaWduZWQgbG9uZyBtYXggPSB1cHBlcl9ib3VuZCAtIDE7 DQo+Pj4gwqDCoMKgwqAgdW5zaWduZWQgbG9uZyBtYXNrID0gVUxPTkdfTUFYID4+IF9fYnVp bHRpbl9jbHpsKG1heCk7DQo+Pg0KPj4gSSBoYXRlIGNvZGluZyB0aGVzZSBtYWdpYyBvcGVy YXRpb25zIG91dCBvZiBhIGZ1bmN0aW9uLCB3aGVuIEkgY2FuIGdpdmUgaXQgYSANCj4+IG1l YW5pbmdmdWwgbmFtZS7CoCBUaGF0IHJlYWRzIHRvIG1lIGFzIGEgbWFnaWMgdHJpY2sgdGhh dCBtYW55IG1haW50YWluZXJzIHRoYXQgDQo+PiByZWFkIGl0IGFmdGVyIG1lIHdpbGwgYmxh bWUgbWUgZm9yIGhhdmluZyB0byBwYXJzZSBpdC4NCj4+DQo+PiBNb3Jlb3ZlciwgaXQgcmVx dWlyZXMgeW91IHRvIGhhdmUgdGhlIHNwZWNpYWwgY2FzZSBmb3IgMCBhdCB0aGUgdG9wLCB3 aGljaCBJIA0KPj4gZG9uJ3Qgd2FudC4NCj4gDQo+IEkgcmVjb25zaWRlcmVkOyBteSAtMSB3 YXMgZXF1YWxseSBtYWdpYy7CoCBBbmQgYnkgY2FsbGluZyBpdCAnbWFzaycsDQo+IFVMT05H X01BWCA+PiBuIGlzIHNvbWV0aGluZyBub3Qgc28gbWFnaWMuDQo+IA0KPiBUaGUgYnVpbHRp biBzdGlsbCBoYXMgdGhlIHByb2JsZW0gdGhhdCBpdCByZXF1aXJlcyBzcGVjaWFsLWNhc2lu ZyAwLCBzbyBJIHByZWZlciANCj4gdGhlIEMyMyBjYWxsLCB3aGljaCBwcm92aWRlcyB0aGUg YmVoYXZpb3IgSSB3YW50IGZvciAwOg0KPiANCj4gDQo+IHVuc2lnbmVkIGxvbmcNCj4gc2hh ZG93X3JhbmRvbV91bmlmb3JtKHVuc2lnbmVkIGxvbmcgdXBwZXJfYm91bmQpDQo+IHsNCj4g IMKgwqDCoMKgdW5zaWduZWQgbG9uZ8KgIHIsIG1heCwgbWFzazsNCj4gDQo+ICDCoMKgwqDC oG1heCA9IHVwcGVyX2JvdW5kIC0gMTsNCj4gIMKgwqDCoMKgbWFzayA9IFVMT05HX01BWCA+ PiBsZWFkaW5nX3plcm9zdWwobWF4KTsNCg0KSSBqdXN0IHJlYWxpemVkIHRoYXQgdGhpcyBp c24ndCBnb29kIGVpdGhlci4gIFNoaWZ0aW5nIHJpZ2h0IHN0aWxsIGhhcyB1bmRlZmluZWQg DQpiZWhhdmlvciBmb3IgbWF4ID0gMC4gIEknbGwgZmFsbCBiYWNrIHRvIG15IG9yaWdpbmFs IHBsYW4uDQoNCj4gDQo+ICDCoMKgwqDCoGRvIHsNCj4gIMKgwqDCoMKgwqDCoMKgIHIgPSBz aGFkb3dfcmFuZG9tKCk7DQo+ICDCoMKgwqDCoMKgwqDCoCByICY9IG1hc2s7wqAgLy8gb3B0 aW1pemF0aW9uDQo+ICDCoMKgwqDCoH0gd2hpbGUgKHIgPiBtYXgpOw0KPiANCj4gIMKgwqDC oMKgcmV0dXJuIHI7DQo+IH0NCj4gDQo+IA0KPiBBbmQsIG5vdyBJIGRvbid0IG5lZWQgdG8g YWRkIGEgd3JhcHBlciBhcm91bmQgYml0X2NlaWwoKSB0aGF0IHJlbW92ZXMgdGhlIFVCLiAN Cj4gc3RkY19sZWFkaW5nX3plcm9zdWwoKSBpcyBqdXN0IGZpbmUgZm9yIHRoaXMgdXNlIGNh c2UuDQo+IA0KPiBDaGVlcnMsDQo+IA0KPiBBbGV4DQo+IA0KDQotLSANCjxodHRwOi8vd3d3 LmFsZWphbmRyby1jb2xvbWFyLmVzLz4NCg== --------------O01uxx16PS80ZFySvJYkSjyt-- --------------hDq8LSGemm2ZTc39u0bx08zZ Content-Type: application/pgp-signature; name="OpenPGP_signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="OpenPGP_signature" -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE6jqH8KTroDDkXfJAnowa+77/2zIFAmO4f8gACgkQnowa+77/ 2zJjKxAAo9fVC5A5G/MmtPL6yNDnQf27VHq+9OUkRJQnet87ySJ4GjXz7EEkIo5i WsSa5qwkorjMDMnqP1SCZ3NUZy7kw0amOktA7cyrD5Yfan6Fgq2KUbk0M+3M1lwZ mA1BMPZJLCqGafgPwRyOglEyB1FjRzR58z1ASBesajOzwjOTgAj9E7FxxyQ9xwmO P2Dn6fx81aAShr9uDrBBkeLxU/929lAvrvSXBmefbgOvGBLFgtojkJN3H/GRLGhu jyTSV/6AqqqufaXLpzwOeZRjSBGREEes7gKUJt3kbIm+UT0q6f/4ZfKzneZIGdCV PSgI38EJRQejF1NSupuliIZ2hrp3sucZ/p6MUQUvmerznTMAZ1ug99NdZRbdvJ05 v4uOdTt+RVf6XUd7JMmzI/hAQJ3oZrIskvbGneoodP3eu//vWdAPJ54W+h0iO0Xs 1A/vQ3zoJS1L/NTc6Wz8fUrtJ/aupCQEbLqoU8Qa4m7kIZ+ScviQg6ku++zEbzJP Gb5avvbJLlGPoeQkDSXTdb0MGscordWbh/G6iL8eMOHHW7FJQf3U8v+Vnu6voOQa U5GJtmJUWcwU2KFNesI1dD39xYl4+vzZjMB3PF8YnKkBmENJXBu9jXq08zxk3x69 wRFBvI5Sw1ZxADxJ9C3F4y8jJfyIkQLjaMoplxBlY2nLsXffxXs= =Ga9x -----END PGP SIGNATURE----- --------------hDq8LSGemm2ZTc39u0bx08zZ--