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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 1411 Actions

    Problem Report Number 1411
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0693
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published 1996-04-04 08:00
    Product Standard Internationalised System Calls and Libraries Extended (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSU version 4.1.0
    Test Identification base/nextafter 1
    Problem Summary TSD4U.00122 This test may fail on implementations where the radix (FLT_RADIX) is greater than or equal to 10.
    Problem Text
    This test may fail on implementations where the radix (FLT_RADIX)
    is greater than or equal to 10.

    Our implementation uses a radix-16 architecture.

    The code for this assertion contains the following line:
    digits = (int) ((double)DBL_MANT_DIG/ logb(10.0)) + 1;

    On our implementation, logb(10.0) correctly returns 0, the integral
    part of .830482 (which is the base 16 logarithm of 10.) This
    results in division by zero, and a floating point exception.
    Test Output
    IC Start
    TP Start
    SPEC1170TESTSUITE CASE 1
    A call to double nextafter(double x, double y) shall
    return the next representable double-precision
    floating-point value following x in the direction of y.
    TEST: Check nextafter([0.0,FLT_MAX], DBL_MAX) values
    ERROR: TEST TERMINATED DUE TO SIGFPE SIGNAL (8)
    INFO: Testing the macro version of nextafter
    TEST: Check nextafter([0.0,FLT_MAX], DBL_MAX) values
    ERROR: TEST TERMINATED DUE TO SIGFPE SIGNAL (8)
    FAIL
    IC End

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    We agree this is a test suite deficiency in the test
    suite version(s) listed.

    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