Fix "make sc_check_config_h_reminder" failure.

* Makefile (config_h_MACROS2): Add _GL_ATTRIBUTE_DEALLOC_FREE,
_GL_ATTRIBUTE_NONNULL_IF_NONZERO, _GL_ATTRIBUTE_REPRODUCIBLE,
_GL_ATTRIBUTE_UNSEQUENCED, _GL_ATTRIBUTE_CAPABILITY_TYPE,
_GL_ATTRIBUTE_ACQUIRE_CAPABILITY, _GL_ATTRIBUTE_RELEASE_CAPABILITY.
(exclude_file_name_regexp--sc_check_config_h_reminder): New variable.
(sc_check_config_h_reminder): Use it.
* lib/areadlink.h: Add <config.h> reminder.
* lib/crc.h: Likewise.
* lib/crc-x86_64.h: Likewise.
* lib/diffseq.h: Likewise.
* lib/gl_sublist.h: Likewise.
* lib/signed-nan.h: Likewise.
* lib/signed-snan.h: Likewise.
* lib/snan.h: Likewise.
* lib/unicase/special-casing.in.h: Likewise.

diff --git a/ChangeLog b/ChangeLog
index 62e0f4011b55574cf1d778616641a9c256284729..c1e5b652bf612ed0e051763e8a0c7866aacb99b7 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,22 @@
+2025-05-07  Bruno Haible  <bruno@clisp.org>
+
+       Fix "make sc_check_config_h_reminder" failure.
+       * Makefile (config_h_MACROS2): Add _GL_ATTRIBUTE_DEALLOC_FREE,
+       _GL_ATTRIBUTE_NONNULL_IF_NONZERO, _GL_ATTRIBUTE_REPRODUCIBLE,
+       _GL_ATTRIBUTE_UNSEQUENCED, _GL_ATTRIBUTE_CAPABILITY_TYPE,
+       _GL_ATTRIBUTE_ACQUIRE_CAPABILITY, _GL_ATTRIBUTE_RELEASE_CAPABILITY.
+       (exclude_file_name_regexp--sc_check_config_h_reminder): New variable.
+       (sc_check_config_h_reminder): Use it.
+       * lib/areadlink.h: Add <config.h> reminder.
+       * lib/crc.h: Likewise.
+       * lib/crc-x86_64.h: Likewise.
+       * lib/diffseq.h: Likewise.
+       * lib/gl_sublist.h: Likewise.
+       * lib/signed-nan.h: Likewise.
+       * lib/signed-snan.h: Likewise.
+       * lib/snan.h: Likewise.
+       * lib/unicase/special-casing.in.h: Likewise.
+
 2025-05-07  Bruno Haible  <bruno@clisp.org>
 
        Tidy "make sc_prohibit_AC_LIBOBJ_in_m4" check.

diff --git a/Makefile b/Makefile
index a725c5349e3a166e65aebe0565d39bad5ed9c30c..88f8cd304dee8ee160db895751fa3d71d7851fb8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -157,6 +157,7 @@ config_h_MACROS2 = \
   _GL_ATTRIBUTE_COLD \
   _GL_ATTRIBUTE_CONST \
   _GL_ATTRIBUTE_DEALLOC \
+  _GL_ATTRIBUTE_DEALLOC_FREE \
   _GL_ATTRIBUTE_DEPRECATED \
   _GL_ATTRIBUTE_ERROR \
   _GL_ATTRIBUTE_WARNING \
@@ -171,14 +172,20 @@ config_h_MACROS2 = \
   _GL_ATTRIBUTE_NODISCARD \
   _GL_ATTRIBUTE_NOINLINE \
   _GL_ATTRIBUTE_NONNULL \
+  _GL_ATTRIBUTE_NONNULL_IF_NONZERO \
   _GL_ATTRIBUTE_NONSTRING \
   _GL_ATTRIBUTE_NOTHROW \
   _GL_ATTRIBUTE_PACKED \
   _GL_ATTRIBUTE_PURE \
+  _GL_ATTRIBUTE_REPRODUCIBLE \
   _GL_ATTRIBUTE_RETURNS_NONNULL \
   _GL_ATTRIBUTE_SENTINEL \
+  _GL_ATTRIBUTE_UNSEQUENCED \
   _GL_ATTRIBUTE_UNUSED \
   _GL_UNUSED_LABEL \
+  _GL_ATTRIBUTE_CAPABILITY_TYPE \
+  _GL_ATTRIBUTE_ACQUIRE_CAPABILITY \
+  _GL_ATTRIBUTE_RELEASE_CAPABILITY \
   _GL_BEGIN_C_LINKAGE \
   _GL_END_C_LINKAGE \
   _GL_ASYNC_SAFE \
@@ -212,7 +219,8 @@ config_h_MACROS = \
 # include <config.h>.
 sc_check_config_h_reminder:
        fail=0; \
-       for file in `grep -l -F -w -f <(for macro in $(config_h_MACROS); do echo $$macro; done) lib/*.h lib/*/*.h`; do \
+       for file in `grep -l -F -w -f <(for macro in $(config_h_MACROS); do echo $$macro; done) lib/*.h lib/*/*.h \
+                    | grep -vE '$(exclude_file_name_regexp--sc_check_config_h_reminder)'`; do \
          : "Filter out .h files that are not public header files of their respective module."; \
          include_pattern='[<"]'`echo $$file | sed -e 's,^lib/,,' -e 's,[.]in[.]h,.h,' -e 's,_,[/_],g' -e 's,[.],[.],g'`'[>"]' ; \
          if ./gnulib-tool --extract-include-directive `./gnulib-tool --find $$file` | grep "$$include_pattern" >/dev/null; then \
