diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-24 10:24:22 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2014-01-24 10:24:22 +0000 |
| commit | 1a5e30f5a19efbf9b68df7cf2e443cbcb1520a32 (patch) | |
| tree | 0939a01c44d4ba73999018fc6eefe1389ae9b760 | |
| parent | 5ee86f51e0ff0f7208ad2b0fcd5f05787f6422f3 (diff) | |
| download | mpfr-1a5e30f5a19efbf9b68df7cf2e443cbcb1520a32.tar.gz | |
[tools/mpfrlint] Constant checking in assertions.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8895 280ebfd0-de03-0410-8827-d642c229c3f4
| -rwxr-xr-x | tools/mpfrlint | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index ba00accc3..f3a92293e 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -56,9 +56,11 @@ grep "MPFR_LOG_MSG$sp($sp($sp\".*\"$sp)$sp)$sp;" $srctests # code may be compiled incorrectly. grep '[^a-z_]snprintf *([^)]' $srctests -# Constant checking should use MPFR_ASSERTN, not MPFR_ASSERTD. +# Constant checking should use either MPFR_STAT_STATIC_ASSERT +# or MPFR_ASSERTN(0) for not yet implemented corner cases. # This test is a heuristic. -grep 'MPFR_ASSERTD[^a-z]*;' src/*.c +grep 'MPFR_ASSERT[DN][^a-z]*;' src/*.c | grep -v 'MPFR_ASSERTN *(0)' | \ + grep -v MPFR_BLOCK_EXCEP # MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT. grep -E '[^_]ASSERT *(\(|$)' {src,tests}/*.c |