Re: Segfault with PHP and bison 1.875(a)

[Paul Eggert]

Martin Schlemmer <address@hidden> writes:

>   http://bugs.php.net/bug.php?id=22215

I see that you have submitted a patch to PHP dated 4 Oct 5:17pm EDT
that is now published on that web page.  I assume that this means that
the problem was a bug in PHP, not in Bison.

A Bison+PHP problem was also reported by Sebastian Bergman in March; see
<http://mail.gnu.org/archive/html/help-bison/2003-03/msg00062.html>.
We never got to the bottom of it back then.  I'll CC: this message to
him to let him know about the fix.

Thanks for looking into this.