public inbox for glibc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug math/6807] New: y0(), y1(), yn() do not raise exception and give wrong errno for pole error
@ 2008-07-31 12:21 mtk dot manpages at gmail dot com
  2008-07-31 12:23 ` [Bug math/6807] " mtk dot manpages at gmail dot com
                   ` (3 more replies)
  0 siblings, 4 replies; 9+ messages in thread
From: mtk dot manpages at gmail dot com @ 2008-07-31 12:21 UTC (permalink / raw)
  To: glibc-bugs

The POSIX.1 spec of y0(), y1(), yn() says:

==
Pole Error
    The value of x is zero.

    If the integer expression (math_errhandling & MATH_ERRNO) is non-zero, then
errno shall be set to [ERANGE]. If the integer expression (math_errhandling &
MATH_ERREXCEPT) is non-zero, then the divide-by-zero floating-point exception
shall be raised.
==

For a pole error, GNU's y0(), y1(), yn() set errno to EDOM, and do not raise an
IEEE exception.  This is wrong on both counts.  errno should be set to ERANGE,
and an FE_DIVBYZERO exception should occur.

Note: the POLE ERROR text was only added to POSIX.1-2001 for TC2 (i.e.,
POSIX.1-2004; before that, this case was specified as a RANGE ERROR (which is
mathematically incorrect).

Background: 
On error, many glibc math functions both set errno and raise an exception
(fetestexcept(3)).  For example, the following  function all do this: acos(),
asin(), cosh(), sinh(), acosh(), asinh(), exp(), exp2(), ldexp(), log(),
log10(), log2().  However, there is much inconsistency.  Some functions raise an
exception, but don't set errno.  Some functions set errno for some errors, but
not others.  A few set errno, but don't raise an exception.  This series of bug
reports documents deviations from what I consider the ideal: all functions
should BOTH set errno AND raise an exception for all errors.

All of these reports relate to tests on glibc 2.8 (as provided by SUSE 11.0).

-- 
           Summary: y0(), y1(), yn() do not raise exception and give wrong
                    errno for pole error
           Product: glibc
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: math
        AssignedTo: aj at suse dot de
        ReportedBy: mtk dot manpages at gmail dot com
                CC: glibc-bugs at sources dot redhat dot com


http://sourceware.org/bugzilla/show_bug.cgi?id=6807

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.


^ permalink raw reply	[flat|nested] 9+ messages in thread
end of thread, other threads:[~2020-05-26 10:26 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <bug-6807-131@http.sourceware.org/bugzilla/>
2012-03-01 17:57 ` [Bug math/6807] y0(), y1(), yn() do not raise exception and give wrong errno for pole error jsm28 at gcc dot gnu.org
2013-12-04 14:40 ` cvs-commit at gcc dot gnu.org
2013-12-04 14:41 ` jsm28 at gcc dot gnu.org
2014-06-13 11:16 ` fweimer at redhat dot com
2020-05-26 10:26 ` mtk.manpages at gmail dot com
2008-07-31 12:21 [Bug math/6807] New: " mtk dot manpages at gmail dot com
2008-07-31 12:23 ` [Bug math/6807] " mtk dot manpages at gmail dot com
2008-07-31 12:23 ` mtk dot manpages at gmail dot com
2008-07-31 12:25 ` mtk dot manpages at gmail dot com
2008-07-31 12:34 ` mtk dot manpages at gmail dot com

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).