Fix range inference since "proper-range-semantics" RFC

* Arrays returned from range are never empty
* When step is a double value representable by a long, it is coerced implicitly.

Fix range inference since "proper-range-semantics" RFC

* Arrays returned from range are never empty
* When step is a double value representable by a long, it is coerced implicitly.
As such, passing a double step no longer guarantees that the result is a
non-int array.

Closes GH-13166

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 ...

Merge branch 'PHP-8.1'

* PHP-8.1:
Don't set ce for by-ref return type

Don't set ce for by-ref return type

For the case where we upgrade a prototype to a possible by-ref
return from an inheriting method.

Merge branch 'PHP-8.1'

* PHP-8.1:
Fix GH-8074: Wrong type inference of range() result

Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
Fix GH-8074: Wrong type inference of range() result

Merge branch 'PHP-8.1'

* PHP-8.1:
Preserve key/value type invariant in range() type inference

Preserve key/value type invariant in range() type inference

Don't set PACKED key type if no value type is set.

Fixes oss-fuzz 6718410667458560.

Merge branch 'PHP-8.1'

* PHP-8.1:
Fixed type inference that may cause JIT failure

Fixed type inference that may cause JIT failure

PHP allows to override a method that returns non-reference with a method
that returns a reference. This mean that we cannot use prototypes

Fixed type inference that may cause JIT failure

PHP allows to override a method that returns non-reference with a method
that returns a reference. This mean that we cannot use prototypes to
predict return types of a child functions.

show more ...

Merge branch 'PHP-8.1'

* PHP-8.1:
Fix range() return type inference for undef operand

Fix range() return type inference for undef operand

This results in a long range.

Use more appropriate types in Optimizer

Mainly using zend_result and bool instead of int

Mark private function as static

Generate optimizer func info from stubs for ext/standard - part 3 (#7426)

Add support for generating MAY_BE_ARRAY_OF_REF func info flag (#7416)

Generate optimizer func info from stubs for ext/standard - part 2 (#7414)

Merge branch 'PHP-8.0'

* PHP-8.0:
Fix a few func info

Avoid string copy in get_cfg_var()

basic_functions.c already has a macro for returning an ini
value to userland, so make use of it for get_cfg_var() as well,
after generalizing it to

Avoid string copy in get_cfg_var()

basic_functions.c already has a macro for returning an ini
value to userland, so make use of it for get_cfg_var() as well,
after generalizing it to not write to return_value in particular.

show more ...

Generate optimizer func info from stubs for ext/standard - part 1 (#7413)

Merge branch 'PHP-8.0'

* PHP-8.0:
Fix func info for str_replace() and str_ireplace()

Merge branch 'PHP-8.0'

* PHP-8.0:
Remove incorrect refcount info for addcslashes()

Generate optimizer func info from stubs for various extensions (#7409)

ext/hash, ext/iconv, ext/mbstring, ext/xml, ext/zlib

Generate optimizer func info from stubs for ext/gd and ext/pgsql (#7408)

Generate optimizer func info from stubs for ext/curl, ext/mysqli, ext/pcre (#7407)