diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-11-19 08:53:09 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2010-11-19 08:53:09 +0000 |
| commit | abf36aa04f5fa98fa49d88dc83d0d50be5297d6c (patch) | |
| tree | 93547c5478e23323041980c44c498ba7a37ef4fc /tools | |
| parent | c7733c0442e985f4b5cb66e6bc2eb377a2b853f8 (diff) | |
| download | mpfr-abf36aa04f5fa98fa49d88dc83d0d50be5297d6c.tar.gz | |
[tools/mpfrlint] Detect the use of __mpfr_struct structure members
in .c files.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7270 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/mpfrlint | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/mpfrlint b/tools/mpfrlint index 26dda1931..20854d8e3 100755 --- a/tools/mpfrlint +++ b/tools/mpfrlint @@ -20,6 +20,9 @@ grep GMP_LIMB_BITS {src,tests}/*.{c,h} grep GMP_RND {src,tests}/*.{c,h} | grep -v '#define GMP_RND' +# Do not use __mpfr_struct structure members in .c files. +grep -E '[^0-9a-z_]_mpfr_(prec|sign|exp|d)' {src,tests}/*.c + for i in exp prec rnd do grep mp_${i}_t {src,tests}/*.{c,h} | \ |