@@ -228,6 +236,8 @@ sc_check_config_h_reminder:
          fi; \
        done; \
        exit $$fail
+exclude_file_name_regexp--sc_check_config_h_reminder = \
+  ^lib/(noreturn\.h|(uninorm|unistr)\.in\.h)
 
 
 # Ensure that .h files that invoke _GL_INLINE_HEADER_BEGIN also invoke

diff --git a/lib/areadlink.h b/lib/areadlink.h
index f3ce9cdb2962a63409126e189b8d0bc4476257db..feec8a8f858f868b18fed1f372b5fa6cdad5d7a5 100644 (file)
--- a/lib/areadlink.h
+++ b/lib/areadlink.h
@@ -18,6 +18,11 @@
 
 /* Written by Jim Meyering <jim@meyering.net>  */
 
+/* This file uses _GL_ATTRIBUTE_DEALLOC_FREE.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <stdlib.h>
 
 #ifdef __cplusplus

diff --git a/lib/crc-x86_64.h b/lib/crc-x86_64.h
index ea8e4b43ed135e17874d67e831cb7edf69622f3a..193156ce27b64c3408f581471dc925f0abf3bf8d 100644 (file)
--- a/lib/crc-x86_64.h
+++ b/lib/crc-x86_64.h
@@ -19,6 +19,11 @@
 #ifndef CRC_X86_64_H
 #define CRC_X86_64_H 1
 
+/* This file uses _GL_ATTRIBUTE_PURE.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <stddef.h>
 #include <stdint.h>
 

diff --git a/lib/crc.h b/lib/crc.h
index 059de47dd84b3e2094a31bceb4a3a74d0e9b94df..1281a50b0428670c74643c54d334e322dfa36ab9 100644 (file)
--- a/lib/crc.h
+++ b/lib/crc.h
@@ -19,6 +19,11 @@
 #ifndef CRC_H
 #define CRC_H 1
 
+/* This file uses _GL_ATTRIBUTE_PURE.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <stddef.h>
 #include <stdint.h>
 

diff --git a/lib/diffseq.h b/lib/diffseq.h
index 9a454a6c91defb3f8ed1a8eddc1d0c8d7438bb23..914bc643bb4b09195ac387fffcc24fef42eb9ac1 100644 (file)
--- a/lib/diffseq.h
+++ b/lib/diffseq.h
@@ -77,6 +77,11 @@
      #include "minmax.h"
  */
 
+/* This file uses _GL_GNUC_PREREQ.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 /* Maximum value of type OFFSET.  */
 #ifndef OFFSET_MAX
 # define OFFSET_MAX \

diff --git a/lib/gl_sublist.h b/lib/gl_sublist.h
index 30aa2c8811efe766777f8819ac693ed0c3aff93d..15566b687dbc7b630c0017fa0d6db910e7ec7ba4 100644 (file)
--- a/lib/gl_sublist.h
+++ b/lib/gl_sublist.h
@@ -18,6 +18,11 @@
 #ifndef _GL_SUBLIST_H
 #define _GL_SUBLIST_H
 
+/* This file uses _GL_ATTRIBUTE_DEALLOC, _GL_ATTRIBUTE_RETURNS_NONNULL.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include "gl_list.h"
 
 #ifdef __cplusplus

diff --git a/lib/signed-nan.h b/lib/signed-nan.h
index d55429fa664b881c09c695779c35110093309d2a..fcc12d34cf0a27a108812eadbf1c4c5c1434d0ec 100644 (file)
--- a/lib/signed-nan.h
+++ b/lib/signed-nan.h
@@ -17,6 +17,11 @@
 #ifndef _SIGNED_NAN_H
 #define _SIGNED_NAN_H
 
+/* This file uses _GL_UNUSED.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <math.h>
 
 #include "nan.h"

diff --git a/lib/signed-snan.h b/lib/signed-snan.h
index 43e505cffea21f87c7502cd1ff69b773214204ed..ad0f4cddf38c934d4028633edf6f1cb5fe898534 100644 (file)
--- a/lib/signed-snan.h
+++ b/lib/signed-snan.h
@@ -17,6 +17,11 @@
 #ifndef _SIGNED_SNAN_H
 #define _SIGNED_SNAN_H
 
+/* This file uses _GL_UNUSED.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include "signed-nan.h"
 #include "snan.h"
 

diff --git a/lib/snan.h b/lib/snan.h
index 2621b3821817f62829ce7b993a3fc9ab2005e1c6..2d955abc7f49caf56856d3a5219f700a10cd9ce8 100644 (file)
--- a/lib/snan.h
+++ b/lib/snan.h
@@ -17,6 +17,11 @@
 #ifndef _SNAN_H
 #define _SNAN_H
 
+/* This file uses _GL_UNUSED.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <float.h>
 #include <limits.h>
 #include <math.h>

diff --git a/lib/unicase/special-casing.in.h b/lib/unicase/special-casing.in.h
index 81ec05acbc13aaff42d9a65607a0c84f9728f9fd..6ea5f8009eb62e624fa559fb7d6fd4baf3969dab 100644 (file)
--- a/lib/unicase/special-casing.in.h
+++ b/lib/unicase/special-casing.in.h
@@ -23,6 +23,11 @@
    License and of the GNU General Public License along with this
    program.  If not, see <https://www.gnu.org/licenses/>.  */
 
+/* This file uses _GL_ATTRIBUTE_NONSTRING.  */
+#if !_GL_CONFIG_H_INCLUDED
+ #error "Please include config.h first."
+#endif
+
 #include <stddef.h>
 
 #ifdef __cplusplus