summaryrefslogtreecommitdiff
path: root/tools/mpfrlint
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-19 16:28:21 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-06-19 16:28:21 +0000
commit785d05c274aefb173e589ae700e57f8cff3cb1ae (patch)
treec519a648b57e4ecd2791d235e112fbbf96e361dc /tools/mpfrlint
parentdc36b3299dc4d7f684ad2c49e9f73a3d43f0e516 (diff)
downloadmpfr-785d05c274aefb173e589ae700e57f8cff3cb1ae.tar.gz
[tools/mpfrlint] Check that preprocessing directives have no spaces
before. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12790 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-xtools/mpfrlint5
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint
index fb2f371b1..d717fb6d3 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -138,6 +138,11 @@ err-if-output -t "" perl -ne '
and next;
print "Forbidden macro in mpfr.h line $.: $m\n" }' src/mpfr.h
+# Test before other ones about preprocessing directives.
+err-if-output \
+ --msg="Do not put spaces before a preprocessing directive" \
+ -t "space+#" grep -E '^ +# *(define|include|if|el|endif)' $srctests
+
err-if-output -t "math.h" grep '^# *include *<math\.h>' src/*.c
flaglist="underflow|overflow|divby0|nanflag|inexflag|erangeflag"