[Bug math/16770] New: scalb spurious "invalid" exceptions

[Bug math/16770] New: scalb spurious "invalid" exceptions

[jsm28 at gcc dot gnu.org]

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

            Bug ID: 16770
           Summary: scalb spurious "invalid" exceptions
           Product: glibc
           Version: 2.19
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
          Assignee: unassigned at sourceware dot org
          Reporter: jsm28 at gcc dot gnu.org

When the second argument to scalb (or scalbf or scalbl) is an integer too large
for conversion to int, the implementation raises a spurious "invalid" exception
when converting to int to see if the argument is not an integer.  For example,
on x86_64, scalb (1.0, 0x1p100) raises that exception (in addition to the
correct "overflow" and "inexact" exceptions).

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

[Bug math/16770] scalb spurious "invalid" exceptions

[cvs-commit at gcc dot gnu.org]

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

--- Comment #1 from cvs-commit at gcc dot gnu.org <cvs-commit at gcc dot gnu.org> ---
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU C Library master sources".

The branch, master has been updated
       via  ea6029b19c6004c69a9074bf399091bbfbf58a0c (commit)
      from  56737508002f1759da8d4d9944a8e98e58dce917 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=ea6029b19c6004c69a9074bf399091bbfbf58a0c

commit ea6029b19c6004c69a9074bf399091bbfbf58a0c
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Sat Mar 29 17:22:14 2014 +0000

    Fix scalb spurious "invalid" exceptions (bug 16770).

    This patch fixes bug 16770, spurious "invalid" exceptions from scalb
    when testing whether the second argument is an integer, by inserting
    appropriate range checks to determine whether a cast to int is safe.
    (Note that invalid_fn is a function that handles both nonintegers and
    large integers, distinguishing them reliably using functions such as
    __rint; note also that there are no issues with scalb needing to avoid
    spurious "inexact" exceptions - it's an old-POSIX XSI function, not a
    standard C function bound to an IEEE 754 operation - although the
    return value is still fully determined.)

    Tested x86_64 and x86.

        [BZ #16770]
        * math/e_scalb.c (__ieee754_scalb): Check second argument is not
        too large before casting to int.
        * math/e_scalbf.c (__ieee754_scalbf): Likewise.
        * math/e_scalbl.c (__ieee754_scalbl): Likewise.
        * math/libm-test.inc (scalb_test_data): Add more tests.

-----------------------------------------------------------------------

Summary of changes:
 ChangeLog          |    9 +++++++++
 NEWS               |    2 +-
 math/e_scalb.c     |    2 +-
 math/e_scalbf.c    |    2 +-
 math/e_scalbl.c    |    2 +-
 math/libm-test.inc |   17 +++++++++++++++++
 6 files changed, 30 insertions(+), 4 deletions(-)

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

[Bug math/16770] scalb spurious "invalid" exceptions

[jsm28 at gcc dot gnu.org]

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

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

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

--- Comment #2 from Joseph Myers <jsm28 at gcc dot gnu.org> ---
Fixed for 2.20.

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

[Bug math/16770] scalb spurious "invalid" exceptions

[fweimer at redhat dot com]

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

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.