| Index: gcc/gmp/mpz/random.c
|
| diff --git a/gcc/gmp/mpz/random.c b/gcc/gmp/mpz/random.c
|
| deleted file mode 100644
|
| index 8bf2a369fa59b8a8e4b49fcbffb43d75530c275c..0000000000000000000000000000000000000000
|
| --- a/gcc/gmp/mpz/random.c
|
| +++ /dev/null
|
| @@ -1,29 +0,0 @@
|
| -/* mpz_random -- Generate a random mpz_t of specified size in limbs.
|
| -
|
| -Copyright 2001, 2002 Free Software Foundation, Inc.
|
| -
|
| -This file is part of the GNU MP Library.
|
| -
|
| -The GNU MP Library is free software; you can redistribute it and/or modify
|
| -it under the terms of the GNU Lesser General Public License as published by
|
| -the Free Software Foundation; either version 3 of the License, or (at your
|
| -option) any later version.
|
| -
|
| -The GNU MP Library is distributed in the hope that it will be useful, but
|
| -WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
|
| -or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
|
| -License for more details.
|
| -
|
| -You should have received a copy of the GNU Lesser General Public License
|
| -along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
|
| -
|
| -#include "gmp.h"
|
| -#include "gmp-impl.h"
|
| -
|
| -void
|
| -mpz_random (mpz_ptr x, mp_size_t size)
|
| -{
|
| - mpz_urandomb (x, RANDS, (unsigned long) (ABS (size) * GMP_NUMB_BITS));
|
| - if (size < 0)
|
| - SIZ(x) = -SIZ(x);
|
| -}
|
|
|