Re: [PHP-DEV] Weird PHP 7.2 bug

2017-10-30 Thread Xinchen Hui
kes sense (for array) > > e.g. $a[$n]++ should change the type of array. > I > > Thanks. Dmitry. > > > -- > *From:* Xinchen Hui > *Sent:* Monday, October 30, 2017 10:05:30 AM > *To:* Derick Rethans > *Cc:* Dmitry Stogov; Nikita Popov;

Re: [PHP-DEV] Weird PHP 7.2 bug

2017-10-30 Thread Dmitry Stogov
Thanks. Dmitry. From: Xinchen Hui Sent: Monday, October 30, 2017 10:05:30 AM To: Derick Rethans Cc: Dmitry Stogov; Nikita Popov; PHP Developers Mailing List Subject: Re: [PHP-DEV] Weird PHP 7.2 bug Hey: On Mon, Oct 30, 2017 at 2:48 AM, Derick Rethans mailto:der...@php.net>> wrote

Re: [PHP-DEV] Weird PHP 7.2 bug

2017-10-30 Thread Xinchen Hui
Hey: On Mon, Oct 30, 2017 at 2:48 AM, Derick Rethans wrote: > Hi, > > running: > https://raw.githubusercontent.com/xdebug/xdebug/master/tests/bug01263.inc > > with: > $ php -n -dzend_extension=opcache.so -dopcache.enable_cli=1 > tests/bug01263.inc > > Produces the following output with PHP 7.2 b

[PHP-DEV] Weird PHP 7.2 bug

2017-10-29 Thread Derick Rethans
Hi, running: https://raw.githubusercontent.com/xdebug/xdebug/master/tests/bug01263.inc with: $ php -n -dzend_extension=opcache.so -dopcache.enable_cli=1 tests/bug01263.inc Produces the following output with PHP 7.2 build at Oct 29 2017 18:49:58: In function PHP_CodeCoverage::addUncoveredFilesFr