Bug 13924 - exp10 (-DBL_MAX) raises spurious overflow exception
Summary: exp10 (-DBL_MAX) raises spurious overflow exception
Status: RESOLVED FIXED
Alias: None
Product: glibc
Classification: Unclassified
Component: math (show other bugs)
Version: 2.15
: P2 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-03-28 00:40 UTC by Joseph Myers
Modified: 2014-06-26 13:38 UTC (History)
0 users

See Also:
Host:
Target:
Build:
Last reconfirmed:
fweimer: security-


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Joseph Myers 2012-03-28 00:40:21 UTC
On x86_64 (not x86), exp10 (-DBL_MAX) raises a spurious overflow exception.  Testcase:

#include <errno.h>
#include <fenv.h>
#include <math.h>
#include <stdio.h>
#include <float.h>

volatile double d = -DBL_MAX;

int
main (void)
{
  feclearexcept (FE_ALL_EXCEPT);
  errno = 0;
  volatile double r = exp10 (d);
  if (fetestexcept (FE_DIVBYZERO))
    printf ("DIVBYZERO ");
  if (fetestexcept (FE_INEXACT))
    printf ("INEXACT ");
  if (fetestexcept (FE_INVALID))
    printf ("INVALID ");
  if (fetestexcept (FE_OVERFLOW))
    printf ("OVERFLOW ");
  if (fetestexcept (FE_UNDERFLOW))
    printf ("UNDERFLOW ");
  printf ("%.18g %m\n", r);
  return 0;
}
Comment 1 Joseph Myers 2012-04-30 09:40:51 UTC
Fixed (except for x86/x86_64 long double, which is bug 13914) by:

commit 9568c0c2255045456a09b441f89c6641e27a4bec
Author: Joseph Myers <joseph@codesourcery.com>
Date:   Mon Apr 30 09:37:01 2012 +0000

    Fix exp10 spurious overflows (bug 13924).