Cleanup of memory allocation in the tests:

  * only tests_allocate, tests_reallocate and tests_free should be used
    (now exported instead of mpfr_default_allocate, etc.);
  * this is now mentioned in doc/README.dev;
  * added checks to tools/mpfrlint (heuristics as usual).

Note: This follows the discussion at
  https://sympa.inria.fr/sympa/arc/mpfr/2015-12/msg00055.html
and should solve these problems under MS Windows (mingw32), though this
cleanup is more general than an attempt to fix a Windows issue.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9891 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 3 insertions, 0 deletions

diff --git a/tools/mpfrlint b/tools/mpfrlint
index 0e87acb30..a5612c4f2 100755
--- a/tools/mpfrlint
+++ b/tools/mpfrlint
@@ -135,6 +135,9 @@ do
     echo "$file contains unprotected mpfr_printf-like function calls"
 done
 
+grep __gmp_ tests/*.c | grep -v '^tests/tabort_defalloc'
+grep -E '[^a-z_](m|re)alloc *\(' tests/*.c | grep -v '^tests/memory.c:'
+
 # Check a Texinfo rule (Section "Ending a Sentence") with common words
 # that end with a capital letter:
 #   Use '@.' instead of a period, '@!' instead of an exclamation point,