diff options
| author | Gabriel F. T. Gomes <gftg@linux.vnet.ibm.com> | 2017-02-12 22:36:27 -0200 |
|---|---|---|
| committer | Gabriel F. T. Gomes <gftg@linux.vnet.ibm.com> | 2017-02-15 10:30:59 -0200 |
| commit | 4918e5f4cd63290bb0b2c614f52092ca6a779126 (patch) | |
| tree | 1fde6c355b58f36b89fee9dddecc60a7fb29216e /sysdeps/ieee754/ldbl-128/e_j1l.c | |
| parent | 10303eb74bfe33d46ef167d2ea31c746ea1cd6ad (diff) | |
| download | glibc-4918e5f4cd63290bb0b2c614f52092ca6a779126.tar.gz glibc-4918e5f4cd63290bb0b2c614f52092ca6a779126.tar.xz glibc-4918e5f4cd63290bb0b2c614f52092ca6a779126.zip | |
Fix y0 and y1 exception handling for zero input [BZ #21134]
The Bessel functions of the second type (Yn) should raise the "divide by zero" exception when input is zero (both positive and negative). Current code gives the right output, but fails to set the exception. This error is exposed for float, double, and long double when linking with -lieee. Without this flag, the error is not exposed, because the wrappers for these functions, which use __kernel_standard functionality, set the exception as expected. Tested for powerpc64le. [BZ #21134] * sysdeps/ieee754/dbl-64/e_j0.c (__ieee754_y0): Raise the "divide by zero" exception when the input is zero. * sysdeps/ieee754/dbl-64/e_j1.c (__ieee754_y1): Likewise. * sysdeps/ieee754/flt-32/e_j0f.c (__ieee754_y0f): Likewise. * sysdeps/ieee754/flt-32/e_j1f.c (__ieee754_y1f): Likewise. * sysdeps/ieee754/ldbl-128/e_j0l.c (__ieee754_y0l): Likewise. * sysdeps/ieee754/ldbl-128/e_j1l.c (__ieee754_y1l): Likewise.
Diffstat (limited to 'sysdeps/ieee754/ldbl-128/e_j1l.c')
| -rw-r--r-- | sysdeps/ieee754/ldbl-128/e_j1l.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sysdeps/ieee754/ldbl-128/e_j1l.c b/sysdeps/ieee754/ldbl-128/e_j1l.c index db8dca0ab1..6fc69faa3c 100644 --- a/sysdeps/ieee754/ldbl-128/e_j1l.c +++ b/sysdeps/ieee754/ldbl-128/e_j1l.c @@ -852,7 +852,7 @@ __ieee754_y1l (_Float128 x) { if (x < 0) return (zero / (zero * x)); - return -HUGE_VALL + x; + return -1 / zero; /* -inf and divide by zero exception. */ } xx = fabsl (x); if (xx <= 0x1p-114) |