[tools/mpfrlint] Update the check for mpfr_printf-like functions

in the tests.

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

1 files changed, 4 insertions, 6 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 4e594d26e..eed89318c 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -62,12 +62,10 @@ done
 # as they need <stdarg.h> (HAVE_STDARG defined).
 for file in tests/*.c
 do
-  case $file in
-    *printf*) ;;
-    tests/tvalist.c) ;;
-    *) grep -q "mpfr_[a-z]*printf" $file && \
-        echo "$file contains mpfr_printf-like function calls" ;;
-  esac
+  sed '/#if\(def\)\? *HAVE_STDARG/,/#\(endif\|else\) .*HAVE_STDARG/d
+       /\/\*.*\*\//d
+       /\/\*/,/\*\//d' $file | grep -q "mpfr_[a-z]*printf" && \
+    echo "$file contains unprotected mpfr_printf-like function calls"
 done
 
 fdlv1="`sed -n '/Version / {