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

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 2726 Details

Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges
This page provides all information on Problem Report 2726.

Report 2726 Actions

Problem Report Number 2726

Submitter's Classification Test Suite problem

State Resolved

Resolution Test Suite Deficiency (TSD)

Problem Resolution ID TSD.X.1425

Raised 2020-08-13 06:50

Updated 2020-08-13 14:51

Published 2020-08-13 14:51

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.annexA/yacc 85,96,97,106,109,110,117,118,120,130,131-135,139,140,
141,145-147,149,150,159,160-162,180

Specification Shell and Utilities Issue 6

Location in Spec ISO/IEC 9899:1999 Sections 7.1.2 and 7.1.4.

Linked Problem Reports 2725

Problem Summary The generated y.tab.c file is invalid because function declarations are
needed, even where user
provided implementations appear.

Problem Text This report covers these test cases:
/tset/POSIX.annexA/yacc/yacc_02.ex{85,96,97,106,109,110,117,118,120,130,
131,132,133,134,135,139,140}
/tset/POSIX.annexA/yacc/yacc_03.ex{141,145,146,147,149,150,159,160,161,1
62,180}

In the enumerated yacc test cases, the test case creates a yacc (?.y?)
file that includes definitions of the
functions yyerror() and yylex(). Here is an example from yacc_02.ex{85}:

