On 2008-10-07 21:42:30 +0300, Adrian Bunk wrote: > But is there any "need to upgrade" to 2.3.2 since it would fix a bug > gcc ran into?
FYI, GCC can be affected by some bugs in MPFR 2.3.0, amongst the bugs listed on <http://www.mpfr.org/mpfr-2.3.0/#fixed>. I think that the bugs in question are: * The mpfr_gamma function applied on a huge integer fails on 64-bit machines. But I don't know what the failure was (Paul Zimmermann fixed this bug, so that he should know more than me). Note: any double-precision number >= 2^52 is an integer. * The mpfr_erfc function is very inefficient on large negative numbers. * The mpfr_j0 function applied on a large negative number and the mpfr_jn function applied on (even integer, large negative number) return a result with a wrong sign. * The mpfr_asin function applied on ±0 does not set the sign of the null result. * The mpfr_gamma function can return a result with a wrong sign (negative instead of positive) in case of underflow with a positive value, e.g. on -1000000001.5 in the default exponent range. and perhaps bugs in mpfr_pow on particular values. All these bugs were fixed in MPFR 2.3.1. AFAIK, MPFR 2.3.2 should not make any difference for GCC. The fixed bugs are listed here: <http://www.mpfr.org/mpfr-2.3.1/#fixed>. They mainly concern underflow/overflow exceptions, which should not occur on double-precision numbers. And according to my tests, it is very unlikely that the first mpfr_exp bug can have an influence on double-precision numbers. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
