2002-12-28 Pedro Gimeno <pggimeno@wanadoo.es>

	* randmt.c (randseed_mt): Fix off-by-one bug on padding. Add
	ASSERT checking result of mpz_export.

1 files changed, 2 insertions, 0 deletions

diff --git a/randmt.c b/randmt.c
index 8313b1cff..fad7fa9bd 100644
--- a/randmt.c
+++ b/randmt.c
@@ -448,6 +448,8 @@ randseed_mt (gmp_randstate_t rstate, mpz_srcptr seed)
   /* Split seed1 into N-1 32-bit chunks.  */
   mpz_export (&p->mt[1], &cnt, -1, sizeof (p->mt[1]), 0,
               8 * sizeof (p->mt[1]) - 32, seed1);
+  cnt++;
+  ASSERT (cnt <= N);
   while (cnt < N)
     p->mt[cnt++] = 0;