maint.mk: prohibit inclusion of "verify.h" without use

* top/maint.mk (sc_prohibit_verify_without_use): New rule.

diff --git a/ChangeLog b/ChangeLog
index 9fa4f502c6450bfa2c347646ad68e82832687e68..91abaf5daf5aa0d17590d6ecc30a1eabf31c3c9a 100644 (file)
--- 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 2da93bf9fee93532b4cd71cdc0cfe740f8bd90a3..9357728623cb4df794ed1cf390bc34a4ff46e98c 100644 (file)
--- 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)