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

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 0009 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 0009.

Report 0009 Actions

    Problem Report Number 0009
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0009
    Raised 1992-09-04 08:00
    Updated 2003-03-13 08:00
    Published 1992-09-24 08:00
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.2.3
    Test Identification ANSI.os/maths/pow 4
    Problem Summary TSD4.009 Test 4 for ANSI.os/maths/pow calls pow with x=0.0 and y=-1.0, and expects -HUGE_VAL to be returned. However, the ANSI X3J11.1 NCEG states in their draft standard: pow(+/- 0, y) returns +/- INFINITY an...
    Problem Text
    Test 4 for ANSI.os/maths/pow calls pow with x=0.0 and y=-1.0, and expects
    -HUGE_VAL to be returned.

    However, the ANSI X3J11.1 NCEG states in their draft standard:

    pow(+/- 0, y) returns +/- INFINITY and raises the divide-by-zero exception
    for y and odd integer < 0

    ie, the return value if the implementation supports NCEG should be +HUGE_VAL
    as x is +0.0.

    XSH4 allows either XPG4 or NCEG behaviour --- see section 1.6.1
    paragraph 3 of XSH4 which states an XSI-conformant system may behave
    either in the manner defined by the NCEG or the XSH.

    The VSX4.2.4 beta update allows this behaviour.

    Test Output
    ************************************************************************
    /tset/ANSI.os/maths/pow/T.pow 4 Failed

    Test Description:
    If XPG3 mode:
    pow(), when called with the first argument zero and second
    argument negative returns a value +/-HUGE_VAL and may set errno to
    EDOM.
    Note: A return value of 0.0 results in a warning.
    Otherwise:
    pow(), when called with the first argument zero and second
    argument negative, returns a value of -HUGE_VAL and may set errno
    to EDOM or ERANGE.

    Test Strategy:
    CALCULATE floating point constants using mlmachar().
    CREATE child
    REASSIGN stderr to /dev/null to avoid error output from maths
    functions.
    If XPG3 mode:
    VERIFY pow(), when called with the first argument zero and second
    argument negative returns a value +/-HUGE_VAL and may set errno to
    EDOM.
    ISSUE WARNING if result is 0.0 and errno is EDOM or unchanged.
    (Allows for historic behaviour).
    Otherwise:
    VERIFY pow(), when called with the first argument 0.0 and second
    argument -1 returns a value -HUGE_VAL and may set errno to EDOM or
    ERANGE.

    Test Information:
    pow(0.0, -1) gave
    ************************************************************************

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    This is agreed to be a test suite fault in VSX 4.2.3 and a permanent waiver
    is recommended.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion
    This is an agreed test suite deficiency in VSX 4.2.3.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority