From 2de4be2efdbed0527a70ed9c2c851c52683a689d Mon Sep 17 00:00:00 2001 From: Mark Dickinson Date: Sat, 18 Aug 2012 12:31:34 +0100 Subject: [PATCH] Add workaround for log1p(-0.0) on platforms where it's broken. --- Misc/NEWS | 3 +++ Modules/_math.c | 23 +++++++++++++++++++++++ Modules/_math.h | 8 ++------ 3 files changed, 28 insertions(+), 6 deletions(-) diff --git a/Misc/NEWS b/Misc/NEWS index 611dc6f97b4..190f8f4e369 100644 --- a/Misc/NEWS +++ b/Misc/NEWS @@ -95,6 +95,9 @@ Core and Builtins Library ------- +- Issue #15477: In cmath and math modules, add workaround for platforms whose + system-supplied log1p function doesn't respect signs of zeros. + - Issue #11062: Fix adding a message from file to Babyl mailbox. - Issue #15646: Prevent equivalent of a fork bomb when using diff --git a/Modules/_math.c b/Modules/_math.c index 2fef48107f1..fe75a36ec51 100644 --- a/Modules/_math.c +++ b/Modules/_math.c @@ -189,6 +189,27 @@ _Py_expm1(double x) significant loss of precision that arises from direct evaluation when x is small. */ +#ifdef HAVE_LOG1P + +double +_Py_log1p(double x) +{ + /* Some platforms supply a log1p function but don't respect the sign of + zero: log1p(-0.0) gives 0.0 instead of the correct result of -0.0. + + To save fiddling with configure tests and platform checks, we handle the + special case of zero input directly on all platforms. + */ + if (x == 0.0) { + return x; + } + else { + return log1p(x); + } +} + +#else + double _Py_log1p(double x) { @@ -230,3 +251,5 @@ _Py_log1p(double x) return log(1.+x); } } + +#endif /* ifdef HAVE_LOG1P */ diff --git a/Modules/_math.h b/Modules/_math.h index c0ceece6626..cf079ad770d 100644 --- a/Modules/_math.h +++ b/Modules/_math.h @@ -36,10 +36,6 @@ double _Py_log1p(double x); #define m_expm1 _Py_expm1 #endif -#ifdef HAVE_LOG1P -#define m_log1p log1p -#else -/* if the system doesn't have log1p, use the substitute - function defined in Modules/_math.c. */ +/* Use the substitute from _math.c on all platforms: + it includes workarounds for buggy handling of zeros. */ #define m_log1p _Py_log1p -#endif