[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: huge input files, stack size exceeded??

From: Joerg Hoffmann
Subject: Re: huge input files, stack size exceeded??
Date: Mon, 06 Oct 2003 17:30:04 +0200
User-agent: Mozilla/5.0 (X11; U; SunOS sun4u; en-US; rv:1.0.1) Gecko/20020920 Netscape/7.0

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

#define YYMAXDEPTH 100000

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]