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