Fix GH-12953: SSA integrity verification failed when loading composer classmaps with more than 11k elements

This is a false positive. The cycle detection code stops at 10.000
iterations.

Fix GH-12953: SSA integrity verification failed when loading composer classmaps with more than 11k elements

This is a false positive. The cycle detection code stops at 10.000
iterations. Instead of stopping at a fixed amount, make it more robust
by implementing Floyd's cycle detection algorithm.

Closes GH-12954.

show more ...

Backport fix for HASH/PACKED array inference through MAY_BE_ARRAY_EMPTY flag (#12591)

* Fixed HASH/PACKED array inference through MAY_BE_ARRAY_EMPTY flag

This fixes GH-12527

Backport fix for HASH/PACKED array inference through MAY_BE_ARRAY_EMPTY flag (#12591)

* Fixed HASH/PACKED array inference through MAY_BE_ARRAY_EMPTY flag

This fixes GH-12527

* typo

show more ...

Check that MAY_BE_REF variables cannot have a ce

Verify that used SSA variables are defined

There should either be a defining instruction, defining phi, or
it should be an undef entry variable.

Use more appropriate types in Optimizer

Mainly using zend_result and bool instead of int

Trigger assertion failure on SSA verification failure

To make sure this is automatically detectable as a PHP bug,
e.g. during fuzzing. Also dump the current opcodes/SSA as we may
no

Trigger assertion failure on SSA verification failure

To make sure this is automatically detectable as a PHP bug,
e.g. during fuzzing. Also dump the current opcodes/SSA as we may
no longer reach a following dump.

show more ...

Update http->https in license (#6945)

1. Update: http://www.php.net/license/3_01.txt to https, as there is anyway server header "Location:" to https.
2. Update few license 3.0 to 3.01 as

Update http->https in license (#6945)

1. Update: http://www.php.net/license/3_01.txt to https, as there is anyway server header "Location:" to https.
2. Update few license 3.0 to 3.01 as 3.0 states "php 5.1.1, 4.1.1, and earlier".
3. In some license comments is "at through the world-wide-web" while most is without "at", so deleted.
4. fixed indentation in some files before |

show more ...

Move optimizer into core

This only moves the files, adjusts the build system, exports APIs
and does minor fixups to make sure the code builds.

This does not yet try to make the

Move optimizer into core

This only moves the files, adjusts the build system, exports APIs
and does minor fixups to make sure the code builds.

This does not yet try to make the optimizer usable independently
of opcache.

Closes GH-6642.

show more ...