Re: Bison GLR buffer-overflow and invalid pointer fixes

[Paul Hilfinger]

 > address@hidden writes:
 > 
 > > address@hidden:~ # grep setjmp glr.c
 > > #include <setjmp.h>
 > >   if (setjmp (yystack.yyexception_buffer) != 0)
 > > address@hidden:~ # grep longjmp glr.c
 > >   longjmp (yystack->yyexception_buffer, 1);
 > > posix doesnt specify whether setjmp will
 > > save the signal context. other solution
 > > possible or sigsetjmp()/siglongjmp() ?
 > 
 > Let's wait for Paul Hilfinger to comment on this issue; or, perhaps,
 > someone who has run into a real problem with it in practice.

Presumably, we should use sigsetjmp/siglongjmp and decide now whether
we want the signal context to be restored.  If you contemplate using
some other mechanism, then presumably your preference is that the
signal mask NOT be reset by failure (which would be my preference).

Paul H.