/usr/src/usr.bin/yacc/reader.c

Bug Summary

File:	src/usr.bin/yacc/reader.c
Warning:	line 1702, column 6 Access to field 'value' results in a dereference of a null pointer
Annotated Source Code

Press '?' to see keyboard shortcuts
Show analyzer invocation
clang -cc1 -cc1 -triple amd64-unknown-openbsd7.0 -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name reader.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 1 -pic-is-pie -mframe-pointer=all -relaxed-aliasing -fno-rounding-math -mconstructor-aliases -munwind-tables -target-cpu x86-64 -target-feature +retpoline-indirect-calls -target-feature +retpoline-indirect-branches -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/usr/src/usr.bin/yacc/obj -resource-dir /usr/local/lib/clang/13.0.0 -internal-isystem /usr/local/lib/clang/13.0.0/include -internal-externc-isystem /usr/include -O2 -fdebug-compilation-dir=/usr/src/usr.bin/yacc/obj -ferror-limit 19 -fwrapv -D_RET_PROTECTOR -ret-protector -fgnuc-version=4.2.1 -vectorize-loops -vectorize-slp -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-valloc -fno-builtin-free -fno-builtin-strdup -fno-builtin-strndup -analyzer-output=html -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /home/ben/Projects/vmm/scan-build/2022-01-12-194120-40624-1 -x c /usr/src/usr.bin/yacc/reader.c
1/* $OpenBSD: reader.c,v 1.34 2017/05/25 20:11:03 tedu Exp $	 */
2/* $NetBSD: reader.c,v 1.5 1996/03/19 03:21:43 jtc Exp $	 */

4/*
* Copyright (c) 1989 The Regents of the University of California.
* All rights reserved.
*
* This code is derived from software contributed to Berkeley by
* Robert Paul Corbett.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* 1. Redistributions of source code must retain the above copyright
*    notice, this list of conditions and the following disclaimer.
* 2. Redistributions in binary form must reproduce the above copyright
*    notice, this list of conditions and the following disclaimer in the
*    documentation and/or other materials provided with the distribution.
* 3. Neither the name of the University nor the names of its contributors
*    may be used to endorse or promote products derived from this software
*    without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
* ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
* ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
* FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
* DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
* OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
* HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
* LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
* OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
* SUCH DAMAGE.
*/

36#include <limits.h>
37#include "defs.h"

39/* The line size must be a positive integer.  One hundred was chosen	 */
40/* because few lines in Yacc input grammars exceed 100 characters.	 */
41/* Note that if a line exceeds LINESIZE characters, the line buffer	 */
42/* will be expanded to accommodate it.					 */

44#define LINESIZE100 100

46char *cache;
47int cinc, cache_size;

49int ntags, tagmax;
50char **tag_table;

52char saw_eof, unionized;
53char *cptr, *line;
54int linesize;

56bucket *goal;
57int prec;
58int gensym;
59char last_was_action;

61int maxitems;
62bucket **pitem;

64int maxrules;
65bucket **plhs;

67int name_pool_size;
68char *name_pool;

70void cachec(int);
71void get_line(void);
72char *dup_line(void);
73void skip_comment(void);
74int nextc(void);
75int keyword(void);
76void copy_ident(void);
77void copy_text(void);
78void copy_union(void);
79bucket *get_literal(void);
80int is_reserved(char *);
81bucket *get_name(void);
82int get_number(void);
83char *get_tag(void);
84void declare_tokens(int);
85void declare_types(void);
86void declare_start(void);
87void handle_expect(void);
88void read_declarations(void);
89void initialize_grammar(void);
90void expand_items(void);
91void expand_rules(void);
92void advance_to_start(void);
93void start_rule(bucket *, int);
94void end_rule(void);
95void insert_empty_rule(void);
96void add_symbol(void);
97void copy_action(void);
98int mark_symbol(void);
99void read_grammar(void);
100void free_tags(void);
101void pack_names(void);
102void check_symbols(void);
103void pack_symbols(void);
104void pack_grammar(void);
105void print_grammar(void);

107char line_format[] = "#line %d \"%s\"\n";

109void
110cachec(int c)
111{
assert(cinc >= 0)((cinc >= 0) ? (void)0 : __assert2("/usr/src/usr.bin/yacc/reader.c"
, 112, __func__, "cinc >= 0"));
if (cinc >= cache_size) {
cache_size += 256;
cache = realloc(cache, cache_size);
if (cache == NULL((void *)0))
	no_space();
}
cache[cinc] = c;
++cinc;
121}


124void
125get_line(void)
126{
FILE *f = input_file;
int c, i;

if (saw_eof || (c = getc(f)(!__isthreaded ? (--(f)->_r < 0 ? __srget(f) : (int)(*(
f)->_p++)) : (getc)(f))) == EOF(-1)) {
if (line) {
	free(line);
	line = 0;
}
cptr = 0;
saw_eof = 1;
return;
}
if (line == NULL((void *)0) || linesize != (LINESIZE100 + 1)) {
free(line);
linesize = LINESIZE100 + 1;
line = malloc(linesize);
if (line == NULL((void *)0))
	no_space();
}
i = 0;
++lineno;
for (;;) {
line[i] = c;
if (c == '\n') {
	cptr = line;
	return;
}
if (++i >= linesize) {
	linesize += LINESIZE100;
	line = realloc(line, linesize);
	if (line == NULL((void *)0))
		no_space();
}
c = getc(f)(!__isthreaded ? (--(f)->_r < 0 ? __srget(f) : (int)(*(
f)->_p++)) : (getc)(f));
if (c == EOF(-1)) {
	line[i] = '\n';
	saw_eof = 1;
	cptr = line;
	return;
}
}
168}


