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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0228 Actions

    Problem Report Number 0228
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0228
    Raised 1995-08-19 08:00
    Updated 2003-03-13 08:00
    Published 1995-09-04 08:00
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.3.5
    Test Identification XOPEN.os/maths/y0 10,11
    Problem Summary TSD4.228 Values passed to math routines must be a representable finite value defined within the floating-point (FP) model. The value mindble, as computed in mlmachar(), is not representable within our FP model...
    Problem Text
    Values passed to math routines must be a representable finite value
    defined within the floating-point (FP) model.

    The value mindble, as computed in mlmachar(), is not representable
    within our FP model and thus the behavior of the Bessel functions
    when this value is passed in is undefined.

    If the test is modified to use the minimal value (DBL_MIN as described
    in <float.h>) defined in the floating-point model, the test will
    produce passing results. For example:

    $ diff y0.c.orig y0.c
    83a84
    > #include <float.h>
    528c529
    < dval=y1(mindble);
    ---
    > dval=y1(DBL_MIN);
    543c544
    < dval *= mindble;
    ---
    > dval *= DBL_MIN;
    593c594
    < dval=yn(3, mindble);
    ---
    > dval=yn(3, DBL_MIN);
    $

    We believe changing the test will still verify the desired functionality
    and allow implementations where the software FP model and hardware FP
    model are not identical to pass successfully.
    Test Output

    ************************************************************************
    /tset/XOPEN.os/maths/y0/T.y0 10 Unresolved

    Test Description:
    When the result would overflow (due to the argument being too small),
    y1() either
    a. returns either -HUGE_VAL or zero, and may set errno to ERANGE, or
    b. returns a value approximately equal to (-2/PI)*(1/x).
    This test is not executed in XPG3 mode.


    Test Information:
    child process was terminated by signal 8 (SIGFPE)
    ************************************************************************
    ************************************************************************
    /tset/XOPEN.os/maths/y0/T.y0 11 Unresolved

    Test Description:
    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.

    Test Information:
    child process was terminated by signal 8 (SIGFPE)
    ************************************************************************

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    Given that the function works correctly with the value of DBL_MIN specified
    in the header file, rather than the value calculated by the test suite, it
    is recommended that this is treated as a Test Suite Deficiency.

    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.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority