summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-08-05 10:33:51 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2014-08-05 10:33:51 +0000
commit2961295e9943cd13991168920edfd640b226b094 (patch)
treedfdba259c765326174ee79712a7907d9e8187a58 /tools/mpfrlint
parent6543abafb3102cc1c114b327704ba2744b25f946 (diff)
downloadmpfr-2961295e9943cd13991168920edfd640b226b094.tar.gz
[tools/mpfrlint] Improved check of MPFR_LOG_MSG.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9164 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-xtools/mpfrlint10
1 files changed, 8 insertions, 2 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index 5103f2899..3fc67c911 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -62,8 +62,14 @@ do
grep -v "\[mp_${i}_t\]"
done
-sp="[[:space:]]*"
-grep "MPFR_LOG_MSG$sp($sp($sp\".*\"$sp)$sp)$sp;" $srctests
+for file in $srctests
+do
+ perl -e 'my $f = do { local $/; <> };
+ while ($f =~ /MPFR_LOG_MSG\s*\(\s*\(.*?\)\s*\)/gs) {
+ my $s = $&; print "$ARGV: $s\n" if
+ index($s,"\\n\"") < 0 || $s =~ /"\s*\)\s*\)/
+ }' $file
+done
# Do not use snprintf as it is not available in ISO C90.
# Even on platforms where it is available, the prototype