diff options
author | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2015-11-05 12:18:16 +0100 |
---|---|---|
committer | Marco Bodrato <bodrato@mail.dm.unipi.it> | 2015-11-05 12:18:16 +0100 |
commit | beb3d4ce987989677726b8d662e7e227b60e5b44 (patch) | |
tree | c0a2f4eaa6d8fae0c7f50af793c71f50cc67373e /mpz/inits.c | |
parent | edd67a0bb9ee14beda4a5506bde8be9b7b1c13dd (diff) | |
download | gmp-beb3d4ce987989677726b8d662e7e227b60e5b44.tar.gz |
mpz/init*.c: Remove conditional code for __CHECKER__
Diffstat (limited to 'mpz/inits.c')
-rw-r--r-- | mpz/inits.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/mpz/inits.c b/mpz/inits.c index 68457e0fb..12a1dc3a0 100644 --- a/mpz/inits.c +++ b/mpz/inits.c @@ -45,11 +45,6 @@ mpz_inits (mpz_ptr x, ...) PTR (x) = __GMP_ALLOCATE_FUNC_LIMBS (1); SIZ (x) = 0; -#ifdef __CHECKER__ - /* let the low limb look initialized, for the benefit of mpz_get_ui etc */ - PTR (x)[0] = 0; -#endif - x = va_arg (ap, mpz_ptr); } |