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

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.

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.

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

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)

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)

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)

Generate optimizer func info from stubs for ext/sodium (#7404)

Generate optimizer func info from stubs for ext/date (#7403)

Generate optimizer func info from stubs for a few extensions - part 2 (#7401)

ext/bcmath, ext/fileinfo, ext/filter, ext/gettext, ext/session

Generate Zend, ext/spl and ext/json optimizer func info from stubs

Closes GH-7397

Add support for generating optimizer function info from stubs (#7367)

Drop gz aliases from func info

Func info does not need to include function aliases, we'll look
up based on the primary function name.

Returned interned string from fgetc()

Make use of single-character interned strings.

Fix func info for constant()/get_defined_constants()

As pointed out on GH-7367, these have not been adjusted for
object constant support.

Now the only thing the type info specif

Fix func info for constant()/get_defined_constants()

As pointed out on GH-7367, these have not been adjusted for
object constant support.

Now the only thing the type info specifies is that array of ref
is not possible.

show more ...

Add support for verifying optimizer func info

This is guarded by -DZEND_VERIFY_FUNC_INFO=1. Enable this on the
variation job.

Closes GH-6924.