tests/glr-regr1.at

   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: warning: 1 shift/reduce conflict
  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