[tools/mpfrlint] Also detect the use of ASSERT_ALWAYS (forbidden).

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10147 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 4 insertions, 2 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 9c5aa0c5e..14c34c7cb 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -90,8 +90,10 @@ grep 'MPFR_ASSERT[DN][^a-z]*;' src/*.c | grep -v 'MPFR_ASSERTN *(0)' | \
   grep -v '\(MPFR_EMIN_MIN\|MPFR_EXP_MIN\).*LONG_MIN' | \
   grep -v MPFR_BLOCK_EXCEP
 
-# MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT.
-grep -E '[^_]ASSERT *(\(|$)' {src,tests}/*.c
+# ASSERT and ASSERT_ALWAYS must not be used for assertion checking.
+# Use MPFR_STAT_STATIC_ASSERT for static assertions, otherwise either
+# MPFR_ASSERTD (debug mode / hint for the compiler) or MPFR_ASSERTN.
+grep -E '[^_]ASSERT(_ALWAYS)? *(\(|$)' {src,tests}/*.c
 
 # Use MPFR_TMP_LIMBS_ALLOC.
 grep 'MPFR_TMP_ALLOC.*\(BYTES_PER_MP_LIMB\|sizeof.*mp_limb_t\)' src/*.c