* data/glr.c (yyprocessOneStack): Synchronize the shift for all

[bison.git] / tests / glr-regression.at

diff --git a/tests/glr-regression.at b/tests/glr-regression.at
index 6f6562c26b0502b2272c867d545f4b533898a130..e3bdd26b57c9f0a4ed985c3953b3c022b12cc83e 100644 (file)
--- a/tests/glr-regression.at
+++ b/tests/glr-regression.at
@@ -121,8 +121,6 @@ AT_DATA_GRAMMAR([glr-regr2a.y],
 
 %{
   #define YYSTYPE char const *
 
 %{
   #define YYSTYPE char const *

-  #define yyfalse 0
-  #define yytrue 1

 
   #include <ctype.h>
   #include <stdio.h>
 
   #include <ctype.h>
   #include <stdio.h>


@@ -168,14 +166,14 @@ var_printer: 'v'
 
 %%
 
 
 %%
 

-FILE *yyin = NULL;
+FILE *input = NULL;

 
 int
 yylex (void)
 {
   char buf[50];
   char *s;
 
 int
 yylex (void)
 {
   char buf[50];
   char *s;

-  switch (fscanf (yyin, " %1[a-z,]", buf)) {
+  switch (fscanf (input, " %1[a-z,]", buf)) {

   case 1:
     return buf[0];
   case EOF:
   case 1:
     return buf[0];
   case EOF:


@@ -183,7 +181,7 @@ yylex (void)
   default:
     break;
   }
   default:
     break;
   }

-  if (fscanf (yyin, "%49s", buf) != 1)
+  if (fscanf (input, "%49s", buf) != 1)

     return 0;
   if (sizeof buf - 1 <= strlen (buf))
     abort ();
     return 0;
   if (sizeof buf - 1 <= strlen (buf))
     abort ();


@@ -201,8 +199,8 @@ yyerror (char const *s)
 int
 main (int argc, char **argv)
 {
 int
 main (int argc, char **argv)
 {

-  yyin = stdin;
-  if (argc == 2 && !(yyin = fopen (argv[1], "r"))) return 3;
+  input = stdin;
+  if (argc == 2 && !(input = fopen (argv[1], "r"))) return 3;

   return yyparse ();
 }
 ]])
   return yyparse ();
 }
 ]])


@@ -290,7 +288,7 @@ static void yyerror(char const * s) {
   fprintf(stderr,"error: %s\n",s);
 }
 
   fprintf(stderr,"error: %s\n",s);
 }
 

-FILE *yyin = NULL;
+FILE *input = NULL;

 
 int P[] = { P1, P2 };
 int O[] = { O1, O2 };
 
 int P[] = { P1, P2 };
 int O[] = { O1, O2 };


@@ -299,7 +297,7 @@ int T[] = { T1, T2, T3, T4 };
 int yylex (void)
 {
   char inp[3];
 int yylex (void)
 {
   char inp[3];

-  if (fscanf (yyin, "%2s", inp) == EOF)
+  if (fscanf (input, "%2s", inp) == EOF)

     return 0;
   switch (inp[0])
     {
     return 0;
   switch (inp[0])
     {


@@ -311,8 +309,8 @@ int yylex (void)
 }
 
 int main(int argc, char* argv[]) {
 }
 
 int main(int argc, char* argv[]) {

-  yyin = stdin;
-  if (argc == 2 && !(yyin = fopen (argv[1], "r"))) return 3;
+  input = stdin;
+  if (argc == 2 && !(input = fopen (argv[1], "r"))) return 3;

   return yyparse ();
 }
 ]])
   return yyparse ();
 }
 ]])


@@ -338,7 +336,8 @@ AT_CLEANUP
 AT_SETUP([Duplicate representation of merged trees])
 
 AT_DATA_GRAMMAR([glr-regr4.y],
 AT_SETUP([Duplicate representation of merged trees])
 
 AT_DATA_GRAMMAR([glr-regr4.y],

-[[%union { char *ptr; }
+[[
+%union { char *ptr; }

 %type <ptr> S A A1 A2 B
 %glr-parser
 
 %type <ptr> S A A1 A2 B
 %glr-parser
 


@@ -347,7 +346,7 @@ AT_DATA_GRAMMAR([glr-regr4.y],
   #include <stdlib.h>
   #include <string.h>
   static char *merge (YYSTYPE, YYSTYPE);
   #include <stdlib.h>
   #include <string.h>
   static char *merge (YYSTYPE, YYSTYPE);

-  static char *make_value (char *, char *);
+  static char *make_value (char const *, char const *);

   static void yyerror (char const *);
   static int yylex (void);
 %}
   static void yyerror (char const *);
   static int yylex (void);
 %}


@@ -386,7 +385,7 @@ main (void)
 }
 
 static char *
 }
 
 static char *

-make_value (char *parent, char *child)
+make_value (char const *parent, char const *child)

 {
   char const format[] = "%s <- %s";
   char *value =
 {
   char const format[] = "%s <- %s";
   char *value =


@@ -433,7 +432,8 @@ AT_CLEANUP
 AT_SETUP([User destructor for unresolved GLR semantic value])
 
 AT_DATA_GRAMMAR([glr-regr5.y],
 AT_SETUP([User destructor for unresolved GLR semantic value])
 
 AT_DATA_GRAMMAR([glr-regr5.y],

-[[%{
+[[
+%{

   #include <stdio.h>
   #include <stdlib.h>
   static void yyerror (char const *);
   #include <stdio.h>
   #include <stdlib.h>
   static void yyerror (char const *);


@@ -503,7 +503,8 @@ AT_CLEANUP
 AT_SETUP([User destructor after an error during a split parse])
 
 AT_DATA_GRAMMAR([glr-regr6.y],
 AT_SETUP([User destructor after an error during a split parse])
 
 AT_DATA_GRAMMAR([glr-regr6.y],

-[[%{
+[[
+%{

   #include <stdio.h>
   #include <stdlib.h>
   static void yyerror (char const *);
   #include <stdio.h>
   #include <stdlib.h>
   static void yyerror (char const *);


@@ -556,3 +557,258 @@ AT_CHECK([[./glr-regr6]], 0,
 ])
 
 AT_CLEANUP
 ])
 
 AT_CLEANUP

+
+
+## ------------------------------------------------------------------------- ##
+## Duplicated user destructor for lookahead                                  ##
+## Thanks to Joel E. Denny for this test; see                                ##
+## <http://lists.gnu.org/archive/html/bison-patches/2005-08/msg00035.html>.  ##
+## ------------------------------------------------------------------------- ##
+
+AT_SETUP([Duplicated user destructor for lookahead])
+
+AT_DATA_GRAMMAR([glr-regr7.y],
+[[
+%{
+  #include <stdio.h>
+  #include <stdlib.h>
+  static void yyerror (char const *);
+  static int yylex (void);
+  #define YYSTACKEXPANDABLE 0
+%}
+
+%glr-parser
+%union { int *count; }
+%type <count> 'a'
+
+%destructor {
+  if ((*$$)++)
+    fprintf (stderr, "Destructor called on same value twice.\n");
+} 'a'
+
+%%
+
+start:
+    stack1 start
+  | stack2 start
+  | /* empty */
+  ;
+stack1: 'a' ;
+stack2: 'a' ;
+
+%%
+
+static int
+yylex (void)
+{
+  yylval.count = (int *) malloc (sizeof (int));
+  if (!yylval.count)
+    {
+      fprintf (stderr, "Test inconclusive.\n");
+      exit (EXIT_FAILURE);
+    }
+  *yylval.count = 0;
+  return 'a';
+}
+
+static void
+yyerror (char const *msg)
+{
+  fprintf (stderr, "%s\n", msg);
+}
+
+int
+main (void)
+{
+  return yyparse ();
+}
+]])
+
+AT_CHECK([[bison -o glr-regr7.c glr-regr7.y]], 0, [],
+[glr-regr7.y: conflicts: 2 reduce/reduce
+])
+AT_COMPILE([glr-regr7])
+
+AT_CHECK([[./glr-regr7]], 2, [],
+[memory exhausted
+])
+
+AT_CLEANUP
+
+
+## ------------------------------------------------------------------------- ##
+## Incorrect default location for empty right-hand sides.  Adapted from bug  ##
+## report by Claudia Hermann.                                               ##
+## See http://lists.gnu.org/archive/html/bug-bison/2005-10/msg00069.html and ##
+## http://lists.gnu.org/archive/html/bug-bison/2005-10/msg00072.html         ##
+## ------------------------------------------------------------------------- ##
+
+AT_SETUP([Incorrectly initialized location for empty right-hand side in GLR])
+
+AT_DATA_GRAMMAR([glr-regr8.y],
+[[
+%{
+  #include <stdio.h>
+  #include <stdlib.h>
+  static void yyerror (char const *);
+  static int yylex (void);
+  static void yyerror(const char *msg);
+%}
+
+%token T_CONSTANT
+%token T_PORT
+%token T_SIGNAL
+
+%glr-parser
+
+%%
+
+
+PortClause     : T_PORT InterfaceDeclaration T_PORT
+               { printf("%d/%d - %d/%d - %d/%d\n",
+                        @1.first_column, @1.last_column,
+                        @2.first_column, @2.last_column,
+                        @3.first_column, @3.last_column); }
+       ;
+
+InterfaceDeclaration   : OptConstantWord       %dprec 1
+       | OptSignalWord %dprec 2
+       ;
+
+OptConstantWord        : /* empty */
+       | T_CONSTANT
+       ;
+
+OptSignalWord  : /* empty */
+               { printf("empty: %d/%d\n", @$.first_column, @$.last_column); }
+       | T_SIGNAL
+       ;
+
+%%
+
+void yyerror(const char *msg)
+{
+  fprintf (stderr, "error\n");
+}
+
+static int lexIndex;
+
+int yylex (void)
+{
+  lexIndex += 1;
+  switch (lexIndex)
+    {
+    case 1:
+      yylloc.first_column = 1;
+      yylloc.last_column = 9;
+      return T_PORT;
+    case 2:
+      yylloc.first_column = 13;
+      yylloc.last_column = 17;
+      return T_PORT;
+    default:
+      return 0;
+    }
+}
+
+int
+main (void)
+{
+  yyparse();
+  return 0;
+}
+]])
+
+AT_CHECK([[bison -o glr-regr8.c glr-regr8.y]], 0, [],
+[glr-regr8.y: conflicts: 1 reduce/reduce
+])
+AT_COMPILE([glr-regr8])
+
+AT_CHECK([[./glr-regr8]], 0,
+[empty: 9/9
+1/9 - 9/9 - 13/17
+],
+[])
+
+AT_CLEANUP
+
+
+## ------------------------------------------------------------------------- ##
+## No users destructors if stack 0 deleted                                   ##
+## Thanks to Joel E. Denny for this test; see                                ##
+## <http://lists.gnu.org/archive/html/bison-patches/2005-09/msg00109.html>.  ##
+## ------------------------------------------------------------------------- ##
+
+AT_SETUP([No users destructors if stack 0 deleted])
+
+AT_DATA_GRAMMAR([glr-regr9.y],
+[[
+%{
+  #include <stdio.h>
+  #include <stdlib.h>
+  static void yyerror (char const *);
+  static int yylex (void);
+  #define YYSTACKEXPANDABLE 0
+  static int tokens = 0;
+  static int destructors = 0;
+%}
+
+%glr-parser
+%union { int dummy; }
+%type <dummy> 'a'
+
+%destructor {
+  destructors += 1;
+} 'a'
+
+%%
+
+start:
+  ambig0 'a' { destructors += 2; }
+  | ambig1 start { destructors += 1; }
+  | ambig2 start { destructors += 1; }
+  ;
+
+ambig0: 'a' ;
+ambig1: 'a' ;
+ambig2: 'a' ;
+
+%%
+
+static int
+yylex (void)
+{
+  tokens += 1;
+  return 'a';
+}
+
+static void
+yyerror (char const *msg)
+{
+  fprintf (stderr, "%s\n", msg);
+}
+
+int
+main (void)
+{
+  int exit_status;
+  exit_status = yyparse ();
+  if (tokens != destructors)
+    {
+      fprintf (stderr, "Tokens = %d, Destructors = %d\n", tokens, destructors);
+      return 1;
+    }
+  return !exit_status;
+}
+]])
+
+AT_CHECK([[bison -o glr-regr9.c glr-regr9.y]], 0, [],
+[glr-regr9.y: conflicts: 1 reduce/reduce
+])
+AT_COMPILE([glr-regr9])
+
+AT_CHECK([[./glr-regr9]], 0, [],
+[memory exhausted
+])
+
+AT_CLEANUP