171char *
172dup_line(void)
173{
char *p, *s, *t;

if (line == NULL((void *)0))
return (0);
s = line;
while (*s != '\n')
++s;
p = malloc(s - line + 1);
if (p == NULL((void *)0))
no_space();

s = line;
t = p;
while ((*t++ = *s++) != '\n')
continue;
return (p);
190}


193void
194skip_comment(void)
195{
char *s;
int st_lineno = lineno;
char *st_line = dup_line();
char *st_cptr = st_line + (cptr - line);

s = cptr + 2;
for (;;) {
if (*s == '*' && s[1] == '/') {
	cptr = s + 2;
	free(st_line);
	return;
}
if (*s == '\n') {
	get_line();
	if (line == NULL((void *)0))
		unterminated_comment(st_lineno, st_line, st_cptr);
	s = cptr;
} else
	++s;
}
216}


219int
220nextc(void)
221{
char *s;

if (line == NULL((void *)0)) {
get_line();
if (line == NULL((void *)0))
	return (EOF(-1));
}
s = cptr;
for (;;) {
switch (*s) {
case '\n':
	get_line();
	if (line == NULL((void *)0))
		return (EOF(-1));
	s = cptr;
	break;

case ' ':
case '\t':
case '\f':
case '\r':
case '\v':
case ',':
case ';':
	++s;
	break;

case '\\':
	cptr = s;
	return ('%');

case '/':
	if (s[1] == '*') {
		cptr = s;
		skip_comment();
		s = cptr;
		break;
	} else if (s[1] == '/') {
		get_line();
		if (line == NULL((void *)0))
			return (EOF(-1));
		s = cptr;
		break;
	}
	/* fall through */

default:
	cptr = s;
	return ((unsigned char) *s);
}
}
273}


276int
277keyword(void)
278{
int c;
char *t_cptr = cptr;

c = (unsigned char) *++cptr;
if (isalpha(c)) {
cinc = 0;
for (;;) {
	if (isalpha(c)) {
		if (isupper(c))
			c = tolower(c);
		cachec(c);
	} else if (isdigit(c) || c == '_' || c == '.' || c == '$')
		cachec(c);
	else
		break;
	c = (unsigned char) *++cptr;
}
cachec(NUL'\0');

if (strcmp(cache, "token") == 0 || strcmp(cache, "term") == 0)
	return (TOKEN0);
if (strcmp(cache, "type") == 0)
	return (TYPE6);
if (strcmp(cache, "left") == 0)
	return (LEFT1);
if (strcmp(cache, "right") == 0)
	return (RIGHT2);
if (strcmp(cache, "nonassoc") == 0 || strcmp(cache, "binary") == 0)
	return (NONASSOC3);
if (strcmp(cache, "start") == 0)
	return (START7);
if (strcmp(cache, "union") == 0)
	return (UNION8);
if (strcmp(cache, "ident") == 0)
	return (IDENT9);
if (strcmp(cache, "expect") == 0)
	return (EXPECT10);
} else {
++cptr;
if (c == '{')
	return (TEXT5);
if (c == '%' || c == '\\')
	return (MARK4);
if (c == '<')
	return (LEFT1);
if (c == '>')
	return (RIGHT2);
if (c == '0')
	return (TOKEN0);
if (c == '2')
	return (NONASSOC3);
}
syntax_error(lineno, line, t_cptr);
/* NOTREACHED */
return (0);
334}


337void
338copy_ident(void)
339{
int c;
FILE *f = output_file;

c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (c != '"')
syntax_error(lineno, line, cptr);
++outline;
fprintf(f, "#ident \"");
for (;;) {
c = (unsigned char) *++cptr;
if (c == '\n') {
	fprintf(f, "\"\n");
	return;
}
putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
if (c == '"') {
	putc('\n', f)(!__isthreaded ? __sputc('\n', f) : (putc)('\n', f));
	++cptr;
	return;
}
}
363}


366void
367copy_text(void)
368{
int c;
int quote;
FILE *f = text_file;
int need_newline = 0;
int t_lineno = lineno;
char *t_line = dup_line();
char *t_cptr = t_line + (cptr - line - 2);

if (*cptr == '\n') {
get_line();
if (line == NULL((void *)0))
	unterminated_text(t_lineno, t_line, t_cptr);
}
if (!lflag)
fprintf(f, line_format, lineno, input_file_name);

385loop:
c = (unsigned char) *cptr++;
switch (c) {
case '\n':
389next_line:
putc('\n', f)(!__isthreaded ? __sputc('\n', f) : (putc)('\n', f));
need_newline = 0;
get_line();
if (line)
	goto loop;
unterminated_text(t_lineno, t_line, t_cptr);

case '\'':
case '"': {
int s_lineno = lineno;
char *s_line = dup_line();
char *s_cptr = s_line + (cptr - line - 1);

quote = c;
putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
for (;;) {
	c = (unsigned char) *cptr++;
	putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
	if (c == quote) {
		need_newline = 1;
		free(s_line);
		goto loop;
	}
	if (c == '\n')
		unterminated_string(s_lineno, s_line, s_cptr);
	if (c == '\\') {
		c = (unsigned char) *cptr++;
		putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_string(s_lineno, s_line, s_cptr);
		}
	}
}
}

case '/':
putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
need_newline = 1;
c = (unsigned char) *cptr;
if (c == '/') {
	putc('*', f)(!__isthreaded ? __sputc('*', f) : (putc)('*', f));
	while ((c = (unsigned char) *++cptr) != '\n') {
		if (c == '*' && cptr[1] == '/')
			fprintf(f, "* ");
		else
			putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
	}
	fprintf(f, "*/");
	goto next_line;
}
if (c == '*') {
	int c_lineno = lineno;
	char *c_line = dup_line();
	char *c_cptr = c_line + (cptr - line - 1);

	putc('*', f)(!__isthreaded ? __sputc('*', f) : (putc)('*', f));
	++cptr;
	for (;;) {
		c = (unsigned char) *cptr++;
		putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
		if (c == '*' && *cptr == '/') {
			putc('/', f)(!__isthreaded ? __sputc('/', f) : (putc)('/', f));
			++cptr;
			free(c_line);
			goto loop;
		}
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_comment(c_lineno, c_line, c_cptr);
		}
	}
}
need_newline = 1;
goto loop;

