Re: [PHP-DEV] Re: Segfault with PHP and bison 1.875(a)

2003-10-07 Thread Paul Eggert
"Wez Furlong" <[EMAIL PROTECTED]> writes: > The original response to this issue from the bison people was the > not very encouraging "thou shalt not use the skeleton file". > ... the bison team had made it apparent in the past > that they were not interested in fixing the problem. Sorry, I don't

Re: [PHP-DEV] Re: Segfault with PHP and bison 1.875(a)

2003-10-07 Thread Paul Eggert
y it'd be better if Bison issued a diagnostic when it sees such tokens. I'll install a fix to Bison to do that. Here is a patch to PHP to fix the PHP bug. This patch is relative to php5, but the bug is php4 as well. I've submitted this patch to bugs.php.net (it's PHP bu

Re: [PHP-DEV] Re: Segfault with PHP and bison 1.875(a)

2003-10-06 Thread Paul Eggert
Zeev Suraski <[EMAIL PROTECTED]> writes: > Do you experience this bug with PHP 4.3.2? Here's how I tried to reproduce the problem. I am running Debian GNU/Linux 3.0r1 (stable) with Bison 1.875. wget http://downloads.php.net/ilia/php-4.3.4RC1.tar.bz2 tar xjf php-4.3.4RC1.tar.bz2 cd php-4.3

Re: [PHP-DEV] Re: Segfault with PHP and bison 1.875(a)

2003-10-06 Thread Paul Eggert
"Wez Furlong" <[EMAIL PROTECTED]> writes: > Just don't use bison 1.875 We're trying to get the Bison bug (if there is one) fixed. Possibly the bug is in flex, or is in PHP itself. I understand that the PHP folks prefer to use older version of software tools if they happen to work, and that's

[PHP-DEV] Re: Segfault with PHP and bison 1.875(a)

2003-10-06 Thread Paul Eggert
Martin Schlemmer <[EMAIL PROTECTED]> writes: > > #0 0x0823c5e8 in zend_stream_read (file_handle=0x0, buf=0x83c4e10 "", > > len=8192) at /usr/src/php/php5/Zend/zend_stream.c:95 > > #1 0x0820ebbf in yy_get_next_buffer () at Zend/zend_ini_scanner.c:1242 > > ... > > I am still trying to track this