summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-21 13:57:50 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-01-21 13:57:50 +0000
commitfffef3b0937b1f0d7b92039226051f16987298ad (patch)
tree182392093f4c4d526bd04c8dcef80319d5b2acb2 /tools
parent1a3a4c42a2ba863fa556ed5a182ad969cde2b76f (diff)
downloadmpfr-fffef3b0937b1f0d7b92039226051f16987298ad.tar.gz
[src/*.c] Replaced mpfr_set_divby0 by the faster MPFR_SET_DIVBY0,
and so on (except for src/exceptions.c). [tools/mpfrlint] Update for flags related functions: check that the macros are used in src (except for exceptions.c and mpfr.h) instead of the functions. [src/mpfr-impl.h] Removed some useless parentheses in comments, for mpfrlint. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8833 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
-rwxr-xr-xtools/mpfrlint6
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index 55ee1cd80..ba00accc3 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -8,11 +8,15 @@ dir=`pwd`
grep '^# *include *<math\.h>' src/*.c
-grep -E 'mpfr_(underflow|overflow|nanflag|inexflag|erangeflag)_p' src/*.{c,h} | \
+flaglist="underflow|overflow|divby0|nanflag|inexflag|erangeflag"
+grep -E "mpfr_($flaglist)_p" src/*.{c,h} | \
grep -v -i 'mpfr_clear_' | \
grep -v '^src/exceptions.c:' | \
grep -v '^src/mpfr-impl.h:#define mpfr_.*_p()' | \
grep -v '^src/mpfr.h:__MPFR_DECLSPEC '
+grep -E "mpfr_(clear|set)_($flaglist) *\(" src/*.{c,h} | \
+ grep -v '^src/exceptions.c:' | \
+ grep -v '^src/mpfr.h:'
grconf()
{