HomeAbout Us A-Z IndexSearch * Contact Us Register LoginPress Shop

The Open Brand -- Problem Reporting and Interpretations System


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


Report 1111 Actions


    Problem Report Number 1111
    Submitter's Classification Specification problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0313
    Raised 1970-01-01 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.3
    Test Identification CAPIbase/lockf 43
    Problem Summary PG4U.00160 This request disagrees with the test logic.
    Problem Text
    In the above output, it shows that the tests are failing because lseek is
    failing, returning a errno of 22, which on our implementation is EINVAL.
    The tests are attempting to seek beyond the allowable maximum filesize.
    Page 489 of the XPG5 XSH states the following:

    "ERRORS
    The lseek() function will fail if:
    .
    .
    .
    [EINVAL] The whence argument is not a proper value, or the resulting
    file offset would be invalid.

    PIN5.003 confirms that this is proper behavior for the lseek() function.


    Test Output

    ------- output from system running in 32 BIT mode -----------------

    TEST CASE: lockf

    TEST PURPOSE #43
    EOVERFLOW in errno and return -1 on a call to int
    lockf(int fildes, int function, off_t size) when size
    is not 0 and the offset of the last byte in the
    requested section cannot be represented correctly in
    an object of type off_t.
    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 test built in XBS5_ILP32_OFF32 (32-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    TEST: Execute test built in XBS5_ILP32_OFFBIG (64-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    ERROR: In test program: lseek() failed, errno = 22(Invalid argument)


    ------- output from system running in 64 BIT mode -----------------

    TEST CASE: lockf

    TEST PURPOSE #43
    EOVERFLOW in errno and return -1 on a call to int
    lockf(int fildes, int function, off_t size) when size
    is not 0 and the offset of the last byte in the
    requested section cannot be represented correctly in
    an object of type off_t.
    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
    PREP: Obtain off_t size in XBS5_LP64_OFF64 environment
    PREP: Obtain off_t size in XBS5_LPBIG_OFFBIG environment
    TEST: Execute test built in XBS5_ILP32_OFF32 (32-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    TEST: Execute test built in XBS5_ILP32_OFFBIG (64-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    ERROR: In test program: lseek() failed, errno = 22(Invalid argument)
    TEST: Execute test built in XBS5_LP64_OFF64 (64-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    ERROR: In test program: lseek() failed, errno = 22(Invalid argument)
    TEST: Execute test built in XBS5_LPBIG_OFFBIG (64-bit off_t) environment that:
    opens a file for writing,
    set the offset below that which can be represented in an off_t
    verifies lockf returns -1 and sets errno to EOVERFLOW when offset
    of the last byte in request cannot be represented in an off_t object
    ERROR: In test program: lseek() failed, errno = 22(Invalid argument)
    43 UNRESOLVED

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    We recommend this request be refused.

    We believe this test is correct as written. Before calling lseek() the
    test sets RLIMIT_FSIZE beyond where it seeks to and hence is not
    seeking beyond the maximum file size.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This request is refused. It really appears to be a support request.

    Problem Reporting System Options:

     

    Back   


Contact the Certification Authority