* src/gram.h (item_number_t): New, the type of item numbers in

RITEM.  Note that it must be able to code symbol numbers as
positive number, and the negation of rule numbers as negative
numbers.
Adjust all dependencies (pretty many).
* src/reduce.c (rule): Remove this `short *' pointer: use
item_number_t.
* src/system.h (MINSHORT, MAXSHORT): Remove.
Include `limits.h'.
Adjust dependencies to using SHRT_MAX and SHRT_MIN.
(shortcpy): Remove.
(MAXTABLE): Move to...
* src/output.c (MAXTABLE): here.
(prepare_rules): Use output_int_table to output rhs.
* data/bison.simple, data/bison.c++: Adjust.
* tests/torture.at (Big triangle): Move the limit from 254 to
500.
* tests/regression.at (Web2c Actions): Ajust.
Trying with bigger grammars shows various phenomena: at 3000 (28Mb
of grammar file) bison is killed by my system, at 2000 (12Mb) bison
passes, but produces negative #line number, once fixed, GCC is
killed while compiling 14Mb, at 1500 (6.7 Mb of grammar, 8.2Mb of
C), it passes.
* src/state.h (state_h): Code input lines on ints, not shorts.

diff --git a/NEWS b/NEWS
index 4f1f0751cab48a52ee60e788135845f42b80793b..a783d422a0e9abbbc04d95416ccf589359e1bb6c 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,9 @@ Bison News
 
 Changes in version 1.49a:
 
+* Large grammars
+  Are now supported.
+
 * The initial rule is explicit.
   Bison used to play hacks with the initial rule, which the user does
   not write.  It is now explicit, and visible in the reports and

diff --git a/tests/torture.at b/tests/torture.at
index a219f38a7519e8cd529ee137488623bf1a112ade..01dfc16468145d0b9fe4367cc2d05cf98b1b4f5a 100644 (file)
--- a/tests/torture.at
+++ b/tests/torture.at
@@ -129,7 +129,9 @@ mv stdout $1
 
 AT_SETUP([Big triangle])
 
-AT_DATA_TRIANGULAR_GRAMMAR([input.y], [253])
+# I have been able to go up to 2000 on my machine.
+# I tried 3000, a 29Mb grammar file, but then my system killed bison.
+AT_DATA_TRIANGULAR_GRAMMAR([input.y], [500])
 AT_CHECK([bison input.y -v -o input.c])
 AT_CHECK([$CC $CFLAGS $CPPFLAGS input.c -o input], 0, [], [ignore])
 AT_CHECK([./input])