math: logb needs to be correctly rounded

[libc-test] / src / math / frexpl.c

diff --git a/src/math/frexpl.c b/src/math/frexpl.c
index e04821b..a28b0fd 100644 (file)
--- a/src/math/frexpl.c
+++ b/src/math/frexpl.c
@@ -40,7 +40,7 @@ int main(void)
                        err++;
                }
                d = ulperrl(y, p->y, p->dy);
-               if (!checkcr(y, p->y, p->r) || yi != p->i) {
+               if (!checkcr(y, p->y, p->r) || (isfinite(p->x) && yi != p->i)) {
                        printf("%s:%d: %s frexpl(%La) want %La,%lld got %La,%d ulperr %.3f = %a + %a\n",
                                p->file, p->line, rstr(p->r), p->x, p->y, p->i, y, yi, d, d-p->dy, p->dy);
                        err++;