diff options
| author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2015-11-13 07:23:32 +0100 |
|---|---|---|
| committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2015-11-13 07:23:32 +0100 |
| commit | fc4c16454c4db963ecce0f20fe88315a84724a9c (patch) | |
| tree | 9f132a2675e2cd6ba564c46cf3cdd38a12f12400 | |
| parent | 00832d56db59a85f0a03ec024f81fdbddaaeb105 (diff) | |
| download | gmp-fc4c16454c4db963ecce0f20fe88315a84724a9c.tar.gz | |
mpq/init.c: Remove conditional code for __CHECKER__.
| -rw-r--r-- | ChangeLog | 1 | ||||
| -rw-r--r-- | mpq/init.c | 7 |
2 files changed, 2 insertions, 6 deletions
@@ -2,6 +2,7 @@ * mini-gmp/mini-gmp.c: Lazy allocation for mpz_t. * mpz/set.c: Use MPZ_NEWALLOC. + * mpq/init.c: Remove conditional code for __CHECKER__. 2015-11-12 Marc Glisse <marc.glisse@inria.fr> diff --git a/mpq/init.c b/mpq/init.c index 6ece98ab1..7fbf905d9 100644 --- a/mpq/init.c +++ b/mpq/init.c @@ -1,6 +1,6 @@ /* mpq_init -- Make a new rational number with value 0/1. -Copyright 1991, 1994, 1995, 2000-2002 Free Software Foundation, Inc. +Copyright 1991, 1994, 1995, 2000-2002, 2015 Free Software Foundation, Inc. This file is part of the GNU MP Library. @@ -41,9 +41,4 @@ mpq_init (mpq_t x) PTR(DEN(x)) = __GMP_ALLOCATE_FUNC_LIMBS (1); PTR(DEN(x))[0] = 1; SIZ(DEN(x)) = 1; - -#ifdef __CHECKER__ - /* let the low limb look initialized, for the benefit of mpz_get_ui etc */ - PTR(NUM(x))[0] = 0; -#endif } |