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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0142 Actions

    Problem Report Number 0142
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0142
    Raised 1994-05-17 08:00
    Updated 2003-03-13 08:00
    Published 1994-05-31 08:00
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.3.4
    Test Identification ANSI.os/genuts/malloc 2
    Problem Summary TSD4.142 First of all, test's sources have an initial comment: "If there are alignment problems, these tests will no doubt cause signals rather than the nice error message at the end" In our case, we have the...
    Problem Text
    First of all, test's sources have an initial comment:
    "If there are alignment problems, these tests will no doubt cause
    signals rather than the nice error message at the end"
    In our case, we have the "nice error message" for type float, but no
    signals.

    Now, the test for type float is performed as follows (line 341):

    *(float *)ptr = xfloat;
    if (++*(float *)ptr != xfloat+1)
    (void) strcat(buf, "float ");

    The result of this test is based on a comparison for equal on two
    floating point expressions: but if xfloat+1 is evaluated as double,
    and compared with (double)(*(float*)ptr) a different rounding is
    enough to create a spurious failure.
    Test Output
    ************************************************************************
    /tset/ANSI.os/genuts/malloc/T.malloc 2 Failed

    Test Information:
    pointer returned by malloc(4) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(7) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(11) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(16) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(22) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(29) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(37) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(46) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(56) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(67) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(79) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(92) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(106) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(121) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(137) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(154) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(172) was not aligned correctly for the
    following types:
    float
    pointer returned by malloc(191) was not aligned correctly for the
    following types:
    float
    ************************************************************************

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    It is accepted that this is a test suite fault and it is recommended that
    a test suite deficiency be granted.

    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