Add support for an Autotest test suite for Bison.

[bison.git] / src / reduce.c

diff --git a/src/reduce.c b/src/reduce.c
index b440516e673f4a3ca213d6fa820740ccb8d0e333..16333e2052674db2b70490ecdbb69b6e042b5601 100644 (file)
--- a/src/reduce.c
+++ b/src/reduce.c
@@ -15,7 +15,8 @@ GNU General Public License for more details.
 
 You should have received a copy of the GNU General Public License
 along with Bison; see the file COPYING.  If not, write to
 
 You should have received a copy of the GNU General Public License
 along with Bison; see the file COPYING.  If not, write to

-the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
+the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
+Boston, MA 02111-1307, USA.  */

 
 
 /*
 
 
 /*


@@ -33,12 +34,14 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include "files.h"
 #include "gram.h"
 #include "machine.h"
 #include "files.h"
 #include "gram.h"
 #include "machine.h"

-#include "new.h"
+#include "alloc.h"
+#include "complain.h"

 
 
 extern char   **tags;          /* reader.c */
 extern int      verboseflag;   /* getargs.c */
 static int      statisticsflag;        /* XXXXXXX */
 
 
 extern char   **tags;          /* reader.c */
 extern int      verboseflag;   /* getargs.c */
 static int      statisticsflag;        /* XXXXXXX */

+extern int      fixed_outfiles;

 
 #ifndef TRUE
 #define TRUE   (1)
 
 #ifndef TRUE
 #define TRUE   (1)


@@ -61,21 +64,24 @@ static int      nuseful_productions, nuseless_productions,
                 nuseful_nonterminals, nuseless_nonterminals;
 
 
                 nuseful_nonterminals, nuseless_nonterminals;
 
 

-static void useless_nonterminals();
-static void inaccessable_symbols();
-static void reduce_grammar_tables();
-static void print_results();
-static void print_notices();
-void dump_grammar();
+extern void reduce_grammar PARAMS((void));
+static bool bits_equal PARAMS((BSet, BSet, int));
+static int nbits PARAMS((unsigned));
+static int bits_size PARAMS((BSet, int));
+static void useless_nonterminals PARAMS((void));
+static void inaccessable_symbols PARAMS((void));
+static void reduce_grammar_tables PARAMS((void));
+static void print_results PARAMS((void));
+static void print_notices PARAMS((void));
+
+#if 0                           /* XXX currently unused.  */
+static void dump_grammar PARAMS((void));
+#endif

 
 

-extern void fatals ();

 \f
 
 \f
 

-bool
-bits_equal (L, R, n)
-BSet L;
-BSet R;
-int n;
+static bool
+bits_equal (BSet L, BSet R, int n)

 {
   int i;
 
 {
   int i;
 


@@ -86,9 +92,8 @@ int n;
 }
 
 
 }
 
 

-int
-nbits (i)
-unsigned i;
+static int
+nbits (unsigned i)

 {
   int count = 0;
 
 {
   int count = 0;
 


@@ -100,10 +105,8 @@ unsigned i;
 }
 
 
 }
 
 

-int
-bits_size (S, n)
-BSet S;
-int n;
+static int
+bits_size (BSet S, int n)

 {
   int i, count = 0;
 
 {
   int i, count = 0;
 


@@ -113,7 +116,7 @@ int n;
 }
 \f
 void
 }
 \f
 void

