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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 1091 Actions

    Problem Report Number 1091
    Submitter's Classification Minor System Fault
    State Resolved
    Resolution Minor System Fault (MSF)
    Problem Resolution ID MSF.X.0040
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published 1999-01-07 08:00
    Expiry Date 2000-01-07
    Product Standard Internationalised System Calls and Libraries Extended (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSU version 4.1.1
    Test Identification headers/stdlib.h 35
    Problem Summary MSF4U.00013 An MSF is requested because the state argument to initstate(unsigned int seed, char *state, size_t size) is not handled properly due to alignment.
    Problem Text
    An MSF is requested because the state argument to initstate(unsigned
    int seed, char *state, size_t size) is not handled properly when state
    argument is not aligned on a 4-byte boundary.

    This test checks for the proper declaration of the setstate() function
    and then tests to see that the setstate() function can be called. In
    the setup for calling the setstate() function, the initstate()
    function is called initialize the state array.

    In this IUT, the call to initstate will fail if the state array passed
    to the initstate() function is not aligned on a 4-byte boundary.

    We believe this to be a minor system fault for the following reasons:

    1. initstate() is not required to be called before using the
    random() function so the situation will not occur in many cases,

    2. the situation can be worked around if the state array is properly
    aligned before initstate() is called (e.g. declare the state
    array as a 4-byte integer array rather than a character
    array), and

    3. in many cases, the state array is already be naturally
    aligned, or always aligned if the space was allocated using
    malloc().

    As a result, the situation can easily be worked around and less likely
    to happen since the initstate() function call is not a required call
    in order to use the random() function. If initstate() is not called,
    an internally allocated state array is allocated which is properly
    aligned, so the situation does not occur.
    Test Output
    SECTION: Headers

    TEST CASE: stdlib.h

    TEST PURPOSE #35

    The function char *setstate(const char *state) shall be
    declared with the correct prototype in stdlib.h.
    unexpected signal 10 (unknown signal) received
    35 UNRESOLVED

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    A temporary waiver for a minor system fault is recommended.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Minor System Fault (MSF)
    Review Conclusion
    A Temporary Waiver is granted.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority