qiurui
/
glibc
mirror of git://sourceware.org/git/glibc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

math: Fix UB in ldbl-128 __ieee754_rem_pio2l 

UBSAN: Undefined behaviour in ../sysdeps/ieee754/ldbl-128ibm/e_rem_pio2l.c:254:27 left shift of 325455441821696 by 23 cannot be represented in type 'long int'
This commit is contained in:
Adhemerval Zanella 2025-05-07 16:04:23 +00:00
parent 00411d0fad
commit 5ae9c869b0
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
sysdeps/ieee754/ldbl-128ibm/e_rem_pio2l.c
View File

@ -249,11 +249,11 @@ int32_t __ieee754_rem_pio2l(long double x, long double *y)
/* This is faster than doing this in floating point, because we
have to convert it to integers anyway and like this we can keep
both integer and floating point units busy. */
tx [0] = (double)(((ixd >> 25) & 0x7fffff) | 0x800000);
tx [1] = (double)((ixd >> 1) & 0xffffff);
tx [2] = (double)(((ixd << 23) | (lxd >> 41)) & 0xffffff);
tx [3] = (double)((lxd >> 17) & 0xffffff);
tx [4] = (double)((lxd << 7) & 0xffffff);
tx [0] = (double)((((uint64_t)ixd >> 25) & 0x7fffff) | 0x800000);
tx [1] = (double)(((uint64_t)ixd >> 1) & 0xffffff);
tx [2] = (double)((((uint64_t)ixd << 23) | (lxd >> 41)) & 0xffffff);
tx [3] = (double)(((uint64_t)lxd >> 17) & 0xffffff);
tx [4] = (double)(((uint64_t)lxd << 7) & 0xffffff);
n = __kernel_rem_pio2 (tx, tx + 5, exp, ((lxd << 7) & 0xffffff) ? 5 : 4,
3, two_over_pi);