| | 1 | # Checking GLR Parsing: Regression Test -*- Autotest -*- |
| | 2 | # Copyright (C) 2002 Free Software Foundation, Inc. |
| | 3 | |
| | 4 | # This program is free software; you can redistribute it and/or modify |
| | 5 | # it under the terms of the GNU General Public License as published by |
| | 6 | # the Free Software Foundation; either version 2, or (at your option) |
| | 7 | # any later version. |
| | 8 | |
| | 9 | # This program is distributed in the hope that it will be useful, |
| | 10 | # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| | 11 | # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| | 12 | # GNU General Public License for more details. |
| | 13 | |
| | 14 | # You should have received a copy of the GNU General Public License |
| | 15 | # along with this program; if not, write to the Free Software |
| | 16 | # Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA |
| | 17 | # 02111-1307, USA. |
| | 18 | |
| | 19 | AT_BANNER([[GLR Regression Test #1.]]) |
| | 20 | |
| | 21 | AT_SETUP([Badly Collapsed GLR States]) |
| | 22 | |
| | 23 | AT_DATA_GRAMMAR([glr-regr1.y], |
| | 24 | [[/* Regression Test: Improper state compression */ |
| | 25 | /* Reported by Scott McPeak */ |
| | 26 | |
| | 27 | %{ |
| | 28 | #include <stdio.h> |
| | 29 | |
| | 30 | #define YYSTYPE int |
| | 31 | static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1); |
| | 32 | int yylex (void); |
| | 33 | int yyerror (char const *msg); |
| | 34 | %} |
| | 35 | |
| | 36 | |
| | 37 | %glr-parser |
| | 38 | |
| | 39 | |
| | 40 | /* -------- productions ------ */ |
| | 41 | %% |
| | 42 | |
| | 43 | StartSymbol: E { $$=0; } %merge <exprMerge> |
| | 44 | ; |
| | 45 | |
| | 46 | E: E 'P' E { $$=1; printf("E -> E 'P' E\n"); } %merge <exprMerge> |
| | 47 | | 'B' { $$=2; printf("E -> 'B'\n"); } %merge <exprMerge> |
| | 48 | ; |
| | 49 | |
| | 50 | |
| | 51 | |
| | 52 | /* ---------- C code ----------- */ |
| | 53 | %% |
| | 54 | |
| | 55 | static YYSTYPE exprMerge (YYSTYPE x0, YYSTYPE x1) |
| | 56 | { |
| | 57 | (void) x0; |
| | 58 | (void) x1; |
| | 59 | printf ("<OR>\n"); |
| | 60 | return 0; |
| | 61 | } |
| | 62 | |
| | 63 | int |
| | 64 | main (void) |
| | 65 | { |
| | 66 | return yyparse (); |
| | 67 | } |
| | 68 | |
| | 69 | int |
| | 70 | yyerror (char const *msg) |
| | 71 | { |
| | 72 | fprintf (stderr, "%s\n", msg); |
| | 73 | exit (4); |
| | 74 | } |
| | 75 | |
| | 76 | |
| | 77 | int |
| | 78 | yylex (void) |
| | 79 | { |
| | 80 | for (;;) |
| | 81 | { |
| | 82 | int ch = getchar (); |
| | 83 | if (ch == EOF) |
| | 84 | return 0; |
| | 85 | else if (ch == 'B' || ch == 'P') |
| | 86 | return ch; |
| | 87 | } |
| | 88 | } |
| | 89 | ]]) |
| | 90 | |
| | 91 | AT_CHECK([[bison -o glr-regr1.c glr-regr1.y]], 0, [], |
| | 92 | [glr-regr1.y: conflicts: 1 shift/reduce |
| | 93 | ]) |
| | 94 | AT_COMPILE([glr-regr1]) |
| | 95 | AT_CHECK([[echo BPBPB | ./glr-regr1]], 0, |
| | 96 | [[E -> 'B' |
| | 97 | E -> 'B' |
| | 98 | E -> E 'P' E |
| | 99 | E -> 'B' |
| | 100 | E -> E 'P' E |
| | 101 | E -> 'B' |
| | 102 | E -> E 'P' E |
| | 103 | E -> E 'P' E |
| | 104 | <OR> |
| | 105 | ]], []) |
| | 106 | |
| | 107 | AT_CLEANUP |
projects / bison.git / blame_incremental