[Bug math/13923] New: expm1l (-LDBL_MAX) wrongly returns NaN and raises exceptions on x86

[Bug math/13923] New: expm1l (-LDBL_MAX) wrongly returns NaN and raises exceptions on x86

[jsm28 at gcc dot gnu.org]

http://sourceware.org/bugzilla/show_bug.cgi?id=13923

             Bug #: 13923
           Summary: expm1l (-LDBL_MAX) wrongly returns NaN and raises
                    exceptions on x86
           Product: glibc
           Version: 2.15
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
        AssignedTo: unassigned@sourceware.org
        ReportedBy: jsm28@gcc.gnu.org
    Classification: Unclassified


On x86, expm1l (-LDBL_MAX) returns NaN and raises INVALID and OVERFLOW
exceptions; it should return -1 without raising those exceptions.  Testcase:

#include <errno.h>
#include <fenv.h>
#include <math.h>
#include <stdio.h>
#include <float.h>

volatile long double d = -LDBL_MAX;

int
main (void)
{
  feclearexcept (FE_ALL_EXCEPT);
  errno = 0;
  volatile long double r = expm1l (d);
  if (fetestexcept (FE_DIVBYZERO))
    printf ("DIVBYZERO ");
  if (fetestexcept (FE_INEXACT))
    printf ("INEXACT ");
  if (fetestexcept (FE_INVALID))
    printf ("INVALID ");
  if (fetestexcept (FE_OVERFLOW))
    printf ("OVERFLOW ");
  if (fetestexcept (FE_UNDERFLOW))
    printf ("UNDERFLOW ");
  printf ("%.18Lg %m\n", r);
  return 0;
}

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug math/13923] expm1l (-LDBL_MAX) wrongly returns NaN and raises exceptions on x86

[jsm28 at gcc dot gnu.org]

http://sourceware.org/bugzilla/show_bug.cgi?id=13923

Joseph Myers <jsm28 at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED

--- Comment #1 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-05-07 19:22:11 UTC ---
Fixed by:

commit 495fd99f3a119e5c0c542ccc6cf9c93b1fb9e892
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Mon May 7 19:13:08 2012 +0000

    Fix x86/x86_64 expm1l inaccuracy and exceptions (bugs 13885, 13923).

-- 
Configure bugmail: http://sourceware.org/bugzilla/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.

[Bug math/13923] expm1l (-LDBL_MAX) wrongly returns NaN and raises exceptions on x86

[fweimer at redhat dot com]

https://sourceware.org/bugzilla/show_bug.cgi?id=13923

Florian Weimer <fweimer at redhat dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
              Flags|                            |security-

-- 
You are receiving this mail because:
You are on the CC list for the bug.