From nobody@FreeBSD.ORG  Tue Jun  6 07:07:22 2000
Return-Path: <nobody@FreeBSD.ORG>
Received: by hub.freebsd.org (Postfix, from userid 32767)
	id 6E22837B8EE; Tue,  6 Jun 2000 07:07:22 -0700 (PDT)
Message-Id: <20000606140722.6E22837B8EE@hub.freebsd.org>
Date: Tue,  6 Jun 2000 07:07:22 -0700 (PDT)
From: gryphon@intech.net
Sender: nobody@FreeBSD.ORG
To: freebsd-gnats-submit@FreeBSD.org
Subject: yacc in 3.4 and 4.0 reports "maximum table size exceeded"
X-Send-Pr-Version: www-1.0

>Number:         19056
>Category:       bin
>Synopsis:       yacc in 3.4 and 4.0 reports "maximum table size exceeded"
>Confidential:   no
>Severity:       non-critical
>Priority:       low
>Responsible:    freebsd-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Tue Jun 06 07:10:00 PDT 2000
>Closed-Date:    Thu Jan 17 08:12:05 PST 2002
>Last-Modified:  Thu Jan 17 08:39:21 PST 2002
>Originator:     Coranth Gryphon
>Release:        3.4R and 4.0R
>Organization:
>Environment:
FreeBSD 3.4-RELEASE #0: Fri May 12 21:44:13 GMT 2000 (GENERIC) i386
FreeBSD 4.0-RELEASE #1: Mon May  8 14:58:16 PDT 2000 (INTECH) i386

>Description:
When using yacc on either platform, a specific grammer results in
the fatal error "maximum table size exceeded". However, according
ORA's book on Yacc, this usually indicates a bug in the yacc program.
In this case, the grammer only has:
             340 terminals, 200 nonterminals
             615 grammar rules, 920 states
Which is actually significantly less non-terminals, rules and states
than it had when the problem first showed up. I am using bison (1.28)
as countercheck and it works fine.
>How-To-Repeat:
Anything the yacc program is run with the current language grammar.
Unfortunately, I wasn't able to isolate the grammar change that caused
the initial overflow, and developement has had to proceed since then.
If absolutely necessary, I can make the grammar that causes the problem
available under an NDA for testing purposes.
>Fix:


>Release-Note:
>Audit-Trail:
State-Changed-From-To: open->feedback 
State-Changed-By: schweikh 
State-Changed-When: Sat Jul 7 09:41:27 PDT 2001 
State-Changed-Why:  
Need more details about actual grammar. 
GNATSe the reason for changing this PR's status here. 

http://www.FreeBSD.org/cgi/query-pr.cgi?pr=19056 
State-Changed-From-To: feedback->closed 
State-Changed-By: sheldonh 
State-Changed-When: Thu Jan 17 08:12:05 PST 2002 
State-Changed-Why:  
Automatic feedback timeout.  If additional feedback that warrants 
the re-opening of this PR is available but not included in the 
audit trail, please include the feedback in a reply to this message 
(preserving the Subject line) and ask that the PR be re-opened. 

http://www.freebsd.org/cgi/query-pr.cgi?pr=19056 
>Unformatted:

Coranth, without the actual grammar it's almost impossible to analyze
this (if this is still a problem in a recent yacc). An NDA is something
you probably wouldn't ask a volunteer project like FreeBSD. What about
giving us an obfuscated/cut-down version without actions and identifiers
replaced by L1...L42?   -- Jens

