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