diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-09-27 10:21:17 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-09-27 10:21:17 +0000 |
commit | 82355dc13cc7e61312fe615a7741899268969da7 (patch) | |
tree | efd1bee26e2e4d3bcd352d1d2199c85c313b0c42 /tools/mpfrlint | |
parent | 7275c9bcad54703dd247127d5f25c234ce424892 (diff) | |
download | mpfr-82355dc13cc7e61312fe615a7741899268969da7.tar.gz |
[tools/mpfrlint] Added a test:
Constant checking should use MPFR_ASSERTN, not MPFR_ASSERTD.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7174 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
-rwxr-xr-x | tools/mpfrlint | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 90d36aabb..26dda1931 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -30,6 +30,10 @@ done sp="[[:space:]]*" grep "MPFR_LOG_MSG$sp($sp($sp\".*\"$sp)$sp)$sp;" {src,tests}/*.{c,h} +# Constant checking should use MPFR_ASSERTN, not MPFR_ASSERTD. +# This test is a heuristic. +grep 'MPFR_ASSERTD[^a-z]*;' src/*.c + for file in {src,tests}/*.{c,h} */Makefile.am acinclude.m4 configure.ac do # Note: this is one less that the POSIX minimum limit in case |