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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 2355 Actions

    Problem Report Number 2355
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0650
    Raised 2004-04-09 02:05
    Updated 2004-04-30 14:22
    Published 2004-04-30 14:22
    Product Standard Internationalised System Calls and Libraries Extended V3 (UNIX 03)
    Certification Program The Open Brand certification program
    Test Suite VSU version 5.2.4
    Test Identification CAPI.os/maths/scalb 8, 9
    Specification Base Definitions Issue 6
    Problem Summary SUSv3 ambiguous over result exepcted for scalb(INF, NaN).
    Problem Text In both SUSv2 and SUSv3, the specification gives conflicting
    expectations of the return value for scalb(INF, NaN).

    In XSH5 scalb(INF, NaN) for either a +Inf or a -Inf, is required to
    return its 1st argument and is required to return NaN. In XSH6
    scalb(INF, NaN) for either a +Inf or a -Inf, is required to return NaN
    and is required to return its 1st argument. Since we return NaN, we
    conform to the spec, which says "If x or n is NaN, then scalb() returns
    NaN and may set errno to [EDOM]." in XSH5 and "If x or n is NaN, NaN
    shall be returned." in XSH6.

    The test should allow for both return values, it currently only allows
    for 1st argument to be returned.
    Test Output
    ****************************************************************************************************************
    /tset/CAPI.os/maths/scalb/T.scalb 8 Failed

    Test Description:
    Base Conditional Conformance
    If the implementation supports Inf:
    A call to double scalb(double x, double n) when x is +Inf shall
    return
    x.

    Test Information:
    PREP: Check for Inf support
    PREP: Get VSU_SUPPORTS_INFINITY configuration variable
    TEST: scalb() returns correct value
    ERROR: scalb() incorrect
    Expected Infinity, Received nan


    ****************************************************************************************************************


    ****************************************************************************************************************
    /tset/CAPI.os/maths/scalb/T.scalb 9 Failed

    Test Description:
    Base Conditional Conformance
    If the implementation supports Inf:
    A call to double scalb(double x, double n) when x is -Inf shall
    return
    x.

    Test Information:
    PREP: Check for Inf support
    PREP: Get VSU_SUPPORTS_INFINITY configuration variable
    TEST: scalb() returns correct value
    ERROR: scalb(inf, n) incorrect:
    Expected -Infinity, Received nan


    ****************************************************************************************************************

    Review Information

    Review Type TSMA Review
    Start Date 2004-04-09 02:05
    Last Updated 2004-04-13 20:50
    Completed 2004-04-13 20:50
    Status Complete
    Review Recommendation Rejected (REJ)
    Review Response The submitter's comments regarding what the spec says about scalb()
    calls with a NaN as the second argument are irrelevant. These tests use
    random real values as the second argument, not a NaN. The spec is clear
    that the return value in each case should be the one expected by the tests.

    Review Type SA Review
    Start Date 2004-04-13 19:50
    Last Updated 2004-04-14 00:56
    Completed 2004-04-14 00:56
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion This PR is rejected as a TSD as the rational provided does not explain
    the failure encountered.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority