diff options
-rw-r--r-- | ChangeLog | 4 | ||||
-rw-r--r-- | top/maint.mk | 2 |
2 files changed, 5 insertions, 1 deletions
@@ -1,5 +1,9 @@ 2022-09-11 Paul Eggert <eggert@cs.ucla.edu> + verify: improve maint check + * top/maint.mk (sc_prohibit_verify_without_use): + Adjust re to match verify.h. + verify: port better to C23 * lib/verify.h (_GL_VERIFY, static_assert): If C23, use static_assert keyword; no macro. diff --git a/top/maint.mk b/top/maint.mk index 5745d5831d..41a67e852c 100644 --- a/top/maint.mk +++ b/top/maint.mk @@ -765,7 +765,7 @@ sc_prohibit_dirent_without_use: # Prohibit the inclusion of verify.h without an actual use. sc_prohibit_verify_without_use: @h='verify.h' \ - re='\<(verify(true|expr)?|assume|static_assert) *\(' \ + re='\<(verify(_expr)?|assume) *\(' \ $(_sc_header_without_use) # Don't include xfreopen.h unless you use one of its functions. |