diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-05 10:33:51 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-08-05 10:33:51 +0000 |
commit | 2961295e9943cd13991168920edfd640b226b094 (patch) | |
tree | dfdba259c765326174ee79712a7907d9e8187a58 /tools/mpfrlint | |
parent | 6543abafb3102cc1c114b327704ba2744b25f946 (diff) | |
download | mpfr-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-x | tools/mpfrlint | 10 |
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 |