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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 2725 Actions

    Problem Report Number 2725
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.1424
    Raised 2020-08-06 09:23
    Updated 2020-08-11 18:11
    Published 2020-08-11 18:11
    Product Standard Commands and Utilities V4 (UNIX 03)
    Certification Program The Open Brand certification program
    Test Suite VSC version 5.3.18NW
    Test Identification POSIX.sdo/make 141,
    POSIX.annexA/c99 98,
    POSIX.annexA/yacc 4,57,58,59,79,80,100,112,119
    Specification Shell and Utilities Issue 6
    Location in Spec ISO/IEC 9899:1999 Sections 7.1.2 and 7.1.4
    Problem Summary The C program generated by a large number of tests that use yacc
    violates the C99 standard and
    does not compile.
    Problem Text The affected test cases are:
    /tset/POSIX.sdo/make/make.ex{141}
    /tset/POSIX.annexA/c99/c99.ex{98}
    /tset/POSIX.annexA/yacc/yacc_01.ex{4,57,58,59}
    /tset/POSIX.annexA/yacc/yacc_02.ex{79,80,100,112,119}

    The issue is that these test cases all ultimately generate C language
    files that invoke yylex() and/or
    yyerror() functions, but that do not have declarations for those
    functions. This is a violation of the
    requirements of ISO/IEC 9899:1999, requirements that are now enforced by
    our compiler, so the
    generated C files do not compile.

    Including the following declarations in the ?.y? files will resolve the
    issue:

    int yylex(void);
    int yyerror (const char *);
    Test Output /tset/POSIX.sdo/make/make.ex{141}
    200|2 141 21:48:33|TP Start
    520|2 141 93832 1 1|Assertion #141 (C): GA10 or GA11 for the non-
    existing or outdated target tf.o
    when tf.y exists and there is no double-suffix inference rule for the
    target .y.o
    520|2 141 93832 6 1|make command failed
    520|2 141 93832 6 2|target file is not created
    520|2 141 93832 6 3|GetFileTimes failed
    220|2 141 1 21:48:33|FAIL

    /tset/POSIX.annexA/c99/c99.ex{98}
    200|4 98 21:49:52|TP Start
    520|4 98 1982 1 1|Assertion #98 (C):
    520|4 98 1982 2 1|Command failed: 'c99 -D"_XOPEN_SOURCE=600" -c y.tab.c'
    220|4 98 2 21:49:52|UNRESOLVED

    /tset/POSIX.annexA/yacc/yacc_01.ex{4}
    200|5 4 21:50:12|TP Start
    520|5 4 6669 1 1|Assertion #4 (C): yacc reads a context-free grammar and
    produces a C source
    520|5 4 6669 4 1|Expected exit code = 0; Received 1
    220|5 4 1 21:50:12|FAIL

    /tset/POSIX.annexA/yacc/yacc_01.ex{57}
    200|5 57 21:50:56|TP Start
    520|5 57 6669 1 1|Assertion #57 (C): The code to be executed shall be
    valid C-language code.
    520|5 57 6669 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|5 57 1 21:50:56|FAIL

    /tset/POSIX.annexA/yacc/yacc_01.ex{58}
    200|5 58 21:50:56|TP Start
    520|5 58 6669 1 1|Assertion #58 (C): The code file can be compiled and
    linked using a standard
    compiler.
    520|5 58 6669 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
    220|5 58 1 21:50:57|FAIL

    /tset/POSIX.annexA/yacc/yacc_01.ex{59}
    200|5 59 21:50:57|TP Start
    520|5 59 6669 1 1|Assertion #59 (C): Default versions of main() and
    yyerror() by using the -l y o...
    520|5 59 6669 4 1|Command failed: 'c99 y.tab.c -l y >/dev/null 2>&1'
    220|5 59 1 21:50:57|FAIL

    /tset/POSIX.annexA/yacc/yacc_02.ex{79}
    200|3 9 21:48:47|TP Start
    520|3 9 99703 1 1|Assertion #79 (C): If the first token is within angle
    brackets '<' and '>',then...
    520|3 9 99703 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|3 9 1 21:48:47|FAIL

    /tset/POSIX.annexA/yacc/yacc_02.ex{80}
    200|3 10 21:48:47|TP Start
    520|3 10 99703 1 1|Assertion #80 (C): If a tag is used, the tokens named
    on the line are to be of ...
    520|3 10 99703 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|3 10 1 21:48:47|FAIL

    /tset/POSIX.annexA/yacc/yacc_02.ex{100}
    200|3 30 21:48:49|TP Start
    520|3 30 99703 1 1|Assertion #100 (C): When a valid yacc grammar
    contains the construct %{
    520|3 30 99703 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|3 30 1 21:48:49|FAIL

    /tset/POSIX.annexA/yacc/yacc_02.ex{112}
    200|3 42 21:48:50|TP Start
    520|3 42 99703 1 1|Assertion #112 (C): The values of semantic actions
    are kept in objects of type
    Y...
    520|3 42 99703 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|3 42 1 21:48:50|FAIL

    /tset/POSIX.annexA/yacc/yacc_02.ex{119}
    200|3 49 21:48:50|TP Start
    520|3 49 99703 1 1|Assertion #119 (C): $<tag>$ imposes the type of the
    union member reference
    by ta...
    520|3 49 99703 4 1|Command failed: 'c99 -c y.tab.c >/dev/null 2>&1'
    220|3 49 1 21:48:50|FAIL

    Review Information

    Review Type TSMA Review
    Start Date 2020-08-06 09:23
    Last Updated 2020-08-11 17:36
    Completed 2020-08-11 17:36
    Status Complete
    Review Recommendation Test Suite Deficiency (TSD)
    Review Response This is accepted as a fault in the test suite.

    Review Type SA Review
    Start Date 2020-08-12 01:36
    Last Updated 2020-08-11 18:11
    Completed 2020-08-11 18:11
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion A test suite deficiency is granted.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority