mini-gmp mpz_{get,set}_d not fully compatible with GMP

[Marco Bodrato]

Ciao,

Il Mer, 14 Marzo 2018 7:10 pm, Niels Möller ha scritto:
> Patch below.

> diff -Nprc2 gmp.384bf781a7ee/printf/repl-vsnprintf.c
> gmp/printf/repl-vsnprintf.c
> *** gmp.384bf781a7ee/printf/repl-vsnprintf.c	2018-03-14 19:06:44.147928820
> +0100
> --- gmp/printf/repl-vsnprintf.c	2018-03-14 19:06:44.163928775 +0100
> *************** see https://www.gnu.org/licenses/.  */
> *** 45,51 ****
>   #include <stdlib.h>
>
> - #if HAVE_FLOAT_H
>   #include <float.h>     /* for DBL_MAX_10_EXP etc */
> - #endif
>
>   #if HAVE_INTTYPES_H
> --- 45,49 ----

Maybe in printf/repl-vsnprintf.c we may also remove the

#ifdef DBL_MAX_10_EXP

and unconditionaly set double_digits = DBL_MAX_10_EXP.

Ĝis,
m

-- 
http://bodrato.it/