[tools/mpfrlint] The use of mpfr_overflow_p, etc. is allowed if

mpfr_clear_flags is mentioned (useful for checking purpose at the
end of a function, but this needs an explicit mpfr_clear_flags;
otherwise MPFR_BLOCK should still be used).

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

1 files changed, 1 insertions, 0 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 1da57510f..3cfbd2f97 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -9,6 +9,7 @@ dir=`pwd`
 grep '^# *include *<math\.h>' src/*.c
 
 grep -E 'mpfr_(underflow|overflow|nanflag|inexflag|erangeflag)_p' src/*.{c,h} | \
+  grep -v 'mpfr_clear_flags' | \
   grep -v '^src/exceptions.c:' | \
   grep -v '^src/mpfr-impl.h:#define mpfr_.*_p()' | \
   grep -v '^src/mpfr.h:__MPFR_DECLSPEC '