cat << VSC-EOF > yacc_in_85_1.y %{
#include <stdio.h> %}
%token NUMBER %left '%'
%left '-'
%%
expr: expr '-' expr { printf("minus
"); }
| expr '%' expr { printf("div
"); }
| NUMBER {printf("%d
",$1); }
;
%%

int main()
{
yyparse();
return(0);
}
int yyerror(const char *s)
{
printf("error
");
return(0);
}
int yylex()
{
static int i;
switch ( i++ ) {
case 0: yylval = 1; return NUMBER; break;
case 3: return '%'; break;
case 2: yylval = 2; return NUMBER; break;
case 1: return '-'; break;
case 4: yylval = 3; return NUMBER; break;

default: return 0;
}
}
VSC-EOF

However, the generated source of yyparse and other routines y.tab.c
needs to make calls to yyerror() and
yylex(). This generated sources is inserted BEFORE the user provided C
source. Therefore, a forward
declaration is required in line with C99 requirements- and,
incidentally, with guidance in the online bison
manual.

Adding these two lines to the header section of the ?.y? file, just
after the "#include <stdio.h>" line, resolves
the compilation failures:

int yyerror(const char *s);
int yylex();

Test Output /tset/POSIX.annexA/yacc/yacc_02.ex{85}
200|3 15 21:48:48|TP Start
520|3 15 99703 1 1|Assertion #85 (C): '%left' and '%right' declarators
appear in order of increasi...
520|3 15 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 15 99703 4 2|Expected exit code = 0; Received 127
520|3 15 99703 4 3|Standard error isn't empty
520|3 15 99703 4 4|Contents of out.stderr:
520|3 15 99703 4 5|yacc_02.ex: line 1474: ./a.out: No such file or
directory
520|3 15 99703 4 5|Standard output isn't the same as file
'yacc_out_85_1'
520|3 15 99703 4 6|diff of "out.stdout" and "yacc_out_85_1":
520|3 15 99703 4 7|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 15 99703 4 7|*** out.stdout Tue Aug 4 21:48:48 2020
520|3 15 99703 4 8|Expected exit code = 0; Received 127
520|3 15 99703 4 8|--- yacc_out_85_1 Tue Aug 4 21:48:48 2020
520|3 15 99703 4 9|***************
520|3 15 99703 4 9|Standard error isn't empty
520|3 15 99703 4 10|*** 0 ****
520|3 15 99703 4 10|Contents of out.stderr:
520|3 15 99703 4 11|yacc_02.ex: line 1519: ./a.out: No such file or
directory
520|3 15 99703 4 11|--- 1,5 ----
520|3 15 99703 4 11|Standard output isn't the same as file
'yacc_out_85_1'
520|3 15 99703 4 12|+ 1
520|3 15 99703 4 12|diff of "out.stdout" and "yacc_out_85_1":
520|3 15 99703 4 13|*** out.stdout Tue Aug 4 21:48:48 2020
520|3 15 99703 4 13|+ 2
520|3 15 99703 4 14|+ minus
520|3 15 99703 4 14|--- yacc_out_85_1 Tue Aug 4 21:48:48 2020
520|3 15 99703 4 15|+ 3
520|3 15 99703 4 15|***************
520|3 15 99703 4 16|+ div
520|3 15 99703 4 16|*** 0 ****
520|3 15 99703 4 17|--- 1,5 ----
520|3 15 99703 4 18|+ 1
520|3 15 99703 4 19|+ 2
520|3 15 99703 4 20|+ minus
520|3 15 99703 4 21|+ 3
520|3 15 99703 4 22|+ div
220|3 15 1 21:48:48|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{96}
200|3 26 21:48:48|TP Start
520|3 26 99703 1 1|Assertion #96 (C): If the declarator is '%start', it
declares the nonterminal n...
520|3 26 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 26 99703 4 2|Expected exit code = 0; Received 127
520|3 26 99703 4 3|Standard error isn't empty
520|3 26 99703 4 4|Contents of out.stderr:
520|3 26 99703 4 5|yacc_02.ex: line 2174: ./a.out: No such file or
directory
520|3 26 99703 4 5|Standard output isn't the same as file
'yacc_out_96_1'
520|3 26 99703 4 6|diff of "out.stdout" and "yacc_out_96_1":
520|3 26 99703 4 7|*** out.stdout Tue Aug 4 21:48:48 2020
520|3 26 99703 4 8|--- yacc_out_96_1 Tue Aug 4 21:48:48 2020
520|3 26 99703 4 9|***************
520|3 26 99703 4 10|*** 0 ****
520|3 26 99703 4 11|--- 1 ----
520|3 26 99703 4 12|+ here
220|3 26 1 21:48:48|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{97}
200|3 27 21:48:48|TP Start
520|3 27 99703 1 1|Assertion #97 (C): If the declarator '%start' is not
used, the start symbol is ...
520|3 27 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 27 99703 4 2|Expected exit code = 0; Received 127
520|3 27 99703 4 3|Standard error isn't empty
520|3 27 99703 4 4|Contents of out.stderr:
520|3 27 99703 4 5|yacc_02.ex: line 2307: ./a.out: No such file or
directory
520|3 27 99703 4 5|Standard output isn't the same as file
'yacc_out_97_1'
520|3 27 99703 4 6|diff of "out.stdout" and "yacc_out_97_1":
520|3 27 99703 4 7|*** out.stdout Tue Aug 4 21:48:49 2020
520|3 27 99703 4 8|--- yacc_out_97_1 Tue Aug 4 21:48:48 2020
520|3 27 99703 4 9|***************
520|3 27 99703 4 10|*** 0 ****
520|3 27 99703 4 11|--- 1 ----
520|3 27 99703 4 12|+ here
220|3 27 1 21:48:49|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{106}
200|3 36 21:48:49|TP Start
520|3 36 99703 1 1|Assertion #106 (C): Rules using the vertical line are
distinct rules.
520|3 36 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 36 99703 4 2|Expected exit code = 0; Received 127
520|3 36 99703 4 3|Standard error isn't empty
520|3 36 99703 4 4|Contents of out.stderr:
520|3 36 99703 4 5|yacc_02.ex: line 2884: ./a.out: No such file or
directory
520|3 36 99703 4 5|Standard output isn't the same as file
'yacc_out_106_1'
520|3 36 99703 4 6|diff of "out.stdout" and "yacc_out_106_1":
520|3 36 99703 4 7|Expected exit code = 0; Received 127
520|3 36 99703 4 7|*** out.stdout Tue Aug 4 21:48:49 2020
520|3 36 99703 4 8|--- yacc_out_106_1 Tue Aug 4 21:48:49 2020
520|3 36 99703 4 8|Standard error isn't empty
520|3 36 99703 4 9|***************
520|3 36 99703 4 9|Contents of out.stderr:
520|3 36 99703 4 10|Standard output isn't the same as file
'yacc_out_106_2'
520|3 36 99703 4 10|*** 0 ****
520|3 36 99703 4 10|yacc_02.ex: line 2909: ./a.out: No such file or
directory
520|3 36 99703 4 11|--- 1 ----
520|3 36 99703 4 11|diff of "out.stdout" and "yacc_out_106_2":
520|3 36 99703 4 12|+ A
520|3 36 99703 4 12|*** out.stdout Tue Aug 4 21:48:49 2020
520|3 36 99703 4 13|--- yacc_out_106_2 Tue Aug 4 21:48:49 2020
520|3 36 99703 4 14|***************
520|3 36 99703 4 15|*** 0 ****
520|3 36 99703 4 16|--- 1 ----
520|3 36 99703 4 17|+ B
220|3 36 1 21:48:49|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{109}
200|3 39 21:48:49|TP Start
520|3 39 99703 1 1|Assertion #109 (C): A literal stands for itself
without the quotation marks.
520|3 39 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 39 99703 4 2|Expected exit code = 0; Received 127
520|3 39 99703 4 3|Standard error isn't empty
520|3 39 99703 4 4|Contents of out.stderr:
520|3 39 99703 4 5|yacc_02.ex: line 3094: ./a.out: No such file or
directory
520|3 39 99703 4 5|Standard output isn't the same as file
'yacc_out_109_1'
520|3 39 99703 4 6|diff of "out.stdout" and "yacc_out_109_1":
520|3 39 99703 4 7|*** out.stdout Tue Aug 4 21:48:49 2020
520|3 39 99703 4 8|--- yacc_out_109_1 Tue Aug 4 21:48:49 2020
520|3 39 99703 4 9|***************
520|3 39 99703 4 10|*** 0 ****
520|3 39 99703 4 11|--- 1 ----
520|3 39 99703 4 12|+ hello
220|3 39 1 21:48:49|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{110}
200|3 40 21:48:49|TP Start
520|3 40 99703 1 1|Assertion #110 (C): A semantic action returns a
value.
520|3 40 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 40 99703 4 2|Expected exit code = 0; Received 127
520|3 40 99703 4 3|Standard error isn't empty
520|3 40 99703 4 4|Contents of out.stderr:
520|3 40 99703 4 5|yacc_02.ex: line 3220: ./a.out: No such file or
directory
520|3 40 99703 4 5|Standard output isn't the same as file
'yacc_out_110_1'
520|3 40 99703 4 6|diff of "out.stdout" and "yacc_out_110_1":
520|3 40 99703 4 7|*** out.stdout Tue Aug 4 21:48:49 2020
520|3 40 99703 4 8|--- yacc_out_110_1 Tue Aug 4 21:48:49 2020
520|3 40 99703 4 9|***************
520|3 40 99703 4 10|*** 0 ****
520|3 40 99703 4 11|--- 1 ----
520|3 40 99703 4 12|+ 5
220|3 40 1 21:48:50|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{117}
200|3 47 21:48:50|TP Start
520|3 47 99703 1 1|Assertion #117 (C): is the value returned by the
component specified by ...
520|3 47 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 47 99703 4 2|Expected exit code = 0; Received 127
520|3 47 99703 4 3|Standard error isn't empty
520|3 47 99703 4 4|Contents of out.stderr:
520|3 47 99703 4 5|yacc_02.ex: line 3638: ./a.out: No such file or
directory
520|3 47 99703 4 5|Standard output isn't the same as file
'yacc_out_117_1'
520|3 47 99703 4 6|diff of "out.stdout" and "yacc_out_117_1":
520|3 47 99703 4 7|*** out.stdout Tue Aug 4 21:48:50 2020
520|3 47 99703 4 8|--- yacc_out_117_1 Tue Aug 4 21:48:50 2020
520|3 47 99703 4 9|***************
520|3 47 99703 4 10|*** 0 ****
520|3 47 99703 4 11|--- 1 ----
520|3 47 99703 4 12|+ 1 2 3
220|3 47 1 21:48:50|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{118}
200|3 48 21:48:50|TP Start
520|3 48 99703 1 1|Assertion #118 (C): $<tag>number is the value
returned by the component
specifie...
520|3 48 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 48 99703 4 2|Expected exit code = 0; Received 127
520|3 48 99703 4 3|Standard error isn't empty
520|3 48 99703 4 4|Contents of out.stderr:
520|3 48 99703 4 5|yacc_02.ex: line 3773: ./a.out: No such file or
directory
520|3 48 99703 4 5|Standard output isn't the same as file
'yacc_out_118_1'
520|3 48 99703 4 6|diff of "out.stdout" and "yacc_out_118_1":
520|3 48 99703 4 7|*** out.stdout Tue Aug 4 21:48:50 2020
520|3 48 99703 4 8|--- yacc_out_118_1 Tue Aug 4 21:48:50 2020
520|3 48 99703 4 9|***************
520|3 48 99703 4 10|*** 0 ****
520|3 48 99703 4 11|--- 1 ----
520|3 48 99703 4 12|+ 1 2 3
220|3 48 1 21:48:50|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{120}
200|3 50 21:48:50|TP Start
520|3 50 99703 1 1|Assertion #120 (C): A grammar containing a rule with
an action appearing in the
...
520|3 50 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 50 99703 4 2|Expected exit code = 0; Received 127
520|3 50 99703 4 3|Standard error isn't empty
520|3 50 99703 4 4|Contents of out.stderr:
520|3 50 99703 4 5|yacc_02.ex: line 4023: ./a.out: No such file or
directory
520|3 50 99703 4 5|Standard output isn't the same as file
'yacc_out_120_1'
520|3 50 99703 4 6|diff of "out.stdout" and "yacc_out_120_1":
520|3 50 99703 4 7|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 50 99703 4 7|*** out.stdout Tue Aug 4 21:48:50 2020
520|3 50 99703 4 8|Expected exit code = 0; Received 127
520|3 50 99703 4 8|--- yacc_out_120_1 Tue Aug 4 21:48:50 2020
520|3 50 99703 4 9|Standard error isn't empty
520|3 50 99703 4 9|***************
520|3 50 99703 4 10|*** 0 ****
520|3 50 99703 4 10|Contents of out.stderr:
520|3 50 99703 4 11|yacc_02.ex: line 4070: ./a.out: No such file or
directory
520|3 50 99703 4 11|--- 1,2 ----
520|3 50 99703 4 11|Standard output isn't the same as file
'yacc_out_120_1'
520|3 50 99703 4 12|diff of "out.stdout" and "yacc_out_120_1":
520|3 50 99703 4 12|+ A
520|3 50 99703 4 13|+ B
520|3 50 99703 4 13|*** out.stdout Tue Aug 4 21:48:50 2020
520|3 50 99703 4 14|--- yacc_out_120_1 Tue Aug 4 21:48:50 2020
520|3 50 99703 4 15|***************
520|3 50 99703 4 16|*** 0 ****
520|3 50 99703 4 17|--- 1,2 ----
520|3 50 99703 4 18|+ A
520|3 50 99703 4 19|+ B
220|3 50 1 21:48:51|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{130}
200|3 58 21:48:51|TP Start
520|3 58 99703 1 1|Assertion #130 (C): If the grammar rule and the input
symbol have precedence
and...
520|3 58 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 58 99703 4 2|Expected exit code = 0; Received 127
520|3 58 99703 4 3|Standard error isn't empty
520|3 58 99703 4 4|Contents of out.stderr:
520|3 58 99703 4 5|yacc_02.ex: line 4573: ./a.out: No such file or
directory
520|3 58 99703 4 5|Standard output isn't the same as file
'yacc_out_130_1'
520|3 58 99703 4 6|diff of "out.stdout" and "yacc_out_130_1":
520|3 58 99703 4 7|*** out.stdout Tue Aug 4 21:48:51 2020
520|3 58 99703 4 8|--- yacc_out_130_1 Tue Aug 4 21:48:51 2020
520|3 58 99703 4 9|***************
520|3 58 99703 4 10|*** 0 ****
520|3 58 99703 4 11|--- 1,5 ----
520|3 58 99703 4 12|+ 1
520|3 58 99703 4 13|+ 2
520|3 58 99703 4 14|+ minus
520|3 58 99703 4 15|+ 3
520|3 58 99703 4 16|+ div
220|3 58 1 21:48:51|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{131}
200|3 59 21:48:51|TP Start
520|3 59 99703 1 1|Assertion #131 (C): If the grammar rule and the input
symbol have precedence
and...
520|3 59 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 59 99703 4 2|Expected exit code = 0; Received 127
520|3 59 99703 4 3|Standard error isn't empty
520|3 59 99703 4 4|Contents of out.stderr:
520|3 59 99703 4 5|yacc_02.ex: line 4718: ./a.out: No such file or
directory
520|3 59 99703 4 5|Standard output isn't the same as file
'yacc_out_131_1'
520|3 59 99703 4 6|diff of "out.stdout" and "yacc_out_131_1":
520|3 59 99703 4 7|*** out.stdout Tue Aug 4 21:48:51 2020
520|3 59 99703 4 8|--- yacc_out_131_1 Tue Aug 4 21:48:51 2020
520|3 59 99703 4 9|***************
520|3 59 99703 4 10|*** 0 ****
520|3 59 99703 4 11|--- 1,5 ----
520|3 59 99703 4 12|+ 1
520|3 59 99703 4 13|+ 2
520|3 59 99703 4 14|+ minus
520|3 59 99703 4 15|+ 3
520|3 59 99703 4 16|+ div
220|3 59 1 21:48:51|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{132}
200|3 60 21:48:51|TP Start
520|3 60 99703 1 1|Assertion #132 (C): If the grammar rule and the input
symbol have precedence
and...
520|3 60 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 60 99703 4 2|Expected exit code = 0; Received 127
520|3 60 99703 4 3|Standard error isn't empty
520|3 60 99703 4 4|Contents of out.stderr:
520|3 60 99703 4 5|yacc_02.ex: line 4863: ./a.out: No such file or
directory
520|3 60 99703 4 5|Standard output isn't the same as file
'yacc_out_132_1'
520|3 60 99703 4 6|diff of "out.stdout" and "yacc_out_132_1":
520|3 60 99703 4 7|*** out.stdout Tue Aug 4 21:48:51 2020
520|3 60 99703 4 8|--- yacc_out_132_1 Tue Aug 4 21:48:51 2020
520|3 60 99703 4 9|***************
520|3 60 99703 4 10|*** 0 ****
520|3 60 99703 4 11|--- 1,5 ----
520|3 60 99703 4 12|+ 1
520|3 60 99703 4 13|+ 2
520|3 60 99703 4 14|+ 3
520|3 60 99703 4 15|+ div
520|3 60 99703 4 16|+ minus
220|3 60 1 21:48:51|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{133}
200|3 61 21:48:51|TP Start
520|3 61 99703 1 1|Assertion #133 (C): If the grammar rule and the input
symbol have precedence
and...
520|3 61 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 61 99703 4 2|Expected exit code = 0; Received 127
520|3 61 99703 4 3|Standard error isn't empty
520|3 61 99703 4 4|Contents of out.stderr:
520|3 61 99703 4 5|yacc_02.ex: line 5008: ./a.out: No such file or
directory
520|3 61 99703 4 5|Standard output isn't the same as file
'yacc_out_133_1'
520|3 61 99703 4 6|diff of "out.stdout" and "yacc_out_133_1":
520|3 61 99703 4 7|*** out.stdout Tue Aug 4 21:48:51 2020
520|3 61 99703 4 8|--- yacc_out_133_1 Tue Aug 4 21:48:51 2020
520|3 61 99703 4 9|***************
520|3 61 99703 4 10|*** 0 ****
520|3 61 99703 4 11|--- 1,3 ----
520|3 61 99703 4 12|+ 1
520|3 61 99703 4 13|+ 2
520|3 61 99703 4 14|+ error
220|3 61 1 21:48:51|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{134}
200|3 62 21:48:51|TP Start
520|3 62 99703 1 1|Assertion #134 (C): If a shift/reduce conflict is not
resolved using precedence ...
520|3 62 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 62 99703 4 2|Expected exit code = 0; Received 127
520|3 62 99703 4 3|Standard error isn't empty
520|3 62 99703 4 4|Contents of out.stderr:
520|3 62 99703 4 5|yacc_02.ex: line 5152: ./a.out: No such file or
directory
520|3 62 99703 4 5|Standard output isn't the same as file
'yacc_out_134_1'
520|3 62 99703 4 6|diff of "out.stdout" and "yacc_out_134_1":
520|3 62 99703 4 7|*** out.stdout Tue Aug 4 21:48:52 2020
520|3 62 99703 4 8|--- yacc_out_134_1 Tue Aug 4 21:48:52 2020
520|3 62 99703 4 9|***************
520|3 62 99703 4 10|*** 0 ****
520|3 62 99703 4 11|--- 1,5 ----
520|3 62 99703 4 12|+ 1
520|3 62 99703 4 13|+ 2
520|3 62 99703 4 14|+ 3
520|3 62 99703 4 15|+ minus
520|3 62 99703 4 16|+ div
220|3 62 1 21:48:52|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{135}
200|3 63 21:48:52|TP Start
520|3 63 99703 1 1|Assertion #135 (C): A reduce/reduce conflict is
resolved using a reduction from
...
520|3 63 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 63 99703 4 2|Expected exit code = 0; Received 127
520|3 63 99703 4 3|Standard error isn't empty
520|3 63 99703 4 4|Contents of out.stderr:
520|3 63 99703 4 5|yacc_02.ex: line 5287: ./a.out: No such file or
directory
520|3 63 99703 4 5|Standard output isn't the same as file
'yacc_out_135_1'
520|3 63 99703 4 6|diff of "out.stdout" and "yacc_out_135_1":
520|3 63 99703 4 7|*** out.stdout Tue Aug 4 21:48:52 2020
520|3 63 99703 4 8|--- yacc_out_135_1 Tue Aug 4 21:48:52 2020
520|3 63 99703 4 9|***************
520|3 63 99703 4 10|*** 0 ****
520|3 63 99703 4 11|--- 1 ----
520|3 63 99703 4 12|+ x
220|3 63 1 21:48:52|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{139}
200|3 67 21:48:52|TP Start
520|3 67 99703 1 1|Assertion #139 (C): The value of the token error can
be changed with the
%token ...
520|3 67 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 67 99703 4 2|Expected exit code = 0; Received 127
520|3 67 99703 4 3|Standard error isn't empty
520|3 67 99703 4 4|Contents of out.stderr:
520|3 67 99703 4 5|yacc_02.ex: line 5517: ./a.out: No such file or
directory
520|3 67 99703 4 5|Standard output isn't the same as file
'yacc_out_139_1'
520|3 67 99703 4 6|diff of "out.stdout" and "yacc_out_139_1":
520|3 67 99703 4 7|*** out.stdout Tue Aug 4 21:48:52 2020
520|3 67 99703 4 8|--- yacc_out_139_1 Tue Aug 4 21:48:52 2020
520|3 67 99703 4 9|***************
520|3 67 99703 4 10|*** 0 ****
520|3 67 99703 4 11|--- 1 ----
520|3 67 99703 4 12|+ a
220|3 67 1 21:48:52|FAIL

/tset/POSIX.annexA/yacc/yacc_02.ex{140}
200|3 68 21:48:52|TP Start
520|3 68 99703 1 1|Assertion #140 (C): When the parser is in a state
where the action associated
wi...
520|3 68 99703 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|3 68 99703 4 2|Expected exit code = 0; Received 127
520|3 68 99703 4 3|Standard error isn't empty
520|3 68 99703 4 4|Contents of out.stderr:
520|3 68 99703 4 5|yacc_02.ex: line 5644: ./a.out: No such file or
directory
520|3 68 99703 4 5|Standard output isn't the same as file
'yacc_out_140_1'
520|3 68 99703 4 6|diff of "out.stdout" and "yacc_out_140_1":
520|3 68 99703 4 7|*** out.stdout Tue Aug 4 21:48:52 2020
520|3 68 99703 4 8|--- yacc_out_140_1 Tue Aug 4 21:48:52 2020
520|3 68 99703 4 9|***************
520|3 68 99703 4 10|*** 0 ****
520|3 68 99703 4 11|--- 1 ----
520|3 68 99703 4 12|+ error
220|3 68 1 21:48:52|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{141}
200|0 1 21:47:17|TP Start
520|0 1 86769 1 1|Assertion #141 (C): If YYERROR is executed, the
semantic action passes control
b...
520|0 1 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 1 86769 4 2|Expected exit code = 0; Received 127
520|0 1 86769 4 3|Standard error isn't empty
520|0 1 86769 4 4|Contents of out.stderr:
520|0 1 86769 4 5|yacc_03.ex: line 274: ./a.out: No such file or
directory
520|0 1 86769 4 5|Standard output isn't the same as file
'yacc_out_141_1'
520|0 1 86769 4 6|diff of "out.stdout" and "yacc_out_141_1":
520|0 1 86769 4 7|*** out.stdout Tue Aug 4 21:47:17 2020
520|0 1 86769 4 8|--- yacc_out_141_1 Tue Aug 4 21:47:17 2020
520|0 1 86769 4 9|***************
520|0 1 86769 4 10|*** 0 ****
520|0 1 86769 4 11|--- 1,2 ----
520|0 1 86769 4 12|+ hi
520|0 1 86769 4 13|+ done
220|0 1 1 21:47:17|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{145}
200|0 4 21:47:17|TP Start
520|0 4 86769 1 1|Assertion #145 (C): If a syntax error has been
detected and the parser has not f...
520|0 4 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 4 86769 4 2|Expected exit code = 0; Received 127
520|0 4 86769 4 3|Standard error isn't empty
520|0 4 86769 4 4|Contents of out.stderr:
520|0 4 86769 4 5|yacc_03.ex: line 474: ./a.out: No such file or
directory
520|0 4 86769 4 5|Standard output isn't the same as file
'yacc_out_145_1'
520|0 4 86769 4 6|diff of "out.stdout" and "yacc_out_145_1":
520|0 4 86769 4 7|*** out.stdout Tue Aug 4 21:47:17 2020
520|0 4 86769 4 8|--- yacc_out_145_1 Tue Aug 4 21:47:17 2020
520|0 4 86769 4 9|***************
520|0 4 86769 4 10|*** 0 ****
520|0 4 86769 4 11|--- 1,7 ----
520|0 4 86769 4 12|+ b 0
520|0 4 86769 4 13|+ ok
520|0 4 86769 4 14|+ error
520|0 4 86769 4 15|+ b 1
520|0 4 86769 4 16|+ error
520|0 4 86769 4 17|+ b 0
520|0 4 86769 4 18|+ ok
220|0 4 1 21:47:17|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{146}
200|0 5 21:47:17|TP Start
520|0 5 86769 1 1|Assertion #146 (C): If a syntax error has been
detected and the parser has fully...
520|0 5 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 5 86769 4 2|Expected exit code = 0; Received 127
520|0 5 86769 4 3|Standard error isn't empty
520|0 5 86769 4 4|Contents of out.stderr:
520|0 5 86769 4 5|yacc_03.ex: line 611: ./a.out: No such file or
directory
520|0 5 86769 4 5|Standard output isn't the same as file
'yacc_out_146_1'
520|0 5 86769 4 6|diff of "out.stdout" and "yacc_out_146_1":
520|0 5 86769 4 7|*** out.stdout Tue Aug 4 21:47:18 2020
520|0 5 86769 4 8|--- yacc_out_146_1 Tue Aug 4 21:47:18 2020
520|0 5 86769 4 9|***************
520|0 5 86769 4 10|*** 0 ****
520|0 5 86769 4 11|--- 1,7 ----
520|0 5 86769 4 12|+ b 0
520|0 5 86769 4 13|+ ok
520|0 5 86769 4 14|+ error
520|0 5 86769 4 15|+ b 1
520|0 5 86769 4 16|+ error
520|0 5 86769 4 17|+ b 0
520|0 5 86769 4 18|+ ok
220|0 5 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{147}
200|0 6 21:47:18|TP Start
520|0 6 86769 1 1|Assertion #147 (C): If a syntax error has not been
detected, the macro function ...
520|0 6 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 6 86769 4 2|Expected exit code = 0; Received 127
520|0 6 86769 4 3|Standard error isn't empty
520|0 6 86769 4 4|Contents of out.stderr:
520|0 6 86769 4 5|yacc_03.ex: line 744: ./a.out: No such file or
directory
520|0 6 86769 4 5|Standard output isn't the same as file
'yacc_out_147_1'
520|0 6 86769 4 6|diff of "out.stdout" and "yacc_out_147_1":
520|0 6 86769 4 7|*** out.stdout Tue Aug 4 21:47:18 2020
520|0 6 86769 4 8|--- yacc_out_147_1 Tue Aug 4 21:47:18 2020
520|0 6 86769 4 9|***************
520|0 6 86769 4 10|*** 0 ****
520|0 6 86769 4 11|--- 1 ----
520|0 6 86769 4 12|+ 0
220|0 6 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{149}
200|0 8 21:47:18|TP Start
520|0 8 86769 1 1|Assertion #149 (C): If a syntax error is detected, and
a previous error was dete...
520|0 8 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 8 86769 4 2|Expected exit code = 0; Received 127
520|0 8 86769 4 3|Standard error isn't empty
520|0 8 86769 4 4|Contents of out.stderr:
520|0 8 86769 4 5|yacc_03.ex: line 912: ./a.out: No such file or
directory
520|0 8 86769 4 5|Standard output isn't the same as file
'yacc_out_149_1'
520|0 8 86769 4 6|diff of "out.stdout" and "yacc_out_149_1":
520|0 8 86769 4 7|*** out.stdout Tue Aug 4 21:47:18 2020
520|0 8 86769 4 8|--- yacc_out_149_1 Tue Aug 4 21:47:18 2020
520|0 8 86769 4 9|***************
520|0 8 86769 4 10|*** 0 ****
520|0 8 86769 4 11|--- 1 ----
520|0 8 86769 4 12|+ error
220|0 8 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{150}
200|0 9 21:47:18|TP Start
520|0 9 86769 1 1|Assertion #150 (C): If a syntax error is detected, and
a previous error was dete...
520|0 9 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 9 86769 4 2|Expected exit code = 0; Received 127
520|0 9 86769 4 3|Standard error isn't empty
520|0 9 86769 4 4|Contents of out.stderr:
520|0 9 86769 4 5|yacc_03.ex: line 1049: ./a.out: No such file or
directory
520|0 9 86769 4 5|Standard output isn't the same as file
'yacc_out_150_1'
520|0 9 86769 4 6|diff of "out.stdout" and "yacc_out_150_1":
520|0 9 86769 4 7|*** out.stdout Tue Aug 4 21:47:18 2020
520|0 9 86769 4 8|--- yacc_out_150_1 Tue Aug 4 21:47:18 2020
520|0 9 86769 4 9|***************
520|0 9 86769 4 10|*** 0 ****
520|0 9 86769 4 11|--- 1 ----
520|0 9 86769 4 12|+ error
220|0 9 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{159}
200|0 14 21:47:18|TP Start
520|0 14 86769 1 1|Assertion #159 (C): The macro YYACCEPT causes the
parser to return with the
valu...
520|0 14 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 14 86769 4 2|Expected exit code = 0; Received 127
520|0 14 86769 4 3|Standard error isn't empty
520|0 14 86769 4 4|Contents of out.stderr:
520|0 14 86769 4 5|yacc_03.ex: line 1323: ./a.out: No such file or
directory
220|0 14 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{160}
200|0 15 21:47:18|TP Start
520|0 15 86769 1 1|Assertion #160 (C): The macro YYABORT causes the
parser to return with a
nonzero...
520|0 15 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 15 86769 4 2|Expected exit code = 1; Received 127
520|0 15 86769 4 3|Standard error isn't empty
520|0 15 86769 4 4|Contents of out.stderr:
520|0 15 86769 4 5|yacc_03.ex: line 1446: ./a.out: No such file or
directory
220|0 15 1 21:47:18|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{161}
200|0 16 21:47:18|TP Start
520|0 16 86769 1 1|Assertion #161 (C): values associated with the token
returned by yylex(), are as...
520|0 16 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 16 86769 4 2|Expected exit code = 5; Received 127
520|0 16 86769 4 3|Standard error isn't empty
520|0 16 86769 4 4|Contents of out.stderr:
520|0 16 86769 4 5|yacc_03.ex: line 1570: ./a.out: No such file or
directory
220|0 16 1 21:47:19|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{162}
200|0 17 21:47:19|TP Start
520|0 17 86769 1 1|Assertion #162 (C): with a one character literal, the
token is the numeric value...
520|0 17 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 17 86769 4 2|Expected exit code = 5; Received 127
520|0 17 86769 4 3|Standard error isn't empty
520|0 17 86769 4 4|Contents of out.stderr:
520|0 17 86769 4 5|yacc_03.ex: line 1697: ./a.out: No such file or
directory
220|0 17 1 21:47:19|FAIL

/tset/POSIX.annexA/yacc/yacc_03.ex{180}
200|0 35 21:47:20|TP Start
520|0 35 86769 1 1|Assertion #180 (C): The initial value of yydebug is
zero.
520|0 35 86769 4 1|Command failed: 'c99 y.tab.c >/dev/null 2>&1'
520|0 35 86769 4 2|Expected exit code = 0; Received 127
520|0 35 86769 4 3|Standard error isn't empty
520|0 35 86769 4 4|Contents of out.stderr:
520|0 35 86769 4 5|yacc_03.ex: line 2820: ./a.out: No such file or
directory
520|0 35 86769 4 5|Standard output isn't the same as file
'yacc_out_180_1'
520|0 35 86769 4 6|diff of "out.stdout" and "yacc_out_180_1":
520|0 35 86769 4 7|*** out.stdout Tue Aug 4 21:47:20 2020
520|0 35 86769 4 8|--- yacc_out_180_1 Tue Aug 4 21:47:20 2020
520|0 35 86769 4 9|***************
520|0 35 86769 4 10|*** 0 ****
520|0 35 86769 4 11|--- 1 ----
520|0 35 86769 4 12|+ 0
220|0 35 1 21:47:20|FAIL

Review Information

Review Type TSMA Review

Start Date 2020-08-13 06:50

Last Updated 2020-08-13 12:21

Completed 2020-08-13 12:21

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-13 20:21

Last Updated 2020-08-13 14:51

Completed 2020-08-13 14:51

Status Complete

Review Resolution Test Suite Deficiency (TSD)

Review Conclusion A test suite deficiency is granted.

Problem Reporting System Options:

View Report 2726

List All PRs

Search Reports

Email the System Administrator

View the The Open Brand Interpretations Database User Manual

Contact the Certification Authority