X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/d9df47b656fd1757f1f36c8f3d823ca9ca5bfe91..6528a9915199761f9c9887d4152e5196a6c13449:/tests/glr-regression.at diff --git a/tests/glr-regression.at b/tests/glr-regression.at index cdd1de2b..d1d0b878 100644 --- a/tests/glr-regression.at +++ b/tests/glr-regression.at @@ -1,5 +1,7 @@ # Checking GLR Parsing: Regression Tests -*- Autotest -*- -# Copyright (C) 2002, 2003, 2005, 2006, 2007 Free Software Foundation, Inc. + +# Copyright (C) 2002-2003, 2005-2007, 2009-2012 Free Software +# Foundation, Inc. # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -93,7 +95,7 @@ yylex (void) } ]]) -AT_CHECK([[bison -o glr-regr1.c glr-regr1.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr1.c glr-regr1.y]], 0, [], [glr-regr1.y: conflicts: 1 shift/reduce ]) AT_COMPILE([glr-regr1]) @@ -211,7 +213,7 @@ main (int argc, char **argv) } ]]) -AT_CHECK([[bison -o glr-regr2a.c glr-regr2a.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr2a.c glr-regr2a.y]], 0, [], [glr-regr2a.y: conflicts: 2 shift/reduce ]) AT_COMPILE([glr-regr2a]) @@ -325,7 +327,7 @@ int main(int argc, char* argv[]) { } ]]) -AT_CHECK([[bison -o glr-regr3.c glr-regr3.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr3.c glr-regr3.y]], 0, [], [glr-regr3.y: conflicts: 1 shift/reduce, 1 reduce/reduce ]) AT_COMPILE([glr-regr3]) @@ -429,7 +431,7 @@ yyerror (char const *msg) } ]]) -AT_CHECK([[bison -o glr-regr4.c glr-regr4.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr4.c glr-regr4.y]], 0, [], [glr-regr4.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr4]) @@ -502,7 +504,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr5.c glr-regr5.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr5.c glr-regr5.y]], 0, [], [glr-regr5.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr5]) @@ -567,7 +569,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr6.c glr-regr6.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr6.c glr-regr6.y]], 0, [], [glr-regr6.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr6]) @@ -659,7 +661,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr7.c glr-regr7.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr7.c glr-regr7.y]], 0, [], [glr-regr7.y: conflicts: 2 reduce/reduce ]) AT_COMPILE([glr-regr7]) @@ -757,7 +759,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr8.c glr-regr8.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr8.c glr-regr8.y]], 0, [], [glr-regr8.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr8]) @@ -840,7 +842,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr9.c glr-regr9.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr9.c glr-regr9.y]], 0, [], [glr-regr9.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr9]) @@ -907,7 +909,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr10.c glr-regr10.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr10.c glr-regr10.y]], 0, [], [glr-regr10.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr10]) @@ -976,7 +978,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr11.c glr-regr11.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr11.c glr-regr11.y]], 0, [], [glr-regr11.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr11]) @@ -1107,7 +1109,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr12.c glr-regr12.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr12.c glr-regr12.y]], 0, [], [glr-regr12.y: conflicts: 1 shift/reduce, 1 reduce/reduce ]) AT_COMPILE([glr-regr12]) @@ -1236,7 +1238,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr13.c glr-regr13.y]], 0, [], []) +AT_BISON_CHECK([[-o glr-regr13.c glr-regr13.y]], 0, [], []) AT_COMPILE([glr-regr13]) AT_PARSER_CHECK([[./glr-regr13]], 0, @@ -1452,7 +1454,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr14.c glr-regr14.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr14.c glr-regr14.y]], 0, [], [glr-regr14.y: conflicts: 3 reduce/reduce ]) AT_COMPILE([glr-regr14]) @@ -1556,7 +1558,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr15.c glr-regr15.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr15.c glr-regr15.y]], 0, [], [glr-regr15.y: conflicts: 2 reduce/reduce ]) AT_COMPILE([glr-regr15]) @@ -1625,7 +1627,7 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr16.c glr-regr16.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr16.c glr-regr16.y]], 0, [], [glr-regr16.y: conflicts: 1 reduce/reduce ]) AT_COMPILE([glr-regr16]) @@ -1687,8 +1689,8 @@ empty2: ; static void yyerror (YYLTYPE *locp, char const *msg) { - fprintf (stderr, "Error at %d.%d-%d.%d: %s.\n", locp->first_line, - locp->first_column, locp->last_line, locp->last_column, msg); + fprintf (stderr, "%d.%d-%d.%d: %s.\n", locp->first_line, + locp->first_column, locp->last_line, locp->last_column, msg); } static int @@ -1712,13 +1714,13 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr17.c glr-regr17.y]], 0, [], +AT_BISON_CHECK([[-o glr-regr17.c glr-regr17.y]], 0, [], [glr-regr17.y: conflicts: 3 reduce/reduce ]) AT_COMPILE([glr-regr17]) AT_PARSER_CHECK([[./glr-regr17]], 0, [], -[Error at 1.1-2.3: syntax is ambiguous. +[1.1-2.3: syntax is ambiguous. ]) AT_CLEANUP @@ -1778,11 +1780,128 @@ main (void) } ]]) -AT_CHECK([[bison -o glr-regr18.c glr-regr18.y]], 1, [], -[glr-regr18.y:26.18-24: result type clash on merge function `merge': != +AT_BISON_CHECK([[-o glr-regr18.c glr-regr18.y]], 1, [], +[glr-regr18.y:26.18-24: result type clash on merge function 'merge': != glr-regr18.y:25.18-24: previous declaration -glr-regr18.y:27.13-19: result type clash on merge function `merge': != +glr-regr18.y:27.13-19: result type clash on merge function 'merge': != glr-regr18.y:26.18-24: previous declaration ]) AT_CLEANUP + + +## ------------------- ## +## Ambiguity reports. ## +## ------------------- ## + +AT_SETUP([Ambiguity reports]) + +AT_DATA_GRAMMAR([input.y], +[[ +%{ + #include + #include + static void yyerror (char const *); + static int yylex (void); +%} + +%debug +%glr-parser + +%% +start: + 'a' b 'c' d +| 'a' b 'c' d +; +b: 'b'; +d: /* nada. */; +%% + +static int +yylex (void) +{ + static char const input[] = "abc"; + static size_t toknum; + if (! (toknum < sizeof input)) + abort (); + return input[toknum++]; +} + +static void +yyerror (char const *msg) +{ + fprintf (stderr, "%s\n", msg); +} + +int +main (void) +{ + yydebug = 1; + return !!yyparse (); +} +]]) + +AT_BISON_CHECK([[-o input.c input.y]], 0, [], +[input.y: conflicts: 1 reduce/reduce +]) +AT_COMPILE([input]) + +AT_PARSER_CHECK([[./input]], 1, [], +[Starting parse +Entering state 0 +Reading a token: Next token is token 'a' () +Shifting token 'a' () +Entering state 1 +Reading a token: Next token is token 'b' () +Shifting token 'b' () +Entering state 3 +Reducing stack 0 by rule 3 (line 25): + $1 = token 'b' () +-> $$ = nterm b () +Entering state 4 +Reading a token: Next token is token 'c' () +Shifting token 'c' () +Entering state 6 +Reducing stack 0 by rule 4 (line 26): +-> $$ = nterm d () +Entering state 7 +Reading a token: Now at end of input. +Stack 0 Entering state 7 +Now at end of input. +Splitting off stack 1 from 0. +Reduced stack 1 by rule #2; action deferred. Now in state 2. +Stack 1 Entering state 2 +Now at end of input. +Reduced stack 0 by rule #1; action deferred. Now in state 2. +Merging stack 0 into stack 1. +Stack 1 Entering state 2 +Now at end of input. +Removing dead stacks. +Rename stack 1 -> 0. +On stack 0, shifting token $end () +Stack 0 now in state #5 +Ambiguity detected. +Option 1, + start -> + 'a' + b + 'c' + d + +Option 2, + start -> + 'a' + b + 'c' + d + +syntax is ambiguous +Cleanup: popping token $end () +Cleanup: popping unresolved nterm start () +Cleanup: popping nterm d () +Cleanup: popping token 'c' () +Cleanup: popping nterm b () +Cleanup: popping token 'a' () +]) + +AT_CLEANUP