-reduce_grammar ()
+reduce_grammar (void)

 {
   bool reduced;
 
 {
   bool reduced;
 


@@ -138,16 +141,17 @@ reduce_grammar ()
   print_notices();
 
   if (!BITISSET(N, start_symbol - ntokens))
   print_notices();
 
   if (!BITISSET(N, start_symbol - ntokens))

-    fatals(_("Start symbol %s does not derive any sentence"),
+    fatal (_("Start symbol %s does not derive any sentence"),

           tags[start_symbol]);
 
   reduce_grammar_tables();
           tags[start_symbol]);
 
   reduce_grammar_tables();

-  /* if (verboseflag) {
-     fprintf(foutput, "REDUCED GRAMMAR\n\n");
-     dump_grammar();
-     }
-     */
-
+#if 0
+  if (verboseflag)
+    {
+      fprintf(foutput, "REDUCED GRAMMAR\n\n");
+      dump_grammar();
+    }
+#endif

   /**/ statisticsflag = FALSE; /* someday getopts should handle this */
   if (statisticsflag == TRUE)
     fprintf(stderr,
   /**/ statisticsflag = FALSE; /* someday getopts should handle this */
   if (statisticsflag == TRUE)
     fprintf(stderr,


@@ -169,14 +173,12 @@ reduce_grammar ()
 \f
 /*
  * Another way to do this would be with a set for each production and then do
 \f
 /*
  * Another way to do this would be with a set for each production and then do

- * subset tests against N, but even for the C grammar the whole reducing
+ * subset tests against N0, but even for the C grammar the whole reducing

  * process takes only 2 seconds on my 8Mhz AT.
  */
 
 static bool
  * process takes only 2 seconds on my 8Mhz AT.
  */
 
 static bool

-useful_production (i, N)
-int  i;
-BSet N;
+useful_production (int i, BSet N0)

 {
   rule  r;
   short n;
 {
   rule  r;
   short n;


@@ -188,7 +190,7 @@ BSet N;
 
   for (r = &ritem[rrhs[i]]; *r > 0; r++)
     if (ISVAR(n = *r))
 
   for (r = &ritem[rrhs[i]]; *r > 0; r++)
     if (ISVAR(n = *r))

-      if (!BITISSET(N, n - ntokens))
+      if (!BITISSET(N0, n - ntokens))

        return FALSE;
   return TRUE;
 }
        return FALSE;
   return TRUE;
 }


@@ -197,7 +199,7 @@ BSet N;
 /* Remember that rules are 1-origin, symbols are 0-origin. */
 
 static void
 /* Remember that rules are 1-origin, symbols are 0-origin. */
 
 static void

-useless_nonterminals ()
+useless_nonterminals (void)

 {
   BSet Np, Ns;
   int  i, n;
 {
   BSet Np, Ns;
   int  i, n;


@@ -254,7 +256,7 @@ useless_nonterminals ()
 }
 \f
 static void
 }
 \f
 static void

-inaccessable_symbols ()
+inaccessable_symbols (void)

 {
   BSet  Vp, Vs, Pp;
   int   i, n;
 {
   BSet  Vp, Vs, Pp;
   int   i, n;


@@ -353,7 +355,7 @@ inaccessable_symbols ()
 }
 \f
 static void
 }
 \f
 static void

-reduce_grammar_tables ()
+reduce_grammar_tables (void)

 {
 /* This is turned off because we would need to change the numbers
    in the case statements in the actions file.  */
 {
 /* This is turned off because we would need to change the numbers
    in the case statements in the actions file.  */


@@ -482,7 +484,7 @@ reduce_grammar_tables ()
 }
 \f
 static void
 }
 \f
 static void

-print_results ()
+print_results (void)

 {
   int   i;
 /*  short j; JF unused */
 {
   int   i;
 /*  short j; JF unused */


@@ -531,8 +533,9 @@ print_results ()
     fprintf(foutput, "\n\n");
 }
 \f
     fprintf(foutput, "\n\n");
 }
 \f

-void
-dump_grammar ()
+#if 0                           /* XXX currently unused.  */
+static void
+dump_grammar (void)

 {
   int i;
   rule r;
 {
   int i;
   rule r;


@@ -566,13 +569,12 @@ dump_grammar ()
     }
   fprintf(foutput, "\n\n");
 }
     }
   fprintf(foutput, "\n\n");
 }

+#endif

 
 
 static void
 
 
 static void

-print_notices ()
+print_notices (void)

 {
 {

-  extern int fixed_outfiles;
-

   if (fixed_outfiles && nuseless_productions)
     fprintf(stderr, _("%d rules never reduced\n"), nuseless_productions);
 
   if (fixed_outfiles && nuseless_productions)
     fprintf(stderr, _("%d rules never reduced\n"), nuseless_productions);