case '%':
case '\\':
if (*cptr == '}') {
	if (need_newline)
		putc('\n', f)(!__isthreaded ? __sputc('\n', f) : (putc)('\n', f));
	++cptr;
	free(t_line);
	return;
}
/* fall through */

default:
putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
need_newline = 1;
goto loop;
}
484}


487void
488copy_union(void)
489{
int c, quote, depth;
int u_lineno = lineno;
char *u_line = dup_line();
char *u_cptr = u_line + (cptr - line - 6);

if (unionized)
over_unionized(cptr - 6);
unionized = 1;

if (!lflag)
fprintf(text_file, line_format, lineno, input_file_name);

fprintf(text_file, "#ifndef YYSTYPE_DEFINED\n");
fprintf(text_file, "#define YYSTYPE_DEFINED\n");
fprintf(text_file, "typedef union");
if (dflag) {
fprintf(union_file, "#ifndef YYSTYPE_DEFINED\n");
fprintf(union_file, "#define YYSTYPE_DEFINED\n");
fprintf(union_file, "typedef union");
}

depth = 0;
512loop:
c = (unsigned char) *cptr++;
putc(c, text_file)(!__isthreaded ? __sputc(c, text_file) : (putc)(c, text_file)
);
if (dflag)
putc(c, union_file)(!__isthreaded ? __sputc(c, union_file) : (putc)(c, union_file
));
switch (c) {
case '\n':
519next_line:
get_line();
if (line == NULL((void *)0))
	unterminated_union(u_lineno, u_line, u_cptr);
goto loop;

case '{':
++depth;
goto loop;

case '}':
if (--depth == 0) {
	fprintf(text_file, " YYSTYPE;\n");
	fprintf(text_file, "#endif /* YYSTYPE_DEFINED */\n");
	free(u_line);
	return;
}
goto loop;

case '\'':
case '"': {
int s_lineno = lineno;
char *s_line = dup_line();
char *s_cptr = s_line + (cptr - line - 1);

quote = c;
for (;;) {
	c = (unsigned char) *cptr++;
	putc(c, text_file)(!__isthreaded ? __sputc(c, text_file) : (putc)(c, text_file)
);
	if (dflag)
		putc(c, union_file)(!__isthreaded ? __sputc(c, union_file) : (putc)(c, union_file
));
	if (c == quote) {
		free(s_line);
		goto loop;
	}
	if (c == '\n')
		unterminated_string(s_lineno, s_line, s_cptr);
	if (c == '\\') {
		c = (unsigned char) *cptr++;
		putc(c, text_file)(!__isthreaded ? __sputc(c, text_file) : (putc)(c, text_file)
);
		if (dflag)
			putc(c, union_file)(!__isthreaded ? __sputc(c, union_file) : (putc)(c, union_file
));
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_string(s_lineno,
				    s_line, s_cptr);
		}
	}
}
}

case '/':
c = (unsigned char) *cptr;
if (c == '/') {
	putc('*', text_file)(!__isthreaded ? __sputc('*', text_file) : (putc)('*', text_file
));
	if (dflag)
		putc('*', union_file)(!__isthreaded ? __sputc('*', union_file) : (putc)('*', union_file
));
	while ((c = (unsigned char) *++cptr) != '\n') {
		if (c == '*' && cptr[1] == '/') {
			fprintf(text_file, "* ");
			if (dflag)
				fprintf(union_file, "* ");
		} else {
			putc(c, text_file)(!__isthreaded ? __sputc(c, text_file) : (putc)(c, text_file)
);
			if (dflag)
				putc(c, union_file)(!__isthreaded ? __sputc(c, union_file) : (putc)(c, union_file
));
		}
	}
	fprintf(text_file, "*/\n");
	if (dflag)
		fprintf(union_file, "*/\n");
	goto next_line;
}
if (c == '*') {
	int c_lineno = lineno;
	char *c_line = dup_line();
	char *c_cptr = c_line + (cptr - line - 1);

	putc('*', text_file)(!__isthreaded ? __sputc('*', text_file) : (putc)('*', text_file
));
	if (dflag)
		putc('*', union_file)(!__isthreaded ? __sputc('*', union_file) : (putc)('*', union_file
));
	++cptr;
	for (;;) {
		c = (unsigned char) *cptr++;
		putc(c, text_file)(!__isthreaded ? __sputc(c, text_file) : (putc)(c, text_file)
);
		if (dflag)
			putc(c, union_file)(!__isthreaded ? __sputc(c, union_file) : (putc)(c, union_file
));
		if (c == '*' && *cptr == '/') {
			putc('/', text_file)(!__isthreaded ? __sputc('/', text_file) : (putc)('/', text_file
));
			if (dflag)
				putc('/', union_file)(!__isthreaded ? __sputc('/', union_file) : (putc)('/', union_file
));
			++cptr;
			free(c_line);
			goto loop;
		}
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_comment(c_lineno,
				    c_line, c_cptr);
		}
	}
}
goto loop;

default:
goto loop;
}
628}


