186d7f5d3SJohn Marino /* mpz_init_set (src_integer) -- Make a new multiple precision number with
286d7f5d3SJohn Marino a value copied from SRC_INTEGER.
386d7f5d3SJohn Marino
486d7f5d3SJohn Marino Copyright 1991, 1993, 1994, 1996, 2000, 2001, 2002 Free Software Foundation,
586d7f5d3SJohn Marino Inc.
686d7f5d3SJohn Marino
786d7f5d3SJohn Marino This file is part of the GNU MP Library.
886d7f5d3SJohn Marino
986d7f5d3SJohn Marino The GNU MP Library is free software; you can redistribute it and/or modify
1086d7f5d3SJohn Marino it under the terms of the GNU Lesser General Public License as published by
1186d7f5d3SJohn Marino the Free Software Foundation; either version 3 of the License, or (at your
1286d7f5d3SJohn Marino option) any later version.
1386d7f5d3SJohn Marino
1486d7f5d3SJohn Marino The GNU MP Library is distributed in the hope that it will be useful, but
1586d7f5d3SJohn Marino WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
1686d7f5d3SJohn Marino or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public
1786d7f5d3SJohn Marino License for more details.
1886d7f5d3SJohn Marino
1986d7f5d3SJohn Marino You should have received a copy of the GNU Lesser General Public License
2086d7f5d3SJohn Marino along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */
2186d7f5d3SJohn Marino
2286d7f5d3SJohn Marino #include "gmp.h"
2386d7f5d3SJohn Marino #include "gmp-impl.h"
2486d7f5d3SJohn Marino
2586d7f5d3SJohn Marino void
mpz_init_set(mpz_ptr w,mpz_srcptr u)2686d7f5d3SJohn Marino mpz_init_set (mpz_ptr w, mpz_srcptr u)
2786d7f5d3SJohn Marino {
2886d7f5d3SJohn Marino mp_ptr wp, up;
2986d7f5d3SJohn Marino mp_size_t usize, size;
3086d7f5d3SJohn Marino
3186d7f5d3SJohn Marino usize = u->_mp_size;
3286d7f5d3SJohn Marino size = ABS (usize);
3386d7f5d3SJohn Marino
3486d7f5d3SJohn Marino w->_mp_alloc = MAX (size, 1);
3586d7f5d3SJohn Marino w->_mp_d = (mp_ptr) (*__gmp_allocate_func) (w->_mp_alloc * BYTES_PER_MP_LIMB);
3686d7f5d3SJohn Marino
3786d7f5d3SJohn Marino wp = w->_mp_d;
3886d7f5d3SJohn Marino up = u->_mp_d;
3986d7f5d3SJohn Marino
4086d7f5d3SJohn Marino MPN_COPY (wp, up, size);
4186d7f5d3SJohn Marino w->_mp_size = usize;
4286d7f5d3SJohn Marino
4386d7f5d3SJohn Marino #ifdef __CHECKER__
4486d7f5d3SJohn Marino /* let the low limb look initialized, for the benefit of mpz_get_ui etc */
4586d7f5d3SJohn Marino if (size == 0)
4686d7f5d3SJohn Marino wp[0] = 0;
4786d7f5d3SJohn Marino #endif
4886d7f5d3SJohn Marino }
49