ea6029b19c
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.
59 lines
1.6 KiB
C
59 lines
1.6 KiB
C
/* Copyright (C) 2011-2014 Free Software Foundation, Inc.
|
|
This file is part of the GNU C Library.
|
|
Contributed by Ulrich Drepper <drepper@gmail.com>, 2011.
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU Lesser General Public
|
|
License as published by the Free Software Foundation; either
|
|
version 2.1 of the License, or (at your option) any later version.
|
|
|
|
The GNU C Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public
|
|
License along with the GNU C Library; if not, see
|
|
<http://www.gnu.org/licenses/>. */
|
|
|
|
#include <fenv.h>
|
|
#include <math.h>
|
|
#include <math_private.h>
|
|
|
|
|
|
static float
|
|
__attribute__ ((noinline))
|
|
invalid_fn (float x, float fn)
|
|
{
|
|
if (__rintf (fn) != fn)
|
|
{
|
|
feraiseexcept (FE_INVALID);
|
|
return __nan ("");
|
|
}
|
|
else if (fn > 65000.0f)
|
|
return __scalbnf (x, 65000);
|
|
else
|
|
return __scalbnf (x,-65000);
|
|
}
|
|
|
|
|
|
float
|
|
__ieee754_scalbf (float x, float fn)
|
|
{
|
|
if (__glibc_unlikely (__isnanf (x)))
|
|
return x * fn;
|
|
if (__glibc_unlikely (!__finitef (fn)))
|
|
{
|
|
if (__isnanf (fn) || fn > 0.0f)
|
|
return x * fn;
|
|
if (x == 0.0f)
|
|
return x;
|
|
return x / -fn;
|
|
}
|
|
if (__glibc_unlikely (fabsf (fn) >= 0x1p31f || (float) (int) fn != fn))
|
|
return invalid_fn (x, fn);
|
|
|
|
return __scalbnf (x, (int) fn);
|
|
}
|
|
strong_alias (__ieee754_scalbf, __scalbf_finite)
|