Waldek Hebisch wrote:
I have sent the following (+ the patch) to Bison bug address:
: bison-2.1 fails to detect stack overflow in GLR parser. Namely, : `yyglrShiftDefer' assumes that there are 2 free stack slots, and : check is done only in `yyaddDeferredAction'. However, `yyexpandGLRStack' : only guaranteed increase by one. The problem appered in GNU Pascal, : causing segmentation faults due to parser stack overflow. I do not : include a testcase since GNU Pascal parser is large.
Yes, I saw it.
"some cases" mean that the bug is triggered only on some inputs, on different inputs stack overflow is detected. I belive that the patch completly fixes the problem. I just got a message from Paul Eggert saying that he installed slightly modified patch. So the problem should be fixed in Bison 2.2.
OK, thanks. Frank -- Frank Heckenbach, frank@g-n-u.de, http://fjf.gnu.de/, 7977168E GPC To-Do list, latest features, fixed bugs: http://www.gnu-pascal.de/todo.html GPC download signing key: ACB3 79B2 7EB2 B7A7 EFDE D101 CD02 4C9D 0FE0 E5E8