diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-30 17:17:11 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-01-30 17:17:11 +0000 |
commit | f6a1947d203eef6f9d252021cd8efc6635faf1dd (patch) | |
tree | 20ec66a9c0c7693ab0ba31b7908e97c3db90b4ab /tools/mpfrlint | |
parent | a341d58001110691097987149a9aa53ed70fa148 (diff) | |
download | mpfr-f6a1947d203eef6f9d252021cd8efc6635faf1dd.tar.gz |
[tools/mpfrlint] Improved a regexp (avoiding false positives).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12160 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 386675d6e..5d1f94f37 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -261,7 +261,7 @@ err-if-output -t "Use MPFR_TMP_LIMBS_ALLOC" \ grep 'MPFR_TMP_ALLOC.*\(BYTES_PER_MP_LIMB\|sizeof.*mp_limb_t\)' src/*.c # Use simple mp_limb_t constants: MPFR_LIMB_ZERO, MPFR_LIMB_ONE, etc. -grep '(mp_limb_t) *-\?[01]' $srctests | grep -v '#define MPFR_LIMB_' | \ +grep '(mp_limb_t) *-\?[01][^0-9]' $srctests | grep -v '#define MPFR_LIMB_' | \ grep -v 'MPFR_ASSERTN *(MPFR_MANT.*== *(mp_limb_t)' | \ err-if-output -t "Use simple mp_limb_t constants" cat |