From 98ebee77e235c9c20112aeaf13235da1355bfd3a Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Sun, 1 Aug 2021 15:38:04 +0200
Subject: [PATCH] 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.
---
 ChangeLog             | 6 ++++++
 tests/test-limits-h.c | 5 +++++
 2 files changed, 11 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index e3b868f91b..dbd0598ec5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2021-08-01  Bruno Haible  <bruno@clisp.org>
+
+	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.
+
 2021-07-31  Paul Eggert  <eggert@cs.ucla.edu>
 
 	regex: pacify GCC 11.2 -fanalyzer
diff --git a/tests/test-limits-h.c b/tests/test-limits-h.c
index 4144013010..f3394c1ae1 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)
 {
-- 
2.39.5