[Bug 5816] New: round-half-to-even tests can overflow

http://www.w3.org/Bugs/Public/show_bug.cgi?id=5816

           Summary: round-half-to-even tests can overflow
           Product: XML Query Test Suite
           Version: unspecified
          Platform: PC
        OS/Version: Windows NT
            Status: NEW
          Severity: normal
          Priority: P2
         Component: XML Query Test Suite
        AssignedTo: andrew.eisenberg@us.ibm.com
        ReportedBy: oliver@cbcl.co.uk
         QAContact: public-qt-comments@w3.org


The specification of round-half-to-even says the following [F&O 6.4.5]:

For arguments of type xs:float and xs:double, if the argument is NaN, positive
or negative zero, or positive or negative infinity, then the result is the same
as the argument. In all other cases, the argument is cast to xs:decimal, the
function is applied to this xs:decimal value, and the resulting xs:decimal is
cast back to xs:float or xs:double as appropriate to form the function result.

However a number of xqts tests contain large float/double values that can
easily overflow the implementation-defined limit for the size of a decimal,
hence FOCA0001 overflow errors are also acceptable outcomes for these test
cases.

We are experiencing this problem with the following test cases:
fn-round-half-to-evendbl1args-1
fn-round-half-to-evendbl1args-3
fn-round-half-to-evenflt1args-1
fn-round-half-to-evenflt1args-3
K2-RoundEvenFunc-11
K2-RoundEvenFunc-12
K2-RoundEvenFunc-13
K2-RoundEvenFunc-14
K2-RoundEvenFunc-15
K2-RoundEvenFunc-16


-- 
Configure bugmail: http://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the QA contact for the bug.

Received on Friday, 27 June 2008 14:47:38 UTC