diff options
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 | \ |