Re: huge input files, stack size exceeded??

[Joerg Hoffmann]

Dear Mr. Eggert,

You might remember that I contacted you with a bison parsing problem a few
weeks ago, and you recommended to define the YYMAXDEPTH constant. To a certain
extent, this worked, but now,
again, I have a problem parsing large input files, even though in the meantime
I put the lines

#ifndef YYMAXDEPTH
#define YYMAXDEPTH 100000
#endif

into my code.

In the particular example where the parser crashes, I get a segmentation
fault even when I set that constant to 10000000. The bison version I'm using
here is  1.75  .Using gdb, the output I get is this:


Segmentation fault (core dumped)
turtur TEST/bigparse-Axff-v1.3> gdb ff -core=core
GNU gdb 5.3
Copyright 2002 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you
are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i586-suse-linux"...
Core was generated by `./ff -p ../../complete-suits/simpleadl_derived/ -o
psr-s86-n6-l3-f50-domain.pdd'.
Program terminated with signal 11, Segmentation fault.
Reading symbols from /lib/libm.so.6...done.
Loaded symbols for /lib/libm.so.6
Reading symbols from /lib/libc.so.6...done.
Loaded symbols for /lib/libc.so.6
Reading symbols from /lib/ld-linux.so.2...done.
Loaded symbols for /lib/ld-linux.so.2
#0  0x08064744 in ops_pddlparse () at scan-ops_pddl.tab.c:1070
1070            YYSTACK_RELOCATE (yyss);
(gdb) where
#0  0x08064744 in ops_pddlparse () at scan-ops_pddl.tab.c:1070
#1  0x0806574d in load_ops_file (filename=0xbffff1d0 "../../complete-suits/simpleadl_derived/psr-s86-n6-l3-f50-domain.pddl")
at scan-ops_pddl.y:855
#2  0x08049479 in main (argc=-1073745712, argv=0xbffff0c0) at main.c:535
#3  0x4005b8ae in __libc_start_main () from /lib/libc.so.6


Thanks a lot for any help or suggestions,
Joerg Hoffmann








Paul Eggert wrote:
> Joerg Hoffmann <address@hidden> writes:
>
> > We are using GNU Bison version 1.25. Have you heard of similar
> > problems before? Are they, possibly, already fixed in one of the newer
> > bison versions?
> >   
>
> Some stack overflow bugs have been fixed, yes.
>
> There is some documentation about this in the Bison manual; look for
> "Stack Overflow".
>
> 1.25 is pretty old; it was released in 1995.  Might be time to upgrade.