From a586834d788017fc9d4106dd27c7c9bfb77c5f86 Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Wed, 6 Feb 2019 09:08:26 +0000
Subject: [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
---
 tools/mpfrlint | 3 +++
 1 file changed, 3 insertions(+)

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 | \
-- 
cgit v1.2.1