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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 1666 Actions

    Problem Report Number 1666
    Submitter's Classification Specification problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0470
    Raised 2000-01-07 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Internationalised System Calls and Libraries Extended V2 (UNIX 98)
    Certification Program The Open Brand certification program
    Test Suite VSU version 5.0.4
    Test Identification base/mmap 41
    Linked Problem Reports PIN5.005, (in, old, system)
    Problem Summary PG4U.00173 The request claims that this is the same grey area as PIN5.005.
    Problem Text

    This is a different instance of the behavior acknowledged as conformant
    in PIN5.005.

    Test Output

    TEST CASE: mmap

    TEST PURPOSE #41
    EOVERFLOW in errno and return MAP_FAILED on a call to
    void *mmap(void *addr, size_t len, int prot, int
    flags, int fildes, off_t off) when file is a regular
    file and the value of off plus len exceeds the offset
    maximum established in the open file description
    associated with fildes.
    PREP: Check for existence of programming environments
    PREP: Obtain off_t size in XBS5_ILP32_OFF32 environment
    PREP: Obtain off_t size in XBS5_ILP32_OFFBIG environment
    INFO: Execution environment for XBS5_LP64_OFF64 not supported
    INFO: Execution environment for XBS5_LPBIG_OFFBIG not supported
    TEST: Execute a program compiled in XBS5_ILP32_OFF32(32-bit off_t)
    environment that:
    opens a regular file for writing
    execs a program compiled in XBS5_ILP32_OFFBIG(64-bit off_t)
    environment,
    passing it the open file descriptor
    this program:
    verifies mmap returns -1 and sets errno to
    EOVERFLOW when off+len exceeds the offset maximum
    ERROR: In LFS program: errno set incorrectly. Expected: EOVERFLOW (79),
    Received: 22
    41 FAIL

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    This does not appear to be the same situation as in PIN5.005.

    The value of (off+len) in this test is greater than the offset maximum
    established for the fd, but is less than the maximum value that can
    be represented in an off_t in the calling process. In order for this
    to be considered the same situation as in PIN5.005, the value of
    (off+len) would have to be greater than the maximum value of off_t in
    the calling process.

    It is recommended that this request is refused.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution No Resolution Given
    Review Conclusion
    We agree with the Consultant's opinion, the request should be refused.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This request is refused.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority