| Index: gcc/gmp/mpz/iset.c
|
| diff --git a/gcc/gmp/mpz/iset.c b/gcc/gmp/mpz/iset.c
|
| deleted file mode 100644
|
| index 384ca797e70923ef07e7687351d55afc686ea2ed..0000000000000000000000000000000000000000
|
| --- a/gcc/gmp/mpz/iset.c
|
| +++ /dev/null
|
| @@ -1,48 +0,0 @@
|
| -/* mpz_init_set (src_integer) -- Make a new multiple precision number with
|
| - a value copied from SRC_INTEGER.
|
| -
|
| -Copyright 1991, 1993, 1994, 1996, 2000, 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_init_set (mpz_ptr w, mpz_srcptr u)
|
| -{
|
| - mp_ptr wp, up;
|
| - mp_size_t usize, size;
|
| -
|
| - usize = u->_mp_size;
|
| - size = ABS (usize);
|
| -
|
| - w->_mp_alloc = MAX (size, 1);
|
| - w->_mp_d = (mp_ptr) (*__gmp_allocate_func) (w->_mp_alloc * BYTES_PER_MP_LIMB);
|
| -
|
| - wp = w->_mp_d;
|
| - up = u->_mp_d;
|
| -
|
| - MPN_COPY (wp, up, size);
|
| - w->_mp_size = usize;
|
| -
|
| -#ifdef __CHECKER__
|
| - /* let the low limb look initialized, for the benefit of mpz_get_ui etc */
|
| - if (size == 0)
|
| - wp[0] = 0;
|
| -#endif
|
| -}
|
|
|