From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS22989 209.51.188.0/24 X-Spam-Status: No, score=-3.8 required=3.0 tests=AWL,BAYES_00,DKIM_INVALID, DKIM_SIGNED,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, NICE_REPLY_A,RCVD_IN_DNSWL_MED,RCVD_IN_MSPIKE_H4,RCVD_IN_MSPIKE_WL, SPF_HELO_PASS,SPF_PASS shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by dcvr.yhbt.net (Postfix) with ESMTPS id AC2EF1F8C6 for ; Sun, 1 Aug 2021 13:38:49 +0000 (UTC) Received: from localhost ([::1]:58706 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mABg0-0006UT-GQ for normalperson@yhbt.net; Sun, 01 Aug 2021 09:38:48 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:59934) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mABfx-0006U7-2X for bug-gnulib@gnu.org; Sun, 01 Aug 2021 09:38:45 -0400 Received: from mo4-p00-ob.smtp.rzone.de ([85.215.255.21]:34077) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mABfv-00072D-9Y for bug-gnulib@gnu.org; Sun, 01 Aug 2021 09:38:44 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; t=1627825107; s=strato-dkim-0002; d=clisp.org; h=References:In-Reply-To:Message-ID:Date:Subject:Cc:To:From:Cc:Date: From:Subject:Sender; bh=O5dQqrZH3vE5YDFN0raQmEwVpGgnKkR9i8H98g7RvXE=; b=lwgmkRGsLkW5lTJlVfVH0kdiSOBcwyC4A2bg42oHPd1uHmENn9ONihUDA1X1iqSNLe mHgWNSkxQhM1B3zlDTOSb1TdkMvEWODXimkye25RTIXO9Ndf9e1Am+Ci1q4PI4bCg+X7 Li7PRfFO76bzGrXQi7KJwHCu7q/Q5zlUol1R+HQhOD2R1txsUxmNUGA+3s+rgvSIarMl DTOGXpw/iaGVMFvxAJP782z7vS6K7lE1ldL974MrvLSsrS1Y+YEwcCf4ifmUX1MaQNBO +Fit1y4665FJe8+lR1P7aALekW2c65o5fpgTNR4KwNs/nfICNOmnCfVLksZV58tnOFyn B2/w== Authentication-Results: strato.com; dkim=none X-RZG-AUTH: ":Ln4Re0+Ic/6oZXR1YgKryK8brlshOcZlIWs+iCP5vnk6shH/DXj0JGsbh0vbrMZq" X-RZG-CLASS-ID: mo00 Received: from bruno.haible.de by smtp.strato.de (RZmta 47.28.1 DYNA|AUTH) with ESMTPSA id u08ae3x71DcRIS9 (using TLSv1 with cipher ECDHE-RSA-AES256-SHA (curve X9_62_prime256v1 with 256 ECDH bits, eq. 3072 bits RSA)) (Client did not present a certificate); Sun, 1 Aug 2021 15:38:27 +0200 (CEST) From: Bruno Haible To: bug-gnulib@gnu.org Subject: Re: [PATCH 1/6] limits-h: add BOOL_MAX, BOOL_WIDTH Date: Sun, 01 Aug 2021 15:38:26 +0200 Message-ID: <1708690.xt3HgqXhSV@omega> User-Agent: KMail/5.1.3 (Linux/4.4.0-210-generic; KDE/5.18.0; x86_64; ; ) In-Reply-To: <20210731190124.279622-1-eggert@cs.ucla.edu> References: <20210731190124.279622-1-eggert@cs.ucla.edu> MIME-Version: 1.0 Content-Transfer-Encoding: 7Bit Content-Type: text/plain; charset="us-ascii" Received-SPF: none client-ip=85.215.255.21; envelope-from=bruno@clisp.org; helo=mo4-p00-ob.smtp.rzone.de X-Spam_score_int: -21 X-Spam_score: -2.2 X-Spam_bar: -- X-Spam_report: (-2.2 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, NICE_REPLY_A=-0.08, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=-0.01, RCVD_IN_MSPIKE_WL=-0.01, SPF_HELO_PASS=-0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: bug-gnulib@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Gnulib discussion list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: Paul Eggert Errors-To: bug-gnulib-bounces+normalperson=yhbt.net@gnu.org Sender: "bug-gnulib" > + limits-h: add BOOL_MAX, BOOL_WIDTH 2021-08-01 Bruno Haible limits-h tests: Add tests for BOOL_MAX and BOOL_WIDTH. * tests/test-limits-h.c (bool_attrs): New variable. Check value of BOOL_MAX. diff --git a/tests/test-limits-h.c b/tests/test-limits-h.c index 4144013..f3394c1 100644 --- a/tests/test-limits-h.c +++ b/tests/test-limits-h.c @@ -110,6 +110,11 @@ verify_width (ULONG_WIDTH, 0, ULONG_MAX); verify_width (LLONG_WIDTH, LLONG_MIN, LLONG_MAX); verify_width (ULLONG_WIDTH, 0, ULLONG_MAX); +/* Macros specified by C2x. */ + +int bool_attrs[] = { BOOL_MAX, BOOL_WIDTH }; +verify (BOOL_MAX == (((1U << (BOOL_WIDTH - 1)) - 1) * 2) + 1); + int main (void) {