From 4e6df21fd7742d563c3c9bef87d4b2b1cfc42fcd Mon Sep 17 00:00:00 2001 From: Bruno Haible Date: Sat, 1 Jan 2011 03:54:48 +0100 Subject: [PATCH] isfinite: Avoid compiler bug of "cc -O" on HP-UX 11.11. * lib/isfinite.c (zerof, zerod, zerol): New variables. (gl_isfinitef, gl_isfinited, gl_isfinitel): Use them instead of literal zero. --- ChangeLog | 7 +++++++ lib/isfinite.c | 19 ++++++++++++++++--- 2 files changed, 23 insertions(+), 3 deletions(-) diff --git a/ChangeLog b/ChangeLog index f3dcc8f5b..2a0f94fd9 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,12 @@ 2010-12-31 Bruno Haible + isfinite: Avoid compiler bug of "cc -O" on HP-UX 11.11. + * lib/isfinite.c (zerof, zerod, zerol): New variables. + (gl_isfinitef, gl_isfinited, gl_isfinitel): Use them instead of literal + zero. + +2010-12-31 Bruno Haible + pwrite: Work around HP-UX 11.11 bug. * m4/pwrite.m4 (gl_FUNC_PWRITE): When pwrite exists, test whether it works and set REPLACE_PWRITE if not. diff --git a/lib/isfinite.c b/lib/isfinite.c index fd0d00393..8c13cbfa5 100644 --- a/lib/isfinite.c +++ b/lib/isfinite.c @@ -23,17 +23,30 @@ #include "isnand-nolibm.h" #include "isnanl-nolibm.h" +/* The "cc" compiler on HP-UX 11.11, when optimizing, simplifies the test + x - y == 0.0 to x == y, a simplification which is invalid when x and y + are Infinity. Disable this optimization. */ +#if defined __hpux && !defined __GNUC__ +static float zerof; +static double zerod; +static long double zerol; +#else +# define zerof 0.f +# define zerod 0. +# define zerol 0.L +#endif + int gl_isfinitef (float x) { - return !isnanf (x) && x - x == 0.f; + return !isnanf (x) && x - x == zerof; } int gl_isfinited (double x) { - return !isnand (x) && x - x == 0.; + return !isnand (x) && x - x == zerod; } int gl_isfinitel (long double x) { - return !isnanl (x) && x - x == 0.L; + return !isnanl (x) && x - x == zerol; } -- 2.11.0