[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] verify: improve maint check
From: |
Paul Eggert |
Subject: |
[PATCH] verify: improve maint check |
Date: |
Sun, 11 Sep 2022 16:27:01 -0500 |
* top/maint.mk (sc_prohibit_verify_without_use):
Adjust re to match verify.h.
---
ChangeLog | 4 ++++
top/maint.mk | 2 +-
2 files changed, 5 insertions(+), 1 deletion(-)
diff --git a/ChangeLog b/ChangeLog
index f4d9ce4139..de864c1636 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -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.
--
2.37.2
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [PATCH] verify: improve maint check,
Paul Eggert <=