public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag
@ 2012-04-29 21:43 kreckel at ginac dot de
  2012-05-05 19:48 ` [Bug math/14036] " jsm28 at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: kreckel at ginac dot de @ 2012-04-29 21:43 UTC (permalink / raw)
  To: glibc-bugs

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

             Bug #: 14036
           Summary: exp(710.0) fails to set the overflow exception flag
           Product: glibc
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
        AssignedTo: unassigned@sourceware.org
        ReportedBy: kreckel@ginac.de
    Classification: Unclassified


Created attachment 6382
  --> http://sourceware.org/bugzilla/attachment.cgi?id=6382
test case

Using the current HEAD of glibc on an x86-64 system, 

When I run the attached program using current HEAD after compiling glibc on an
x86-64 system, I get:

exp(710) returned inf
IEEE754 exception flags: none
exp(-1234) returned 0
IEEE754 exception flags: none

The first one should have set the OVERFLOW exception flag, the second one the
UNDERFLOW exception flag.

(This appears to have broken recently.)

-- 
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] 6+ messages in thread

* [Bug math/14036] exp(710.0) fails to set the overflow exception flag
  2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
@ 2012-05-05 19:48 ` jsm28 at gcc dot gnu.org
  2012-05-05 19:49 ` [Bug math/14036] exp(-1234) fails to set the underflow " jsm28 at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-05-05 19:48 UTC (permalink / raw)
  To: glibc-bugs

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

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-05 19:47:25 UTC ---
Overflow case fixed by:

commit 41498f4db1ebfeb2fb76b9137cba38c20000f1d3
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Sat May 5 19:37:39 2012 +0000

    Fix missing exceptions from exp (bugs 13787, 13922, 14036).

The underflow case is probably a compiler bug, wrongly optimizing a
multiplication of two tiny constants to 0, but when Andreas's patch to use
-frounding-math for building libm goes in that should work around that compiler
bug.

-- 
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] 6+ messages in thread

* [Bug math/14036] exp(-1234) fails to set the underflow exception flag
  2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
  2012-05-05 19:48 ` [Bug math/14036] " jsm28 at gcc dot gnu.org
@ 2012-05-05 19:49 ` jsm28 at gcc dot gnu.org
  2012-05-06 12:42 ` jsm28 at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-05-05 19:49 UTC (permalink / raw)
  To: glibc-bugs

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|FIXED                       |
            Summary|exp(710.0) fails to set the |exp(-1234) fails to set the
                   |overflow exception flag     |underflow exception flag

--- Comment #2 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-05-05 19:48:42 UTC ---
(Retitling for the underflow issue and reopening until that is properly fixed.)

-- 
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] 6+ messages in thread

* [Bug math/14036] exp(-1234) fails to set the underflow exception flag
  2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
  2012-05-05 19:48 ` [Bug math/14036] " jsm28 at gcc dot gnu.org
  2012-05-05 19:49 ` [Bug math/14036] exp(-1234) fails to set the underflow " jsm28 at gcc dot gnu.org
@ 2012-05-06 12:42 ` jsm28 at gcc dot gnu.org
  2012-05-24 15:40 ` jsm28 at gcc dot gnu.org
  2014-06-25 11:10 ` fweimer at redhat dot com
  4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-05-06 12:42 UTC (permalink / raw)
  To: glibc-bugs

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

--- Comment #3 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-05-06 12:42:14 UTC ---
Underflow case now fixed, presumably by:

commit bd7b0e561f7f684cedfc4adb964569fe9ab16209
Author: Andreas Jaeger <aj@suse.de>
Date:   Sun May 6 09:14:15 2012 +0200

    Build glibc with -frounding-math

        * Makeconfig (+math-flags): New, set to -frounding-math.
        (+cflags): Add +math-flags so that all of glibc gets compiled with
        it.

Should be closed as fixed once libm-test.inc supports testing underflow
exceptions and an appropriate test has been added.

-- 
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] 6+ messages in thread

* [Bug math/14036] exp(-1234) fails to set the underflow exception flag
  2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
                   ` (2 preceding siblings ...)
  2012-05-06 12:42 ` jsm28 at gcc dot gnu.org
@ 2012-05-24 15:40 ` jsm28 at gcc dot gnu.org
  2014-06-25 11:10 ` fweimer at redhat dot com
  4 siblings, 0 replies; 6+ messages in thread
From: jsm28 at gcc dot gnu.org @ 2012-05-24 15:40 UTC (permalink / raw)
  To: glibc-bugs

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

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

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

--- Comment #4 from Joseph Myers <jsm28 at gcc dot gnu.org> 2012-05-24 15:40:25 UTC ---
Testcase added by:

commit 7a25eb06bfa838900bef78b975c38aa7e012b587
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Thu May 24 15:36:54 2012 +0000

    Add tests for underflow exception bugs 10846, 14036.

-- 
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] 6+ messages in thread

* [Bug math/14036] exp(-1234) fails to set the underflow exception flag
  2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
                   ` (3 preceding siblings ...)
  2012-05-24 15:40 ` jsm28 at gcc dot gnu.org
@ 2014-06-25 11:10 ` fweimer at redhat dot com
  4 siblings, 0 replies; 6+ messages in thread
From: fweimer at redhat dot com @ 2014-06-25 11:10 UTC (permalink / raw)
  To: glibc-bugs

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

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] 6+ messages in thread

end of thread, other threads:[~2014-06-25 11:10 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-04-29 21:43 [Bug math/14036] New: exp(710.0) fails to set the overflow exception flag kreckel at ginac dot de
2012-05-05 19:48 ` [Bug math/14036] " jsm28 at gcc dot gnu.org
2012-05-05 19:49 ` [Bug math/14036] exp(-1234) fails to set the underflow " jsm28 at gcc dot gnu.org
2012-05-06 12:42 ` jsm28 at gcc dot gnu.org
2012-05-24 15:40 ` jsm28 at gcc dot gnu.org
2014-06-25 11:10 ` 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).