summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-08-27 20:52:18 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-08-27 20:52:18 +0000
commit4746e23fd7340706eaea6b7efb30a7dc9d373779 (patch)
tree0028d5f14cdd21f8fd8f993d059ef079cd6dca6f
parentdab2aeae013743b6d9d994e6a132c222c0b5ff8a (diff)
downloadmpfr-4746e23fd7340706eaea6b7efb30a7dc9d373779.tar.gz
[src/mpfr-gmp.h,tests/tests.c] Got rid of __gmp_randstate_struct, which
is internal to GMP: its use came from very old code (r2330 in 2003-06) and it is no longer needed. (marked changeset r11652 as merged from the trunk) git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@11666 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/mpfr-gmp.h2
-rw-r--r--tests/tests.c8
2 files changed, 3 insertions, 7 deletions
diff --git a/src/mpfr-gmp.h b/src/mpfr-gmp.h
index 619357007..850e0d396 100644
--- a/src/mpfr-gmp.h
+++ b/src/mpfr-gmp.h
@@ -250,8 +250,6 @@ __MPFR_DECLSPEC extern gmp_randstate_t mpfr_rands;
} \
} while (0)
-typedef __gmp_randstate_struct *gmp_randstate_ptr;
-
/* Allocate func are defined in gmp-impl.h */
/* In newer GMP, there aren't anymore __gmp_allocate_func,
diff --git a/tests/tests.c b/tests/tests.c
index 6811f13c9..e9470767f 100644
--- a/tests/tests.c
+++ b/tests/tests.c
@@ -321,7 +321,6 @@ tests_limit_start (void)
static void
tests_rand_start (void)
{
- gmp_randstate_ptr rands;
char *perform_seed;
unsigned long seed;
@@ -335,7 +334,6 @@ tests_rand_start (void)
gmp_randinit_default (__gmp_rands);
__gmp_rands_initialized = 1;
- rands = __gmp_rands;
perform_seed = getenv ("GMP_CHECK_RANDOMIZE");
if (perform_seed != NULL)
@@ -344,7 +342,7 @@ tests_rand_start (void)
if (! (seed == 0 || seed == 1))
{
printf ("Re-seeding with GMP_CHECK_RANDOMIZE=%lu\n", seed);
- gmp_randseed_ui (rands, seed);
+ gmp_randseed_ui (mpfr_rands, seed);
}
else
{
@@ -357,13 +355,13 @@ tests_rand_start (void)
time (&tv);
seed = tv;
#endif
- gmp_randseed_ui (rands, seed);
+ gmp_randseed_ui (mpfr_rands, seed);
printf ("Seed GMP_CHECK_RANDOMIZE=%lu "
"(include this in bug reports)\n", seed);
}
}
else
- gmp_randseed_ui (rands, 0x2143FEDC);
+ gmp_randseed_ui (mpfr_rands, 0x2143FEDC);
}
static void