diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-02-06 09:08:26 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2019-02-06 09:08:26 +0000 |
commit | a586834d788017fc9d4106dd27c7c9bfb77c5f86 (patch) | |
tree | 97f7e6a7183518f1a6158dbbe48942fabad15948 /tools/mpfrlint | |
parent | 8f59ed4772bd767d2c8aff6c39c41359290502a5 (diff) | |
download | mpfr-a586834d788017fc9d4106dd27c7c9bfb77c5f86.tar.gz |
[tools/mpfrlint] Detect use of DBL_* macros instead of MPFR_DBL_* ones.
(merged changeset r13444 from the trunk)
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/4.0@13448 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-x | tools/mpfrlint | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 0a42508a6..810799b2a 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -201,6 +201,9 @@ err-if-output -t "__mpfr_struct members" \ err-if-output -t "x != x and x == x tests" \ grep '( *\([^[:space:]]*\) *[!=]= *\1 *)' $srctests +err-if-output --msg="Use MPFR_DBL_* macros." -t "DBL_* macros" \ + grep -E '[^A-Z_]DBL_(NAN|(POS|NEG)_INF)' $c_src tests/*.[ch] + for i in exp prec rnd do grep "[^a-z]mp_${i}_t" $srctests | \ |