631bucket *
632get_literal(void)
633{
int c, quote, i, n;
char *s;
bucket *bp;
int s_lineno = lineno;
char *s_line = dup_line();
char *s_cptr = s_line + (cptr - line);

quote = (unsigned char) *cptr++;
cinc = 0;
for (;;) {
c = (unsigned char) *cptr++;
if (c == quote)
	break;
if (c == '\n')
	unterminated_string(s_lineno, s_line, s_cptr);
if (c == '\\') {
	char *c_cptr = cptr - 1;
	unsigned long ulval;

	c = (unsigned char) *cptr++;
	switch (c) {
	case '\n':
		get_line();
		if (line == NULL((void *)0))
			unterminated_string(s_lineno, s_line,
			    s_cptr);
		continue;

	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
		ulval = strtoul(cptr - 1, &s, 8);
		if (s == cptr - 1 || ulval > MAXCHAR255)
			illegal_character(c_cptr);
		c = (int) ulval;
		cptr = s;
		break;

	case 'x':
		ulval = strtoul(cptr, &s, 16);
		if (s == cptr || ulval > MAXCHAR255)
			illegal_character(c_cptr);
		c = (int) ulval;
		cptr = s;
		break;

	case 'a':
		c = 7;
		break;
	case 'b':
		c = '\b';
		break;
	case 'f':
		c = '\f';
		break;
	case 'n':
		c = '\n';
		break;
	case 'r':
		c = '\r';
		break;
	case 't':
		c = '\t';
		break;
	case 'v':
		c = '\v';
		break;
	}
}
cachec(c);
}
free(s_line);

n = cinc;
s = malloc(n);
if (s == NULL((void *)0))
no_space();

memcpy(s, cache, n);

cinc = 0;
if (n == 1)
cachec('\'');
else
cachec('"');

for (i = 0; i < n; ++i) {
c = ((unsigned char *) s)[i];
if (c == '\\' || c == cache[0]) {
	cachec('\\');
	cachec(c);
} else if (isprint(c))
	cachec(c);
else {
	cachec('\\');
	switch (c) {
	case 7:
		cachec('a');
		break;
	case '\b':
		cachec('b');
		break;
	case '\f':
		cachec('f');
		break;
	case '\n':
		cachec('n');
		break;
	case '\r':
		cachec('r');
		break;
	case '\t':
		cachec('t');
		break;
	case '\v':
		cachec('v');
		break;
	default:
		cachec(((c >> 6) & 7) + '0');
		cachec(((c >> 3) & 7) + '0');
		cachec((c & 7) + '0');
		break;
	}
}
}

if (n == 1)
cachec('\'');
else
cachec('"');

cachec(NUL'\0');
bp = lookup(cache);
bp->class = TERM1;
if (n == 1 && bp->value == UNDEFINED(-1))
bp->value = *(unsigned char *) s;
free(s);

return (bp);
778}


781int
782is_reserved(char *name)
783{
char *s;

if (strcmp(name, ".") == 0 ||
   strcmp(name, "$accept") == 0 ||
   strcmp(name, "$end") == 0)
return (1);

if (name[0] == '$' && name[1] == '$' && isdigit((unsigned char) name[2])) {
s = name + 3;
while (isdigit((unsigned char) *s))
	++s;
if (*s == NUL'\0')
	return (1);
}
return (0);
799}


