/* Part of the bison parser generator,
- Copyright 1984, 1989, 2000 Free Software Foundation, Inc.
+ Copyright 1984, 1989, 2000, 2001 Free Software Foundation, Inc.
This file is part of Bison, the GNU Compiler Compiler.
do so. */
#include "system.h"
+#include "getargs.h"
+#include "reader.h"
#include "types.h"
#include "gram.h"
-#include "xalloc.h"
#include "nullable.h"
char *nullable = NULL;
+static void
+nullable_print (FILE *out)
+{
+ int i;
+ fputs ("NULLABLE\n", out);
+ for (i = ntokens; i < nsyms; i++)
+ fprintf (out, "\t%s: %s\n", tags[i], nullable[i] ? "yes" : "no");
+ fputs ("\n\n", out);
+}
+
void
set_nullable (void)
{
short *r;
short *s1;
short *s2;
- int ruleno;
- int symbol;
shorts *p;
short *squeue;
short *rcount;
shorts **rsets;
shorts *relts;
- char any_tokens;
- short *r1;
-#ifdef TRACE
- fprintf (stderr, _("Entering set_nullable"));
-#endif
+ if (trace_flag)
+ fprintf (stderr, "Entering set_nullable\n");
nullable = XCALLOC (char, nvars) - ntokens;
{
if (*r < 0)
{
- symbol = rlhs[-(*r++)];
+ int symbol = rule_table[-(*r++)].lhs;
if (symbol >= 0 && !nullable[symbol])
{
nullable[symbol] = 1;
}
else
{
- r1 = r;
- any_tokens = 0;
+ int any_tokens = 0;
+ int symbol;
+ short *r1 = r;
for (symbol = *r++; symbol > 0; symbol = *r++)
- {
- if (ISTOKEN (symbol))
- any_tokens = 1;
- }
+ if (ISTOKEN (symbol))
+ any_tokens = 1;
if (!any_tokens)
{
- ruleno = -symbol;
+ int ruleno = -symbol;
r = r1;
for (symbol = *r++; symbol > 0; symbol = *r++)
{
p = rsets[*s1++];
while (p)
{
- ruleno = p->value;
+ int ruleno = p->value;
p = p->next;
if (--rcount[ruleno] == 0)
{
- symbol = rlhs[ruleno];
+ int symbol = rule_table[ruleno].lhs;
if (symbol >= 0 && !nullable[symbol])
{
nullable[symbol] = 1;
XFREE (rcount);
XFREE (rsets + ntokens);
XFREE (relts);
+
+ if (trace_flag)
+ nullable_print (stderr);
}