| |
Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • ShopThe Open Brand -- Problem Reporting and Interpretations System |
|
Problem Report 2412 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 2412.
Report 2412 Actions
Problem Report Number 2412 Submitter's Classification Test Suite problem State Resolved Resolution Test Suite Deficiency (TSD) Problem Resolution ID TSD.X.1248 Raised 2004-08-04 08:59 Updated 2004-08-04 22:53 Published 2004-08-04 22:53 Product Standard Commands and Utilities V2 (UNIX 95) Certification Program The Open Brand certification program Test Suite VSC version 5.2.5 Test Identification POSIX.annexA/yacc 58, 85, 96, 106, 109, 110, 117, 118, 120, 130-135,
139-141, 145-147, 149, 150, 159-162, 180Problem Summary Missmatch of function definition and function pototypes for various yacc
tests.Problem Text C89 and C99 require that the parameters in a function definition match
the parameter list of the function prototype but is silent if the
compiler can treat this problem as an error. Thus, it is acceptable
for a conforming compiler to treat such missmatches as errors.
The prototype for yyerror according to the yacc standard is:
int yyerror(const char *s)
The following yacc tests use this incorrect function definition:
int yyerror()
{
...
}
If the C89 or C99 compiler produces an error for this mismatch then
these yacc tests fail for reasons unrelated to the desired test
assertion.
By inspection, yacc assertion 94 should also fail in a similar
fashion, But it is expected to fail for other reasons hence the test
passed.
The problem can occur for UNIX 95, UNIX 98 and UNIX 03.Test Output ***********************************************************************
/tset/POSIX.annexA/yacc/yacc_01.ex 58 Failed
Test Information:
Assertion #58 (C): The code file can be compiled and linked using a
standard compiler.
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 85 Failed
Test Information:
Assertion #85 (C): '%left' and '%right' declarators appear in order of
increasi...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[95]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_85_1'
diff of "out.stdout" and "yacc_out_85_1":
*** out.stdout Sat Jul 17 09:31:06 2004
--- yacc_out_85_1 Sat Jul 17 09:31:06 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ minus
+ 3
+ div
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[140]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_85_1'
diff of "out.stdout" and "yacc_out_85_1":
*** out.stdout Sat Jul 17 09:31:07 2004
--- yacc_out_85_1 Sat Jul 17 09:31:06 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ minus
+ 3
+ div
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 96 Failed
Test Information:
Assertion #96 (C): If the declarator is '%start', it declares the
nonterminal n...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[80]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_96_1'
diff of "out.stdout" and "yacc_out_96_1":
*** out.stdout Sat Jul 17 09:31:17 2004
--- yacc_out_96_1 Sat Jul 17 09:31:17 2004
***************
*** 0 ****
--- 1 ----
+ here
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 106 Failed
Test Information:
Assertion #106 (C): Rules using the vertical line are distinct rules.
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[68]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_106_1'
diff of "out.stdout" and "yacc_out_106_1":
*** out.stdout Sat Jul 17 09:31:28 2004
--- yacc_out_106_1 Sat Jul 17 09:31:28 2004
***************
*** 0 ****
--- 1 ----
+ A
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[93]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_106_2'
diff of "out.stdout" and "yacc_out_106_2":
*** out.stdout Sat Jul 17 09:31:28 2004
--- yacc_out_106_2 Sat Jul 17 09:31:28 2004
***************
*** 0 ****
--- 1 ----
+ B
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 109 Failed
Test Information:
Assertion #109 (C): A literal stands for itself without the quotation
marks.
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[71]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_109_1'
diff of "out.stdout" and "yacc_out_109_1":
*** out.stdout Sat Jul 17 09:31:31 2004
--- yacc_out_109_1 Sat Jul 17 09:31:31 2004
***************
*** 0 ****
--- 1 ----
+ hello
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 110 Failed
Test Information:
Assertion #110 (C): A semantic action returns a value.
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[73]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_110_1'
diff of "out.stdout" and "yacc_out_110_1":
*** out.stdout Sat Jul 17 09:31:33 2004
--- yacc_out_110_1 Sat Jul 17 09:31:33 2004
***************
*** 0 ****
--- 1 ----
+ 5
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 117 Failed
Test Information:
Assertion #117 (C): is the value returned by the component specified
by ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[76]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_117_1'
diff of "out.stdout" and "yacc_out_117_1":
*** out.stdout Sat Jul 17 09:31:40 2004
--- yacc_out_117_1 Sat Jul 17 09:31:40 2004
***************
*** 0 ****
--- 1 ----
+ 1 2 3
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 118 Failed
Test Information:
Assertion #118 (C): $<tag>number is the value returned by the
component specifie...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[79]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_118_1'
diff of "out.stdout" and "yacc_out_118_1":
*** out.stdout Sat Jul 17 09:31:41 2004
--- yacc_out_118_1 Sat Jul 17 09:31:41 2004
***************
*** 0 ****
--- 1 ----
+ 1 2 3
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 120 Failed
Test Information:
Assertion #120 (C): A grammar containing a rule with an action
appearing in the ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[114]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_120_1'
diff of "out.stdout" and "yacc_out_120_1":
*** out.stdout Sat Jul 17 09:31:44 2004
--- yacc_out_120_1 Sat Jul 17 09:31:44 2004
***************
*** 0 ****
--- 1,2 ----
+ A
+ B
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[161]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_120_1'
diff of "out.stdout" and "yacc_out_120_1":
*** out.stdout Sat Jul 17 09:31:44 2004
--- yacc_out_120_1 Sat Jul 17 09:31:44 2004
***************
*** 0 ****
--- 1,2 ----
+ A
+ B
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 130 Failed
Test Information:
Assertion #130 (C): If the grammar rule and the input symbol have
precedence and...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[89]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_130_1'
diff of "out.stdout" and "yacc_out_130_1":
*** out.stdout Sat Jul 17 09:31:53 2004
--- yacc_out_130_1 Sat Jul 17 09:31:53 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ minus
+ 3
+ div
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 131 Failed
Test Information:
Assertion #131 (C): If the grammar rule and the input symbol have
precedence and...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[88]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_131_1'
diff of "out.stdout" and "yacc_out_131_1":
*** out.stdout Sat Jul 17 09:31:54 2004
--- yacc_out_131_1 Sat Jul 17 09:31:54 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ minus
+ 3
+ div
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 132 Failed
Test Information:
Assertion #132 (C): If the grammar rule and the input symbol have
precedence and...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[88]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_132_1'
diff of "out.stdout" and "yacc_out_132_1":
*** out.stdout Sat Jul 17 09:31:56 2004
--- yacc_out_132_1 Sat Jul 17 09:31:56 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ 3
+ div
+ minus
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 133 Failed
Test Information:
Assertion #133 (C): If the grammar rule and the input symbol have
precedence and...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[89]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_133_1'
diff of "out.stdout" and "yacc_out_133_1":
*** out.stdout Sat Jul 17 09:31:57 2004
--- yacc_out_133_1 Sat Jul 17 09:31:57 2004
***************
*** 0 ****
--- 1,3 ----
+ 1
+ 2
+ error
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 134 Failed
Test Information:
Assertion #134 (C): If a shift/reduce conflict is not resolved using
precedence ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[88]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_134_1'
diff of "out.stdout" and "yacc_out_134_1":
*** out.stdout Sat Jul 17 09:31:58 2004
--- yacc_out_134_1 Sat Jul 17 09:31:58 2004
***************
*** 0 ****
--- 1,5 ----
+ 1
+ 2
+ 3
+ minus
+ div
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 135 Failed
Test Information:
Assertion #135 (C): A reduce/reduce conflict is resolved using a
reduction from ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[81]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_135_1'
diff of "out.stdout" and "yacc_out_135_1":
*** out.stdout Sat Jul 17 09:32:00 2004
--- yacc_out_135_1 Sat Jul 17 09:32:00 2004
***************
*** 0 ****
--- 1 ----
+ x
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 139 Failed
Test Information:
Assertion #139 (C): The value of the token error can be changed with
the %token ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[81]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_139_1'
diff of "out.stdout" and "yacc_out_139_1":
*** out.stdout Sat Jul 17 09:32:04 2004
--- yacc_out_139_1 Sat Jul 17 09:32:04 2004
***************
*** 0 ****
--- 1 ----
+ a
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_02.ex 140 Failed
Test Information:
Assertion #140 (C): When the parser is in a state where the action
associated wi...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_02.ex[73]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_140_1'
diff of "out.stdout" and "yacc_out_140_1":
*** out.stdout Sat Jul 17 09:32:05 2004
--- yacc_out_140_1 Sat Jul 17 09:32:05 2004
***************
*** 0 ****
--- 1 ----
+ error
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 141 Failed
Test Information:
Assertion #141 (C): If YYERROR is executed, the semantic action passes
control b...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[74]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_141_1'
diff of "out.stdout" and "yacc_out_141_1":
*** out.stdout Sat Jul 17 09:32:16 2004
--- yacc_out_141_1 Sat Jul 17 09:32:16 2004
***************
*** 0 ****
--- 1,2 ----
+ hi
+ done
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 145 Failed
Test Information:
Assertion #145 (C): If a syntax error has been detected and the parser
has not f...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[82]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_145_1'
diff of "out.stdout" and "yacc_out_145_1":
*** out.stdout Sat Jul 17 09:32:19 2004
--- yacc_out_145_1 Sat Jul 17 09:32:19 2004
***************
*** 0 ****
--- 1,7 ----
+ b 0
+ ok
+ error
+ b 1
+ error
+ b 0
+ ok
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 146 Failed
Test Information:
Assertion #146 (C): If a syntax error has been detected and the parser
has fully...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[82]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_146_1'
diff of "out.stdout" and "yacc_out_146_1":
*** out.stdout Sat Jul 17 09:32:20 2004
--- yacc_out_146_1 Sat Jul 17 09:32:20 2004
***************
*** 0 ****
--- 1,7 ----
+ b 0
+ ok
+ error
+ b 1
+ error
+ b 0
+ ok
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 147 Failed
Test Information:
Assertion #147 (C): If a syntax error has not been detected, the macro
function ...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[79]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_147_1'
diff of "out.stdout" and "yacc_out_147_1":
*** out.stdout Sat Jul 17 09:32:21 2004
--- yacc_out_147_1 Sat Jul 17 09:32:21 2004
***************
*** 0 ****
--- 1 ----
+ 0
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 149 Failed
Test Information:
Assertion #149 (C): If a syntax error is detected, and a previous
error was dete...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[80]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_149_1'
diff of "out.stdout" and "yacc_out_149_1":
*** out.stdout Sat Jul 17 09:32:24 2004
--- yacc_out_149_1 Sat Jul 17 09:32:24 2004
***************
*** 0 ****
--- 1 ----
+ error
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 150 Failed
Test Information:
Assertion #150 (C): If a syntax error is detected, and a previous
error was dete...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[81]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_150_1'
diff of "out.stdout" and "yacc_out_150_1":
*** out.stdout Sat Jul 17 09:32:25 2004
--- yacc_out_150_1 Sat Jul 17 09:32:25 2004
***************
*** 0 ****
--- 1 ----
+ error
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 159 Failed
Test Information:
Assertion #159 (C): The macro YYACCEPT causes the parser to return
with the valu...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[70]: ./a.out: not found.
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 160 Failed
Test Information:
Assertion #160 (C): The macro YYABORT causes the parser to return with
a nonzero...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 1; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[70]: ./a.out: not found.
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 161 Failed
Test Information:
Assertion #161 (C): values associated with the token returned by
yylex(), are as...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 5; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[71]: ./a.out: not found.
***********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 162 Failed
Test Information:
Assertion #162 (C): with a one character literal, the token is the
numeric value...
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 5; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[71]: ./a.out: not found.
**********************************************************************
***********************************************************************
/tset/POSIX.annexA/yacc/yacc_03.ex 180 Failed
Test Information:
Assertion #180 (C): The initial value of yydebug is zero.
Command failed: 'c89 y.tab.c >/dev/null 2>&1'
Expected exit code = 0; Received 127
Standard error isn't empty
Contents of out.stderr:
yacc_03.ex[70]: ./a.out: not found.
Standard output isn't the same as file 'yacc_out_180_1'
diff of "out.stdout" and "yacc_out_180_1":
*** out.stdout Sat Jul 17 09:32:53 2004
--- yacc_out_180_1 Sat Jul 17 09:32:53 2004
***************
*** 0 ****
--- 1 ----
+ 0
***********************************************************************Review Information
Review Type TSMA Review Start Date 2004-08-04 08:59 Last Updated 2004-08-04 19:14 Completed 2004-08-04 19:14 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 2004-08-04 18:14 Last Updated 2004-08-04 22:52 Completed 2004-08-04 22:52 Status Complete Review Resolution Test Suite Deficiency (TSD) Review Conclusion A test suite deficiency is granted.
Problem Reporting System Options:
- View Report 2412
- List All PRs
- Search Reports
- Email the System Administrator
- View the The Open Brand Interpretations Database User Manual
Contact the Certification Authority