From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-wr1-x42f.google.com (mail-wr1-x42f.google.com [IPv6:2a00:1450:4864:20::42f]) by sourceware.org (Postfix) with ESMTPS id 8D9A93858CDA for ; Fri, 30 Dec 2022 20:33:58 +0000 (GMT) Received: by mail-wr1-x42f.google.com with SMTP id h16so20663377wrz.12 for ; Fri, 30 Dec 2022 12:33:58 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=Giw3oR4rnIoM6BnJ+hTIiCaQdrpQyltLn9rNc6wkiTE=; b=iqTGyuWSY9r3YkYNoL+IuPTTCdJb30Xw63ai6l5wIcFwMHDqodH1R8iBx2iefNM8Fp pfjyN6yqzCMrAGWg0cBEugDz49iEt7OxckzwAU9skwaIs5F79/CfbJT71Udt1xIuShRj uNbrVPFW8DgMb9CU1gEXd2TOKyWYeR6vntnn6i2s/KKZId0ccZ/ioqBgEyJNCFnsn6R9 99/HItZy8VFdrd3TD0HO5G/70k6b2KnBVpkUgD4hKcbKTvbj5Gi1Byz8qz8pRx7Niel4 CFen0eQXr4s78PjsSeRhwzm8ffU4WKteCbuP6UtA68aQGW+sS2ZuTfQHhdi/JiTXH4Yj swIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=in-reply-to:from:references:cc:to:content-language:subject :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=Giw3oR4rnIoM6BnJ+hTIiCaQdrpQyltLn9rNc6wkiTE=; b=IBCbEMqG4KkgvLV5LA/O8gV2gaziy0P2Os8MPKb8F1MmFMmDiAskjrUhOKP9yq+wck fsnheNG8GQRS5Q4bTBCitXzbTk5IbIJ4BmHqzBjO0AiFky4XVvIbQ8R/l9llzZ5iV2ym tTITSqV02GghR2yOHSxJI7I9g9wrUMePL5cewAG/5+oAm3PGHyOiOvcB8tmE1rV1LMMu QFh9UNIpPED77AFyGrGULt+tkBKLosX4ugiry0UuiQkxmxv5lT90zngavRFcl/tN1/61 JLLX5c5G7IPOJOo0+G+LVR6a+M1hnsxGRAmG0aDubVmsmH3a65+L057yZRc/WvBKl1Ql QkOw== X-Gm-Message-State: AFqh2kqsVWzHhaYH5a695W/OS/xEDdwCuRZhXUkvyqmpNnO29wfn8d6M kWBkWYYVIgf3lT+KLyORCcQ= X-Google-Smtp-Source: AMrXdXsD1TJ/bYafMb+WV+CX3c5bU0tz45OWtrx8FWlvuM4g2N5mH0CXh6iN8nz83+bOAS8TzHBl5A== X-Received: by 2002:a5d:6588:0:b0:275:4c60:1a31 with SMTP id q8-20020a5d6588000000b002754c601a31mr17151488wru.14.1672432437407; Fri, 30 Dec 2022 12:33:57 -0800 (PST) Received: from [192.168.0.160] ([170.253.36.171]) by smtp.gmail.com with ESMTPSA id q1-20020adffec1000000b00281b594c725sm11859208wrs.38.2022.12.30.12.33.56 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 30 Dec 2022 12:33:56 -0800 (PST) Message-ID: Date: Fri, 30 Dec 2022 21:33:42 +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 To: Yann Droneaud , Joseph Myers Cc: gcc@gcc.gnu.org, GNU C Library References: From: Alejandro Colomar In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="------------CEus0u4S3OloIBoW9ahQgedA" X-Spam-Status: No, score=-5.0 required=5.0 tests=BAYES_00,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=ham 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) --------------CEus0u4S3OloIBoW9ahQgedA Content-Type: multipart/mixed; boundary="------------kNkpepYBlZ6NzqUZNSkH0WfP"; protected-headers="v1" From: Alejandro Colomar To: Yann Droneaud , Joseph Myers Cc: gcc@gcc.gnu.org, GNU C Library Message-ID: Subject: Re: stdc_bit_ceil(3) and wrapping References: In-Reply-To: --------------kNkpepYBlZ6NzqUZNSkH0WfP Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64 SGkgWWFubiwNCg0KT24gMTIvMzAvMjIgMjE6MTgsIFlhbm4gRHJvbmVhdWQgd3JvdGU6DQo+ IEhpLA0KPiANCj4gMzAgZMOpY2VtYnJlIDIwMjIgw6AgMjA6NTUgIkFsZWphbmRybyBDb2xv bWFyIHZpYSBMaWJjLWFscGhhIiA8bGliYy1hbHBoYUBzb3VyY2V3YXJlLm9yZz4gYSDDqWNy aXQ6DQo+Pg0KPj4gSSdtIGltcGxlbWVudGluZyBhIHNtYWxsIHBhcnQgb2YgPHN0ZGJpdC5o PiBlcXVpdmFsZW50IGNvZGUgZm9yIHNoYWRvdy4gSSBuZWVkDQo+PiBzdGRjX2JpdF9jZWls dWwoKSBmb3IgYSByYW5kb20gbnVtYmVyIGdlbmVyYXRvciBsaW1pdGVkIHRvIGEgcmFuZ2Ug KHlvdSd2ZSBzZWVuDQo+PiBzb21lIG9mIHRoaXMgaW4gdGhlIGdsaWJjIG1haWxpbmcgbGlz dC4NCj4+DQo+PiAkIGdyZXBjIC10ZmQgc2hhZG93X3JhbmRvbV91bmlmb3JtDQo+PiAuL2xp Ym1pc2MvcmFuZG9tLmM6NzY6DQo+PiB1bnNpZ25lZCBsb25nDQo+PiBzaGFkb3dfcmFuZG9t X3VuaWZvcm0odW5zaWduZWQgbG9uZyB1cHBlcl9ib3VuZCkNCj4+IHsNCj4+ICAgdW5zaWdu ZWQgbG9uZyByOw0KPj4NCj4+ICAgZG8gew0KPj4gICByID0gc2hhZG93X3JhbmRvbSgpOw0K Pj4gICByICY9IGJpdF9jZWlsX3dyYXB1bCh1cHBlcl9ib3VuZCkgLSAxOyAvLyBvcHRpbWl6 YXRpb24NCj4+ICAgfSB3aGlsZSAociA+IHVwcGVyX2JvdW5kIC0gMSk7DQo+Pg0KPj4gICBy ZXR1cm4gcjsNCj4+IH0NCj4+DQo+IA0KPiBXaGF0J3Mgd3Jvbmcgd2l0aCB0aGUgZm9sbG93 aW5nID8NCj4gDQo+ICAgICAgaWYgKHVwcGVyX2JvdW5kIDwgMikNCj4gICAgICAgICAgcmV0 dXJuIDA7DQoNCklmIHVwcGVyX2JvdW5kIGlzIDEsIHRoZSBvbmx5IHZhbGlkIHZhbHVlIGlz IDAsIGJ1dCBpZiBpdCBpcyAwLCBJIHByZWZlciBpdCB0byANCmJlaGF2ZSBhcyBpZiB0aGVy ZSB3YXMgbm8gYm91bmQgYXQgYWxsLCBiZWNhdXNlIHRoZW4gaXQgYWxsb3dzIGEgZnVuY3Rp b24gDQpzaGFkb3dfcmFuZG9tX3JhbmdlKG1pbiwgbWF4KSB0byBiZSBpbXBsZW1lbnRlZCBh czoNCg0KDQovKg0KICAqIFJldHVybiBhIHVuaWZvcm1seS1kaXN0cmlidXRlZCByYW5kb20g bnVtYmVyIGluIHRoZSBpbmNsdXNpdmUgcmFuZ2U6DQogICogW21pbiwgbWF4XQ0KICAqLw0K dW5zaWduZWQgbG9uZw0Kc2hhZG93X3JhbmRvbV9yYW5nZSh1bnNpZ25lZCBsb25nIG1pbiwg dW5zaWduZWQgbG9uZyBtYXgpDQp7DQoJcmV0dXJuIHNoYWRvd19yYW5kb21fdW5pZm9ybSht YXggLSBtaW4gKyAxKSArIG1pbjsNCn0NCg0KDQpUaGF0IGZ1bmN0aW9uIGhhcyBubyBwcm9i bGVtcyB3aGVuIG1heCBpcyBVTE9OR19NQVggYW5kIG1pbiBpcyAwLCB3aGljaCBpcyBhIA0K bmljZSBmZWF0dXJlLg0KDQoNCkJUVywgdGhpcyBpcyBzb21ldGhpbmcgdGhhdCBtaWdodCBi ZSBpbnRlcmVzdGluZyBmb3IgYm90aCByYW5kKDMpIGFuZCANCmFyYzRyYW5kb20oMykgaW4g bGliYywgc2luY2UgaXQncyBzb21ldGhpbmcgdGhhdCBpcyBlcnJvci1wcm9uZSB0byByb2xs IHlvdXIgb3duIA0Kd3JhcHBlciBhcm91bmQgdGhlICpfdW5pZm9ybSgpIGZ1bmN0aW9uIChm b3IgZXhhbXBsZSwgc2hhZG93IGhhZCBpdCBiaWFzZWQsIGFuZCANCkknbSBmaXhpbmcgaXQp Lg0KDQpJZiB5b3Ugd2FudCwgSSBjb3VsZCBwcmVwYXJlIGEgcGF0Y2ggZm9yIGdsaWJjLg0K DQo+IA0KPiAgICAgIHVuc2lnbmVkIGxvbmcgbWF4ID0gdXBwZXJfYm91bmQgLSAxOw0KPiAg ICAgIHVuc2lnbmVkIGxvbmcgbWFzayA9IFVMT05HX01BWCA+PiBfX2J1aWx0aW5fY2x6bCht YXgpOw0KDQpJIGhhdGUgY29kaW5nIHRoZXNlIG1hZ2ljIG9wZXJhdGlvbnMgb3V0IG9mIGEg ZnVuY3Rpb24sIHdoZW4gSSBjYW4gZ2l2ZSBpdCBhIA0KbWVhbmluZ2Z1bCBuYW1lLiAgVGhh dCByZWFkcyB0byBtZSBhcyBhIG1hZ2ljIHRyaWNrIHRoYXQgbWFueSBtYWludGFpbmVycyB0 aGF0IA0KcmVhZCBpdCBhZnRlciBtZSB3aWxsIGJsYW1lIG1lIGZvciBoYXZpbmcgdG8gcGFy c2UgaXQuDQoNCk1vcmVvdmVyLCBpdCByZXF1aXJlcyB5b3UgdG8gaGF2ZSB0aGUgc3BlY2lh bCBjYXNlIGZvciAwIGF0IHRoZSB0b3AsIHdoaWNoIEkgDQpkb24ndCB3YW50Lg0KDQo+IA0K PiAgICAgIGRvIHsNCj4gICAgICAgICAgciA9IHNoYWRvd19yYW5kb20oKTsNCj4gICAgICAg ICAgciAmPSBtYXNrOw0KDQpNb3ZpbmcgdGhlIGNhbGN1bGF0aW9uIG9mIHRoZSBtYXNrIG91 dCBvZiB0aGUgbG9vcCBpcyBzb21ldGhpbmcgSSBoYWQgaW4gbWluZCwgeWVwLg0KDQpJIGFs c28gY29uc2lkZXJlZCByZXVzaW5nIHRoZSByZW1haW5pbmcgYml0cyBpZiBwb3NzaWJsZSwg YnV0IEkgcHJlZmVyIHRvIGtlZXAgDQp0aGUgY29kZSBzaW1wbGUsIGV2ZW4gaWYgaXQgaGFz IGEgZmV3IG1vcmUgY2FsbHMgdG8gYXJjNHJhbmRvbSgzKSB1bmRlcm5lYXRoLg0KDQo+ICAg ICAgfSB3aGlsZSAociA+IG1heCk7DQoNClllYWgsIHRoaXMgbWF4IGlzIG1vcmUgZnJpZW5k bHkgdGhhbiBteSBtYWdpYyAtMS4gIFRoYW5rcyEgOikNCg0KPiANCj4gICAgICByZXR1cm4g cjsNCj4gDQoNCkNoZWVycywNCg0KQWxleA0KDQotLSANCjxodHRwOi8vd3d3LmFsZWphbmRy by1jb2xvbWFyLmVzLz4NCg== --------------kNkpepYBlZ6NzqUZNSkH0WfP-- --------------CEus0u4S3OloIBoW9ahQgedA 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/2zIFAmOvSyYACgkQnowa+77/ 2zJNfA//R0XUZ5pe0yKHrfeBVEA0dXjHRR+RpKl1KtYk9nyxl3tYfi5J4D//fxQj 8/e0t0LHgqhjgOwvS4uxZ0IW8o3WiJEvjdJgz/C9/Hr7owq7JMjY2W8JhKXuqSzb IDLMf03OX0msV6KD8EsZpQS9WfkXcSNeqi7lffjJi86EubW747DrGALkBp69p/Wu 0w75WSzjxk29TocdDc1CJt+KZkZujiOrKnE/dQl3e64la1hPAVRC4Puk6CmCQBtG rwO18NT5POschN8Ww0/BjdJCS68fK9leek3gtkzGKBpJvn8rSZof3+hA1i9iY37W BCTtIY2qzyLDfhWDvt83Pj+M6hcxkiXK8rIsLMeqPL1tEz8T2SqbQyKC4cIsvm6d Tz8RoRobQS/2/eSRXMtpB4PZdf46y8NE5nJuVKQQUAor5AKgCe0o+m7SpiS9+LTJ iolgWpFfHlRD3hN1yecj8ULyzKRcn61jkMk8NHQQjvpTrHAQqD/Ai6JbE4HrwoL/ FCz13/qnMGTmbVFre301WLVUrjmGxdsnuT/3TOh47t0GqYbzCGgq4K1mAFD1wtsq fiIa/iUZoUuXXlHcz6x9MNxVVNTZU0ALsSW5FLQzGa/kpp+HXuIUeJCzCnFAh+gE mn0OoC+OO9bUiT+cefRHjoyK2VMoGp8w7CdVPKTETQxMqY4PYbs= =pciR -----END PGP SIGNATURE----- --------------CEus0u4S3OloIBoW9ahQgedA--