public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception
@ 2012-03-27 23:27 jsm28 at gcc dot gnu.org
  2012-03-28  0:23 ` [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions jsm28 at gcc dot gnu.org
                   ` (3 more replies)
  0 siblings, 4 replies; 5+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-03-27 23:27 UTC (permalink / raw)
  To: glibc-bugs

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

             Bug #: 13914
           Summary: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception
           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, exp10l (-LDBL_MAX) raises a spurious OVERFLOW exception; this is an
underflow case, not overflow.  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 = exp10l (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.


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions
  2012-03-27 23:27 [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception jsm28 at gcc dot gnu.org
@ 2012-03-28  0:23 ` jsm28 at gcc dot gnu.org
  2012-03-28  0:27 ` jsm28 at gcc dot gnu.org
                   ` (2 subsequent siblings)
  3 siblings, 0 replies; 5+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-03-28  0:23 UTC (permalink / raw)
  To: glibc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|exp10l (-LDBL_MAX) raises   |exp10l (-LDBL_MAX) raises
                   |spurious OVERFLOW exception |spurious OVERFLOW and
                   |                            |INVALID exceptions

--- Comment #1 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-03-28 00:09:48 UTC ---
There is also a spurious INVALID exception.

-- 
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.


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions
  2012-03-27 23:27 [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception jsm28 at gcc dot gnu.org
  2012-03-28  0:23 ` [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions jsm28 at gcc dot gnu.org
@ 2012-03-28  0:27 ` jsm28 at gcc dot gnu.org
  2012-05-06 18:25 ` jsm28 at gcc dot gnu.org
  2014-06-26 13:41 ` fweimer at redhat dot com
  3 siblings, 0 replies; 5+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-03-28  0:27 UTC (permalink / raw)
  To: glibc-bugs

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

--- Comment #2 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-03-28 00:23:11 UTC ---
exp10l (LDBL_MAX) also has the spurious INVALID exception.

-- 
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.


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions
  2012-03-27 23:27 [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception jsm28 at gcc dot gnu.org
  2012-03-28  0:23 ` [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions jsm28 at gcc dot gnu.org
  2012-03-28  0:27 ` jsm28 at gcc dot gnu.org
@ 2012-05-06 18:25 ` jsm28 at gcc dot gnu.org
  2014-06-26 13:41 ` fweimer at redhat dot com
  3 siblings, 0 replies; 5+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-05-06 18:25 UTC (permalink / raw)
  To: glibc-bugs

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

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

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

--- Comment #3 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-05-06 18:25:20 UTC ---
Fixed by:

commit d8b82cad1b525bdcbfff88d218c7c45032e4a3af
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Sun May 6 18:23:44 2012 +0000

    Fix exp10 inaccuracy and exceptions (bugs 13884, 13914).

-- 
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.


^ permalink raw reply	[flat|nested] 5+ messages in thread

* [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions
  2012-03-27 23:27 [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception jsm28 at gcc dot gnu.org
                   ` (2 preceding siblings ...)
  2012-05-06 18:25 ` jsm28 at gcc dot gnu.org
@ 2014-06-26 13:41 ` fweimer at redhat dot com
  3 siblings, 0 replies; 5+ messages in thread
From: fweimer at redhat dot com @ 2014-06-26 13:41 UTC (permalink / raw)
  To: glibc-bugs

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

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.


^ permalink raw reply	[flat|nested] 5+ messages in thread

end of thread, other threads:[~2014-06-26 13:41 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-03-27 23:27 [Bug math/13914] New: exp10l (-LDBL_MAX) raises spurious OVERFLOW exception jsm28 at gcc dot gnu.org
2012-03-28  0:23 ` [Bug math/13914] exp10l (-LDBL_MAX) raises spurious OVERFLOW and INVALID exceptions jsm28 at gcc dot gnu.org
2012-03-28  0:27 ` jsm28 at gcc dot gnu.org
2012-05-06 18:25 ` jsm28 at gcc dot gnu.org
2014-06-26 13:41 ` fweimer at redhat dot com

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).