802bucket *
803get_name(void)
804{
int c;

cinc = 0;
for (c = (unsigned char) *cptr; IS_IDENT(c)(isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$'); c = (unsigned char) *++cptr)
cachec(c);
cachec(NUL'\0');

if (is_reserved(cache))
used_reserved(cache);

return (lookup(cache));
816}


819int
820get_number(void)
821{
unsigned long ul;
char *p;

ul = strtoul(cptr, &p, 10);
if (ul > INT_MAX2147483647)
syntax_error(lineno, line, cptr);
cptr = p;
return (ul);
830}


833char *
834get_tag(void)
835{
int c, i;
char *s;
int t_lineno = lineno;
char *t_line = dup_line();
char *t_cptr = t_line + (cptr - line);

++cptr;
c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (!isalpha(c) && c != '_' && c != '$')
illegal_tag(t_lineno, t_line, t_cptr);

cinc = 0;
do {
cachec(c);
c = (unsigned char) *++cptr;
} while (IS_IDENT(c)(isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$'));
cachec(NUL'\0');

c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (c != '>')
illegal_tag(t_lineno, t_line, t_cptr);
free(t_line);
++cptr;

for (i = 0; i < ntags; ++i) {
if (strcmp(cache, tag_table[i]) == 0)
	return (tag_table[i]);
}

if (ntags >= tagmax) {
tagmax += 16;
tag_table = reallocarray(tag_table, tagmax, sizeof(char *));
if (tag_table == NULL((void *)0))
	no_space();
}
s = malloc(cinc);
if (s == NULL((void *)0))
no_space();
strlcpy(s, cache, cinc);
tag_table[ntags] = s;
++ntags;
return (s);
882}


885void
886declare_tokens(int assoc)
887{
int c;
bucket *bp;
int value;
char *tag = 0;

if (assoc != TOKEN0)
++prec;

c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (c == '<') {
tag = get_tag();
c = nextc();
if (c == EOF(-1))
	unexpected_EOF();
}
for (;;) {
if (isalpha(c) || c == '_' || c == '.' || c == '$')
	bp = get_name();
else if (c == '\'' || c == '"')
	bp = get_literal();
else
	return;

if (bp == goal)
	tokenized_start(bp->name);
bp->class = TERM1;

if (tag) {
	if (bp->tag && tag != bp->tag)
		retyped_warning(bp->name);
	bp->tag = tag;
}
if (assoc != TOKEN0) {
	if (bp->prec && prec != bp->prec)
		reprec_warning(bp->name);
	bp->assoc = assoc;
	bp->prec = prec;
}
c = nextc();
if (c == EOF(-1))
	unexpected_EOF();
if (isdigit(c)) {
	value = get_number();
	if (bp->value != UNDEFINED(-1) && value != bp->value)
		revalued_warning(bp->name);
	bp->value = value;
	c = nextc();
	if (c == EOF(-1))
		unexpected_EOF();
}
}
941}


944/*
* %expect requires special handling as it really isn't part of the yacc
* grammar only a flag for yacc proper.
*/
948static void
949declare_expect(int assoc)
950{
int c;

if (assoc != EXPECT10)
++prec;

/*
       * Stay away from nextc - doesn't detect EOL and will read to EOF.
       */
c = (unsigned char) *++cptr;
if (c == EOF(-1))
unexpected_EOF();

for (;;) {
if (isdigit(c)) {
	SRexpect = get_number();
	break;
}
/*
        * Looking for number before EOL.
        * Spaces, tabs, and numbers are ok.
        * Words, punc., etc. are syntax errors.
        */
else if (c == '\n' || isalpha(c) || !isspace(c)) {
	syntax_error(lineno, line, cptr);
} else {
	c = (unsigned char) *++cptr;
	if (c == EOF(-1))
		unexpected_EOF();
}
}
981}


984void
985declare_types(void)
986{
int c;
bucket *bp;
char *tag;

c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (c != '<')
syntax_error(lineno, line, cptr);
tag = get_tag();

for (;;) {
c = nextc();
if (isalpha(c) || c == '_' || c == '.' || c == '$')
	bp = get_name();
else if (c == '\'' || c == '"')
	bp = get_literal();
else
	return;

if (bp->tag && tag != bp->tag)
	retyped_warning(bp->name);
bp->tag = tag;
}
1011}


1014void
1015declare_start(void)
1016{
int c;
bucket *bp;

c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (!isalpha(c) && c != '_' && c != '.' && c != '$')
syntax_error(lineno, line, cptr);
bp = get_name();
if (bp->class == TERM1)
terminal_start(bp->name);
if (goal && goal != bp)
restarted_warning();
goal = bp;
1031}


1034void
1035read_declarations(void)
1036{
int c, k;

cache_size = 256;
cache = malloc(cache_size);
if (cache == NULL((void *)0))
no_space();

for (;;) {
c = nextc();
if (c == EOF(-1))
	unexpected_EOF();
if (c != '%')
	syntax_error(lineno, line, cptr);
switch (k = keyword()) {
case MARK4:
	return;

case IDENT9:
	copy_ident();
	break;

case TEXT5:
	copy_text();
	break;

case UNION8:
	copy_union();
	break;

case TOKEN0:
case LEFT1:
case RIGHT2:
case NONASSOC3:
	declare_tokens(k);
	break;

case EXPECT10:
	declare_expect(k);
	break;

case TYPE6:
	declare_types();
	break;

case START7:
	declare_start();
	break;
}
}
1086}


1089void
1090initialize_grammar(void)
1091{
nitems = 4;
maxitems = 300;
pitem = calloc(maxitems, sizeof(bucket *));
if (pitem == NULL((void *)0))
no_space();

nrules = 3;
maxrules = 100;
plhs = reallocarray(NULL((void *)0), maxrules, sizeof(bucket *));
if (plhs == NULL((void *)0))
no_space();
plhs[0] = 0;
plhs[1] = 0;
plhs[2] = 0;
rprec = reallocarray(NULL((void *)0), maxrules, sizeof(short));
if (rprec == NULL((void *)0))
no_space();
rprec[0] = 0;
rprec[1] = 0;
rprec[2] = 0;
rassoc = reallocarray(NULL((void *)0), maxrules, sizeof(char));
if (rassoc == NULL((void *)0))
no_space();
rassoc[0] = TOKEN0;
rassoc[1] = TOKEN0;
rassoc[2] = TOKEN0;
1118}


1121void
1122expand_items(void)
1123{
int olditems = maxitems;

maxitems += 300;
pitem = reallocarray(pitem, maxitems, sizeof(bucket *));
if (pitem == NULL((void *)0))
no_space();
memset(pitem + olditems, 0, (maxitems - olditems) * sizeof(bucket *));
1131}


1134void
1135expand_rules(void)
1136{
maxrules += 100;
plhs = reallocarray(plhs, maxrules, sizeof(bucket *));
if (plhs == NULL((void *)0))
no_space();
rprec = reallocarray(rprec, maxrules, sizeof(short));
if (rprec == NULL((void *)0))
no_space();
rassoc = reallocarray(rassoc, maxrules, sizeof(char));
if (rassoc == NULL((void *)0))
no_space();
1147}


1150void
1151advance_to_start(void)
1152{
int c;
bucket *bp;
char *s_cptr;
int s_lineno;

for (;;) {
c = nextc();
if (c != '%')
	break;
s_cptr = cptr;
switch (keyword()) {
case MARK4:
	no_grammar();

case TEXT5:
	copy_text();
	break;

case START7:
	declare_start();
	break;

default:
	syntax_error(lineno, line, s_cptr);
}
}

c = nextc();
if (!isalpha(c) && c != '_' && c != '.' && c != '_')
syntax_error(lineno, line, cptr);
bp = get_name();
if (goal == NULL((void *)0)) {
if (bp->class == TERM1)
	terminal_start(bp->name);
goal = bp;
}
s_lineno = lineno;
c = nextc();
if (c == EOF(-1))
unexpected_EOF();
if (c != ':')
syntax_error(lineno, line, cptr);
start_rule(bp, s_lineno);
++cptr;
1197}


1200void
1201start_rule(bucket * bp, int s_lineno)
1202{
if (bp->class == TERM1)
terminal_lhs(s_lineno);
bp->class = NONTERM2;
if (nrules >= maxrules)
expand_rules();
plhs[nrules] = bp;
rprec[nrules] = UNDEFINED(-1);
rassoc[nrules] = TOKEN0;
1211}


1214void
1215end_rule(void)
1216{
int i;

if (!last_was_action && plhs[nrules]->tag) {
for (i = nitems - 1; pitem[i]; --i)
	continue;
if (i == maxitems - 1 || pitem[i + 1] == 0 ||
    pitem[i + 1]->tag != plhs[nrules]->tag)
	default_action_warning();
}
last_was_action = 0;
if (nitems >= maxitems)
expand_items();
pitem[nitems] = 0;
++nitems;
++nrules;
1232}


1235void
1236insert_empty_rule(void)
1237{
bucket *bp, **bpp;

assert(cache)((cache) ? (void)0 : __assert2("/usr/src/usr.bin/yacc/reader.c"
, 1240, __func__, "cache"));
snprintf(cache, cache_size, "$$%d", ++gensym);
bp = make_bucket(cache);
last_symbol->next = bp;
last_symbol = bp;
bp->tag = plhs[nrules]->tag;
bp->class = NONTERM2;

if ((nitems += 2) > maxitems)
expand_items();
bpp = pitem + nitems - 1;
*bpp-- = bp;
while ((bpp[0] = bpp[-1]))
--bpp;

if (++nrules >= maxrules)
expand_rules();
plhs[nrules] = plhs[nrules - 1];
plhs[nrules - 1] = bp;
rprec[nrules] = rprec[nrules - 1];
rprec[nrules - 1] = 0;
rassoc[nrules] = rassoc[nrules - 1];
rassoc[nrules - 1] = TOKEN0;
1263}


1266void
1267add_symbol(void)
1268{
int c;
bucket *bp;
int s_lineno = lineno;

c = (unsigned char) *cptr;
if (c == '\'' || c == '"')
bp = get_literal();
else
bp = get_name();

c = nextc();
if (c == ':') {
end_rule();
start_rule(bp, s_lineno);
++cptr;
return;
}
if (last_was_action)
insert_empty_rule();
last_was_action = 0;

if (++nitems > maxitems)
expand_items();
pitem[nitems - 1] = bp;
1293}


1296void
1297copy_action(void)
1298{
int c, i, n, depth, quote;
char *tag;
FILE *f = action_file;
int a_lineno = lineno;
char *a_line = dup_line();
char *a_cptr = a_line + (cptr - line);

if (last_was_action)
insert_empty_rule();
last_was_action = 1;

fprintf(f, "case %d:\n", nrules - 2);
if (!lflag)
fprintf(f, line_format, lineno, input_file_name);
if (*cptr == '=')
++cptr;

n = 0;
for (i = nitems - 1; pitem[i]; --i)
++n;

depth = 0;
1321loop:
c = (unsigned char) *cptr;
if (c == '$') {
if (cptr[1] == '<') {
	int d_lineno = lineno;
	char *d_line = dup_line();
	char *d_cptr = d_line + (cptr - line);

	++cptr;
	tag = get_tag();
	c = (unsigned char) *cptr;
	if (c == '$') {
		fprintf(f, "yyval.%s", tag);
		++cptr;
		free(d_line);
		goto loop;
	} else if (isdigit(c)) {
		i = get_number();
		if (i > n)
			dollar_warning(d_lineno, i);
		fprintf(f, "yyvsp[%d].%s", i - n, tag);
		free(d_line);
		goto loop;
	} else if (c == '-' && isdigit((unsigned char) cptr[1])) {
		++cptr;
		i = -get_number() - n;
		fprintf(f, "yyvsp[%d].%s", i, tag);
		free(d_line);
		goto loop;
	} else
		dollar_error(d_lineno, d_line, d_cptr);
} else if (cptr[1] == '$') {
	if (ntags) {
		tag = plhs[nrules]->tag;
		if (tag == NULL((void *)0))
			untyped_lhs();
		fprintf(f, "yyval.%s", tag);
	} else
		fprintf(f, "yyval");
	cptr += 2;
	goto loop;
} else if (isdigit((unsigned char) cptr[1])) {
	++cptr;
	i = get_number();
	if (ntags) {
		if (i <= 0 || i > n)
			unknown_rhs(i);
		tag = pitem[nitems + i - n - 1]->tag;
		if (tag == NULL((void *)0))
			untyped_rhs(i, pitem[nitems + i - n - 1]->name);
		fprintf(f, "yyvsp[%d].%s", i - n, tag);
	} else {
		if (i > n)
			dollar_warning(lineno, i);
		fprintf(f, "yyvsp[%d]", i - n);
	}
	goto loop;
} else if (cptr[1] == '-') {
	cptr += 2;
	i = get_number();
	if (ntags)
		unknown_rhs(-i);
	fprintf(f, "yyvsp[%d]", -i - n);
	goto loop;
}
}
if (isalpha(c) || c == '_' || c == '$') {
do {
	putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
	c = (unsigned char) *++cptr;
} while (isalnum(c) || c == '_' || c == '$');
goto loop;
}
putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
++cptr;
switch (c) {
case '\n':
1398next_line:
get_line();
if (line)
	goto loop;
unterminated_action(a_lineno, a_line, a_cptr);

case ';':
if (depth > 0)
	goto loop;
fprintf(f, "\nbreak;\n");
free(a_line);
return;

case '{':
++depth;
goto loop;

case '}':
if (--depth > 0)
	goto loop;
fprintf(f, "\nbreak;\n");
free(a_line);
return;

case '\'':
case '"': {
int s_lineno = lineno;
char *s_line = dup_line();
char *s_cptr = s_line + (cptr - line - 1);

quote = c;
for (;;) {
	c = (unsigned char) *cptr++;
	putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
	if (c == quote) {
		free(s_line);
		goto loop;
	}
	if (c == '\n')
		unterminated_string(s_lineno, s_line, s_cptr);
	if (c == '\\') {
		c = (unsigned char) *cptr++;
		putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_string(s_lineno, s_line, s_cptr);
		}
	}
}
}

case '/':
c = (unsigned char) *cptr;
if (c == '/') {
	putc('*', f)(!__isthreaded ? __sputc('*', f) : (putc)('*', f));
	while ((c = (unsigned char) *++cptr) != '\n') {
		if (c == '*' && cptr[1] == '/')
			fprintf(f, "* ");
		else
			putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
	}
	fprintf(f, "*/\n");
	goto next_line;
}
if (c == '*') {
	int c_lineno = lineno;
	char *c_line = dup_line();
	char *c_cptr = c_line + (cptr - line - 1);

	putc('*', f)(!__isthreaded ? __sputc('*', f) : (putc)('*', f));
	++cptr;
	for (;;) {
		c = (unsigned char) *cptr++;
		putc(c, f)(!__isthreaded ? __sputc(c, f) : (putc)(c, f));
		if (c == '*' && *cptr == '/') {
			putc('/', f)(!__isthreaded ? __sputc('/', f) : (putc)('/', f));
			++cptr;
			free(c_line);
			goto loop;
		}
		if (c == '\n') {
			get_line();
			if (line == NULL((void *)0))
				unterminated_comment(c_lineno, c_line, c_cptr);
		}
	}
}
goto loop;

default:
goto loop;
}
1491}


1494int
1495mark_symbol(void)
1496{
int c;
bucket *bp = NULL((void *)0);

c = (unsigned char) cptr[1];
if (c == '%' || c == '\\') {
cptr += 2;
return (1);
}
if (c == '=')
cptr += 2;
else if ((c == 'p' || c == 'P') &&
   ((c = cptr[2]) == 'r' || c == 'R') &&
   ((c = cptr[3]) == 'e' || c == 'E') &&
   ((c = cptr[4]) == 'c' || c == 'C') &&
   ((c = (unsigned char) cptr[5], !IS_IDENT(c)(isalnum(c) || (c) == '_' || (c) == '.' || (c) == '$'))))
cptr += 5;
else
syntax_error(lineno, line, cptr);

c = nextc();
if (isalpha(c) || c == '_' || c == '.' || c == '$')
bp = get_name();
else if (c == '\'' || c == '"')
bp = get_literal();
else {
syntax_error(lineno, line, cptr);
/* NOTREACHED */
}

if (rprec[nrules] != UNDEFINED(-1) && bp->prec != rprec[nrules])
prec_redeclared();

rprec[nrules] = bp->prec;
rassoc[nrules] = bp->assoc;
return (0);
1532}


1535void
1536read_grammar(void)
1537{
int c;

initialize_grammar();
advance_to_start();

for (;;) {
c = nextc();
if (c == EOF(-1))
	break;
if (isalpha(c) || c == '_' || c == '.' || c == '$' || c == '\'' ||
    c == '"')
	add_symbol();
else if (c == '{' || c == '=')
	copy_action();
else if (c == '|') {
	end_rule();
	start_rule(plhs[nrules - 1], 0);
	++cptr;
} else if (c == '%') {
	if (mark_symbol())
		break;
} else
	syntax_error(lineno, line, cptr);
}
end_rule();
1563}


1566void
1567free_tags(void)
1568{
int i;

if (tag_table == NULL((void *)0))
return;

for (i = 0; i < ntags; ++i) {
assert(tag_table[i])((tag_table[i]) ? (void)0 : __assert2("/usr/src/usr.bin/yacc/reader.c"
, 1575, __func__, "tag_table[i]"));
free(tag_table[i]);
}
free(tag_table);
1579}


1582void
1583pack_names(void)
1584{
bucket *bp;
char *p, *s, *t;

name_pool_size = 13;	/* 13 == sizeof("$end") + sizeof("$accept") */
for (bp = first_symbol; bp; bp = bp->next)
name_pool_size += strlen(bp->name) + 1;
name_pool = malloc(name_pool_size);
if (name_pool == NULL((void *)0))
no_space();

strlcpy(name_pool, "$accept", name_pool_size);
strlcpy(name_pool + 8, "$end", name_pool_size - 8);
t = name_pool + 13;
for (bp = first_symbol; bp; bp = bp->next) {
p = t;
s = bp->name;
while ((*t++ = *s++))
	continue;
free(bp->name);
bp->name = p;
}
1606}


1609void
1610check_symbols(void)
1611{
bucket *bp;

if (goal->class == UNKNOWN0)
undefined_goal(goal->name);

for (bp = first_symbol; bp; bp = bp->next) {
if (bp->class == UNKNOWN0) {
	undefined_symbol_warning(bp->name);
	bp->class = TERM1;
}
}
1623}


1626void
1627pack_symbols(void)
1628{
bucket *bp;
bucket **v;
int i, j, k, n;

nsyms = 2;
ntokens = 1;
for (bp = first_symbol; bp; bp = bp->next) {
2
←
Loop condition is false. Execution continues on line 1640→
++nsyms;
if (bp->class == TERM1)
	++ntokens;
}
start_symbol = ntokens;
nvars = nsyms - ntokens;

symbol_name = reallocarray(NULL((void *)0), nsyms, sizeof(char *));
if (symbol_name == NULL((void *)0))
3
←
Assuming 'symbol_name' is not equal to NULL→
4
←
Taking false branch→
no_space();
symbol_value = reallocarray(NULL((void *)0), nsyms, sizeof(short));
if (symbol_value == NULL((void *)0))
5
←
Assuming 'symbol_value' is not equal to NULL→
6
←
Taking false branch→
no_space();
symbol_prec = reallocarray(NULL((void *)0), nsyms, sizeof(short));
if (symbol_prec == NULL((void *)0))
7
←
Assuming 'symbol_prec' is not equal to NULL→
8
←
Taking false branch→
no_space();
symbol_assoc = malloc(nsyms);
if (symbol_assoc == NULL((void *)0))
9
←
Assuming 'symbol_assoc' is not equal to NULL→
10
←
Taking false branch→
no_space();

v = reallocarray(NULL((void *)0), nsyms, sizeof(bucket *));
if (v == NULL((void *)0))
11
←
Assuming 'v' is not equal to NULL→
12
←
Taking false branch→
no_space();

v[0] = 0;
v[start_symbol] = 0;
13
←
Storing null pointer value→

i = 1;
j = start_symbol + 1;
for (bp = first_symbol; bp; bp = bp->next) {
14
←
Loop condition is false. Execution continues on line 1671→
if (bp->class == TERM1)
	v[i++] = bp;
else
	v[j++] = bp;
}
assert(i == ntokens && j == nsyms)((i == ntokens && j == nsyms) ? (void)0 : __assert2("/usr/src/usr.bin/yacc/reader.c"
, 1671, __func__, "i == ntokens && j == nsyms"));
15
←
'?' condition is true→

for (i = 1; i < ntokens; ++i)
16
←
Loop condition is false. Execution continues on line 1676→
v[i]->index = i;

goal->index = start_symbol + 1;
k = start_symbol + 2;
while (++i < nsyms)
17
←
Loop condition is false. Execution continues on line 1683→
if (v[i] != goal) {
	v[i]->index = k;
	++k;
}
goal->value = 0;
k = 1;
for (i = start_symbol + 1; i < nsyms; ++i) {
18
←
Loop condition is false. Execution continues on line 1692→
if (v[i] != goal) {
	v[i]->value = k;
	++k;
}
}

k = 0;
for (i = 1; i < ntokens; ++i) {
19
←
Loop condition is false. Execution continues on line 1702→
n = v[i]->value;
if (n > 256) {
	for (j = k++; j > 0 && symbol_value[j - 1] > n; --j)
		symbol_value[j] = symbol_value[j - 1];
	symbol_value[j] = n;
}
}

if (v[1]->value == UNDEFINED(-1))
20
←
Access to field 'value' results in a dereference of a null pointer
v[1]->value = 256;

j = 0;
n = 257;
for (i = 2; i < ntokens; ++i) {
if (v[i]->value == UNDEFINED(-1)) {
	while (j < k && n == symbol_value[j]) {
		while (++j < k && n == symbol_value[j])
			continue;
		++n;
	}
	v[i]->value = n;
	++n;
}
}

symbol_name[0] = name_pool + 8;
symbol_value[0] = 0;
symbol_prec[0] = 0;
symbol_assoc[0] = TOKEN0;
for (i = 1; i < ntokens; ++i) {
symbol_name[i] = v[i]->name;
symbol_value[i] = v[i]->value;
symbol_prec[i] = v[i]->prec;
symbol_assoc[i] = v[i]->assoc;
}
symbol_name[start_symbol] = name_pool;
symbol_value[start_symbol] = -1;
symbol_prec[start_symbol] = 0;
symbol_assoc[start_symbol] = TOKEN0;
for (++i; i < nsyms; ++i) {
k = v[i]->index;
symbol_name[k] = v[i]->name;
symbol_value[k] = v[i]->value;
symbol_prec[k] = v[i]->prec;
symbol_assoc[k] = v[i]->assoc;
}

free(v);
1742}


1745void
1746pack_grammar(void)
1747{
int i, j;
int assoc, pprec;

ritem = reallocarray(NULL((void *)0), nitems, sizeof(short));
if (ritem == NULL((void *)0))
no_space();
rlhs = reallocarray(NULL((void *)0), nrules, sizeof(short));
if (rlhs == NULL((void *)0))
no_space();
rrhs = reallocarray(NULL((void *)0), nrules + 1, sizeof(short));
if (rrhs == NULL((void *)0))
no_space();
rprec = reallocarray(rprec, nrules, sizeof(short));
if (rprec == NULL((void *)0))
no_space();
rassoc = realloc(rassoc, nrules);
if (rassoc == NULL((void *)0))
no_space();

ritem[0] = -1;
ritem[1] = goal->index;
ritem[2] = 0;
ritem[3] = -2;
rlhs[0] = 0;
rlhs[1] = 0;
rlhs[2] = start_symbol;
rrhs[0] = 0;
rrhs[1] = 0;
rrhs[2] = 1;

j = 4;
for (i = 3; i < nrules; ++i) {
rlhs[i] = plhs[i]->index;
rrhs[i] = j;
assoc = TOKEN0;
pprec = 0;
while (pitem[j]) {
	ritem[j] = pitem[j]->index;
	if (pitem[j]->class == TERM1) {
		pprec = pitem[j]->prec;
		assoc = pitem[j]->assoc;
	}
	++j;
}
ritem[j] = -i;
++j;
if (rprec[i] == UNDEFINED(-1)) {
	rprec[i] = pprec;
	rassoc[i] = assoc;
}
}
rrhs[i] = j;

free(plhs);
free(pitem);
1803}


1806void
1807print_grammar(void)
1808{
int i, j, k;
int spacing = 0;
FILE *f = verbose_file;

if (!vflag)
return;

k = 1;
for (i = 2; i < nrules; ++i) {
if (rlhs[i] != rlhs[i - 1]) {
	if (i != 2)
		fprintf(f, "\n");
	fprintf(f, "%4d  %s :", i - 2, symbol_name[rlhs[i]]);
	spacing = strlen(symbol_name[rlhs[i]]) + 1;
} else {
	fprintf(f, "%4d  ", i - 2);
	j = spacing;
	while (--j >= 0)
		putc(' ', f)(!__isthreaded ? __sputc(' ', f) : (putc)(' ', f));
	putc('|', f)(!__isthreaded ? __sputc('|', f) : (putc)('|', f));
}

while (ritem[k] >= 0) {
	fprintf(f, " %s", symbol_name[ritem[k]]);
	++k;
}
++k;
putc('\n', f)(!__isthreaded ? __sputc('\n', f) : (putc)('\n', f));
}
1838}


1841void
1842reader(void)
1843{
write_section(banner);
create_symbol_table();
read_declarations();
read_grammar();
free_symbol_table();
free_tags();
pack_names();
check_symbols();
pack_symbols();
1
Calling 'pack_symbols'→
pack_grammar();
free_symbols();
print_grammar();
1856}