Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • Shop

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 0432 Details

Help Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges

This page provides all information on Problem Report 0432.

Report 0432 Actions

    Problem Report Number 0432
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0051
    Raised 1994-01-31 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.2.4
    Test Identification XOPEN.os/maths/y0 10, 11
    Problem Summary PG4R.051 We use an MC6882 floating point chip, or software emulation, that is capable of handling the value used in both of these test cases. An overflow condition is not caused by the test. .sp In the functio...
    Problem Text
    We use an MC6882 floating point chip, or software emulation, that is
    capable of handling the value used in both of these test cases. An
    overflow condition is not caused by the test.
    .sp
    In the function y1(arg), as arg approaches 0, the result approaches
    negative infinity. This is the result that we return when arg is the
    minimum value for a double precision number on our system.
    .sp
    We believe that this is a deficiency in the test suite, and that we
    return the correct results in this case.
    Test Output
    .sp 1
    When the result would overflow (due to the argument being too small),
    y1() returns either -HUGE_VAL or zero, and may set errno to ERANGE.
    This test is not executed in XPG3 mode.
    ERRNO VALUES: expected: 34 (ERANGE), observed: 0 (NO ERROR)
    .sp 1
    When the result would overflow (due to the argument being too small),
    yn() returns either -HUGE_VAL or zero, and may set errno to ERANGE.
    This test is not executed in XPG3 mode.
    RETURN VALUES: expected: 0, observed: ---
    Bit Representation: expected value: \000\000\000\000\000\000\000\000
    Bit Representation: observed value: \377\360\000\000\000\000\000\000
    ERRNO VALUES: expected: 34 (ERANGE), observed: 0 (NO ERROR)

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    It seems that in this case the value returned has been set to the special
    value -Infinity rather than the special value -HUGE_VAL. This seems to be
    a difference in the implementation rather than a fault in the test suite.
    Had the result been a normal value which could have been used in further
    arithmetic operations, then I would have viewed the request slightly
    differently. The problem with a result of -Infinity is that this value
    is propagated through most arithmetic operations, whereas a normal value
    would not be propagated in this manner.

    However, I do not believe that this is a serious deviance from the XSH
    specification and a waiver could be considered on the grounds of a minor
    system fault.

    A waiver is not recommended on the grounds of a test suite deficiency.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This request is refused.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority