23-fyi-fix-mid-rule-actions.patch

[Akim Demaille]

Index: ChangeLog
from  Akim Demaille  <address@hidden>
        Mid-rule actions are simply... ignored!
        
        * src/reader.c (readgram): Be sure to attach mid-rule actions to
        the empty-rule associated to the dummy symbol, not to the host
        rule.
        * tests/actions.at (Mid-rule actions): New.
        
        
Index: src/reader.c
--- src/reader.c Fri, 28 Dec 2001 17:07:08 +0100 akim
+++ src/reader.c Fri, 28 Dec 2001 17:33:16 +0100 akim
@@ -1357,6 +1357,11 @@
                p = symbol_list_new (sdummy);
                /* Attach its lineno to that of the host rule. */
                p->line = crule->line;
+               /* Move the action from the host rule to this one. */
+               p->action = crule->action;
+               p->action_line = crule->action_line;
+               crule->action = NULL;
+
                if (crule1)
                  crule1->next = p;
                else
Index: tests/Makefile.am
--- tests/Makefile.am Wed, 26 Dec 2001 19:05:39 +0100 akim
+++ tests/Makefile.am Fri, 28 Dec 2001 17:39:48 +0100 akim
@@ -25,7 +25,8 @@
 
 TESTSUITE_AT = \
        testsuite.at \
-       output.at sets.at reduce.at calc.at torture.at regression.at \
+       output.at sets.at reduce.at actions.at calc.at \
+        torture.at regression.at \
         semantic.at
 
 TESTSUITE = $(srcdir)/testsuite
Index: tests/calc.at
--- tests/calc.at Fri, 28 Dec 2001 15:59:49 +0100 akim
+++ tests/calc.at Fri, 28 Dec 2001 17:38:12 +0100 akim
@@ -351,17 +351,6 @@ m4_define([AT_CHECK_CALC],
 AT_CHECK([bison calc.y -o calc.c m4_bpatsubst([$1], [--yyerror-verbose])],
          [0], [], [])
 
-# Some compilers issue warnings we don't want to hear about.
-# Maybe some day we will have proper Autoconf macros to disable these
-# warnings, but this place is not the right one for that.
-# So let's keep only GCC warnings, which we know are sane.
-# Well, that's only part of the story: some assemblers issue warnings
-# which can be totally useless, and actually polluting.  It seems that
-# the best bet be to completely ignore stderr, but to pass -Werror
-# to GCC.
-if test "$GCC" = yes; then
-  CFLAGS="$CFLAGS -Werror"
-fi
 AT_CHECK([$CC $CFLAGS $CPPFLAGS calc.c -o calc], 0, [], [ignore])
 
 # Test the priorities.
Index: tests/testsuite.at
--- tests/testsuite.at Wed, 26 Dec 2001 19:05:39 +0100 akim
+++ tests/testsuite.at Fri, 28 Dec 2001 17:39:31 +0100 akim
@@ -28,6 +28,7 @@
 m4_include([output.at])
 m4_include([sets.at])
 m4_include([reduce.at])
+m4_include([actions.at])
 m4_include([calc.at])
 m4_include([torture.at])
 m4_include([regression.at])
Index: tests/actions.at
--- tests/actions.at Fri, 28 Dec 2001 17:48:47 +0100 akim
+++ tests/actions.at Fri, 28 Dec 2001 17:48:25 +0100 akim
@@ -0,0 +1,87 @@
+# Executing Actions.                               -*- Autotest -*-
+# Copyright 2001 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
+# the Free Software Foundation; either version 2, or (at your option)
+# any later version.
+
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+# GNU General Public License for more details.
+
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA
+# 02111-1307, USA.
+
+AT_BANNER([[User Actions.]])
+
+## ------------------ ##
+## Mid-rule actions.  ##
+## ------------------ ##
+
+AT_SETUP([Mid-rule actions])
+
+# Bison once forgot the mid-rule actions.  It was because the action
+# was attached to the host rule (the one with the mid-rule action),
+# instead of being attached to the empty rule dedicated to this
+# action.
+
+AT_DATA([[input.y]],
+[[%{
+#include <stdio.h>
+#include <stdlib.h>
+static void yyerror (const char *msg);
+static int yylex (void);
+%}
+%%
+exp:     { printf ("0\n"); }
+     '1' { printf ("1\n"); }
+     '2' { printf ("2\n"); }
+     '3' { printf ("3\n"); }
+     '4' { printf ("4\n"); }
+     '5' { printf ("5\n"); }
+     '6' { printf ("6\n"); }
+     '7' { printf ("7\n"); }
+     '8' { printf ("8\n"); }
+     '9' { printf ("9\n"); }
+   ;
+%%
+static int
+yylex (void)
+{
+  static const char *input = "123456789";
+  return *input++;
+}
+
+static void
+yyerror (const char *msg)
+{
+  fprintf (stderr, "%s\n", msg);
+}
+
+int
+main (void)
+{
+  return yyparse ();
+}
+]])
+
+AT_CHECK([bison input.y -d -v -o input.c])
+AT_CHECK([$CC $CFLAGS $CPPFLAGS input.c -o input], 0, [], [ignore])
+AT_CHECK([input], 0,
+[[0
+1
+2
+3
+4
+5
+6
+7
+8
+9
+]])
+
+AT_CLEANUP