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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 2393 Actions

    Problem Report Number 2393
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0658
    Raised 2004-06-08 04:48
    Updated 2004-06-09 14:18
    Published 2004-06-09 14:18
    Product Standard Commands and Utilities V3 (UNIX 98)
    Certification Program The Open Brand certification program
    Test Suite VSC version 5.2.4
    Test Identification POSIX.annexA/c89 99
    Specification Commands and Utilities Issue 5
    Problem Summary c89 #99 fails because it uses wrong #include
    Problem Text The ChangeLog for VSC 5.2.4 says:

    tset/POSIX.annexA/c89/c89.sh
    tp99 - changed test_file1.c to be compilable

    The code from 5.2.3:

    cat <<'EOF' > test_file1.c
    #include <test_file.h>
    main()
    {
    printf("done\n");
    }
    EOF

    changed to:

    cat <<'EOF' > test_file1.c
    #include <stdio.h>
    int main()
    {
    printf("done\n");
    }
    EOF

    The needed change was to add the int return value to the function but
    the #include was also changed. This assertion tests the -I option.
    When the code is changed to use <test_file.h>, the tests pass.
    Test Output
    ***********************************************************************
    /tset/POSIX.annexA/c89/c89.ex 99 Failed


    Test Information:
    Assertion #99 (C): GA54 for -I directory, -L directory and -o
    outfile
    options.
    exit status is zero
    no diagnostic message to the stderr
    exit status is zero
    no diagnostic message to the stderr


    ***********************************************************************

    Review Information

    Review Type TSMA Review
    Start Date 2004-06-08 04:48
    Last Updated 2004-06-08 19:11
    Completed 2004-06-08 19:11
    Status Complete
    Review Recommendation Rejected (REJ)
    Review Response When this test used the header <test_file.h> it could give false passes.
    If the compilation did not fail for the reason expected by the test,
    it would still fail because the header <test_file.h> was not found.

    There is a known grey area related to this test, for which a UNIX95 PIN
    has been issued (PIN.X.0262). An equivalent PIN could be issued for
    UNIX98, but the test results would have to show one successful
    compilation (as in PIN.X.0262), not two as in this request. The grey
    area concerns the case where the directory name specified as the -I
    option argument exists as a plain file. The other unexpected successful
    compilation shown here is most likely the one where the directory
    specified as the -I option argument is not accessible. The c89 utility
    is required to fail in this case under the rules stated in the "Utility
    Description Defaults" section of XCU5 under "CONSEQUENCES OF ERRORS":

    "The following apply to each utility, unless otherwise stated:

    [...]

    * If the requested action characterised by an option or
    option-argument cannot be performed, the utility will issue a
    diagnostic message to standard error and the exit status returned
    will be non-zero."

    In the case of c89 -I the "requested action characterised by" the option
    is for c89 to search for headers in the directories named in -I options.
    If a directory specified by a -I option-argument exists but has no
    search or read permission then c89 cannot perform this action.

    The reason there is a grey area for the plain file case is because c89
    can determine that a given header does not exist as
    "the_option_argument/header_name.h" and this could be considered to be a
    successful search with a "not found" outcome.

    Review Type SA Review
    Start Date 2004-06-08 18:11
    Last Updated 2004-06-09 05:35
    Completed 2004-06-09 05:35
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion The SA does not find the case made sufficient to conclude that the
    test is at fault. However as the TSMA states there is a related
    permanent interpretation PIN.X.0262 which has similar but not
    identical test output. The main difference is that the PIN has a
    single successful compilation whereas the test output provided has
    two. The TSMA has the concern that this may be indicative of a
    underlying problem in the implementation not related to the grey
    area,identified by the PIN. The SA suggest the applicant investigate
    the behavior of the implementation and if it is believed that the
    behavior is consistent with the PIN then reapply with and appropriate
    rational and to why the PIN is applicable.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority