diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-06-06 23:39:56 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2013-06-06 23:39:56 +0000 |
| commit | 0692363a2aef4ae6900d459f7571467dfd75408b (patch) | |
| tree | fb97f710da367d940fd69990430f02fa7bd85bf1 /tools/mpfrlint | |
| parent | e3d18bb6246ffadf410fc064843af642755bd287 (diff) | |
| download | mpfr-0692363a2aef4ae6900d459f7571467dfd75408b.tar.gz | |
[tools/mpfrlint] Improved a test to avoid false positives.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8589 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools/mpfrlint')
| -rwxr-xr-x | tools/mpfrlint | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 1c614e441..40bb29fcc 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -57,7 +57,7 @@ grep '[^a-z_]snprintf *([^)]' $srctests grep 'MPFR_ASSERTD[^a-z]*;' src/*.c # MPFR_ASSERTD or MPFR_ASSERTN must be used for assertions, not ASSERT. -grep '[^_]ASSERT[ (]' {src,tests}/*.c +grep -E '[^_]ASSERT *(\(|$)' {src,tests}/*.c # Use MPFR_TMP_LIMBS_ALLOC. grep 'MPFR_TMP_ALLOC.*\(BYTES_PER_MP_LIMB\|sizeof.*mp_limb_t\)' src/*.c |