From 5833dfd948db783dcfd90e1273104b778e2ec773 Mon Sep 17 00:00:00 2001
From: Jim Meyering <meyering@redhat.com>
Date: Tue, 12 Jul 2011 18:55:44 +0200
Subject: [PATCH] maint.mk: prohibit inclusion of "verify.h" without use

* top/maint.mk (sc_prohibit_verify_without_use): New rule.
---
 ChangeLog    | 5 +++++
 top/maint.mk | 6 ++++++
 2 files changed, 11 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index 9fa4f502c6..91abaf5daf 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-12  Jim Meyering  <meyering@redhat.com>
+
+	maint.mk: prohibit inclusion of "verify.h" without use
+	* top/maint.mk (sc_prohibit_verify_without_use): New rule.
+
 2011-07-19  Pádraig Brady  <P@draigBrady.com>
 
 	timer-time: A new module to check for timer_settime()
diff --git a/top/maint.mk b/top/maint.mk
index 2da93bf9fe..9357728623 100644
--- a/top/maint.mk
+++ b/top/maint.mk
@@ -621,6 +621,12 @@ sc_prohibit_stddef_without_use:
 	re='\<($(_stddef_syms_re)) *\('					\
 	  $(_sc_header_without_use)
 
+# Prohibit the inclusion of verify.h without an actual use.
+sc_prohibit_verify_without_use:
+	@h='verify.h'							\
+	re='\<(verify(true|expr)?|static_assert) *\('			\
+	  $(_sc_header_without_use)
+
 # Don't include xfreopen.h unless you use one of its functions.
 sc_prohibit_xfreopen_without_use:
 	@h='xfreopen.h' re='\<xfreopen *\(' $(_sc_header_without_use)
-- 
2.30.2