[Bug math/14797] New: fma use of a * b + c on overflow incorrect in directed rounding modes

[Bug math/14797] New: fma use of a * b + c on overflow incorrect in directed rounding modes

[jsm28 at gcc dot gnu.org]

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

             Bug #: 14797
           Summary: fma use of a * b + c on overflow incorrect in directed
                    rounding modes
           Product: glibc
           Version: 2.16
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
        AssignedTo: unassigned@sourceware.org
        ReportedBy: jsm28@gcc.gnu.org
    Classification: Unclassified


Various fma implementations fall back to a * b + c when a * b is known to
overflow so much that the final result would still overflow, whatever the value
of c.  But this is incorrect in directed rounding modes where a * b may not be
an infinity.  Example using dbl-64/s_fma.c: fma (DBL_MAX, DBL_MAX, -DBL_MIN)
should return DBL_MAX in FE_DOWNWARD mode but returns the next smaller
floating-point number instead.

-- 
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/14797] fma use of a * b + c on overflow incorrect in directed rounding modes

[jsm28 at gcc dot gnu.org]

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

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-11-04 19:27:07 UTC ---
Fixed for 2.17 by:

commit a0c2940d67e59b2f19515e2ac7280a7be9629ffa
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Sun Nov 4 19:26:02 2012 +0000

    Fix fma overflow results outside round-to-nearest mode (bug 14797).

-- 
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/14797] fma use of a * b + c on overflow incorrect in directed rounding modes

[fweimer at redhat dot com]

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

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.