From 78e5c144edb7a5edab8638f663bb83ac329924f9 Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Thu, 13 Apr 2023 14:26:50 +0200
Subject: ialloc, gethrxtime: Restore GCC diagnostics options.

* lib/ialloc.h: Invoke _GL_INLINE_HEADER_END.
* lib/xtime.h: Likewise.
* Makefile (sc_check_GL_INLINE_HEADER_use): New rule.
---
 Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 76e3b5cc54..d0906b2315 100644
--- a/Makefile
+++ b/Makefile
@@ -227,6 +227,19 @@ sc_check_config_h_reminder:
 	exit $$fail
 
 
+# Ensure that .h files that invoke _GL_INLINE_HEADER_BEGIN also invoke
+# _GL_INLINE_HEADER_END.  Otherwise, some GCC diagnostics remain turned off
+# for the rest of the compilation unit.
+sc_check_GL_INLINE_HEADER_use:
+	fail=0; \
+	for file in `grep -l -F -w _GL_INLINE_HEADER_BEGIN lib/*.h lib/*/*.h`; do \
+	  grep -l -F -w _GL_INLINE_HEADER_END $$file >/dev/null \
+	    || { echo "File $$file lacks an invocation of _GL_INLINE_HEADER_END."; \
+	         fail=1; \
+	       }; \
+	done; \
+	exit $$fail
+
 # Ensure that the copyright statements in files and in the module descriptions
 # are consistent.
 sc_check_copyright:
-- 
cgit v1.2.1