History log of /PHP-7.3/ext/opcache/Optimizer/zend_inference.c (Results 1 – 25 of 176)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
# 65120cfc 25-Mar-2020 Dmitry Stogov

Fixed bug #79412 (Opcache chokes and uses 100% CPU on specific script).


# 34f1266a 23-Mar-2020 Nikita Popov

Handle NULL caller_call_opline

This can happen if there is an EXIT in the call arguments, in which
case the DO_CALL opcode may be eliminated as unreachable.


# 5b51b633 27-Feb-2020 Dmitry Stogov

Fixed incorrect overflow detection


Revision tags: php-7.3.13RC1, php-7.2.26RC1, php-7.4.0, php-7.2.25, php-7.3.12, php-7.4.0RC6, php-7.3.12RC1, php-7.2.25RC1, php-7.4.0RC5, php-7.1.33, php-7.2.24, php-7.3.11, php-7.4.0RC4, php-7.3.11RC1, php-7.2.24RC1, php-7.4.0RC3, php-7.2.23, php-7.3.10, php-7.4.0RC2, php-7.2.23RC1, php-7.3.10RC1, php-7.4.0RC1, php-7.1.32, php-7.2.22, php-7.3.9, php-7.4.0beta4, php-7.2.22RC1, php-7.3.9RC1, php-7.4.0beta2, php-7.1.31, php-7.2.21, php-7.3.8, php-7.4.0beta1, php-7.2.21RC1, php-7.3.8RC1, php-7.4.0alpha3
# 5846e852 05-Jul-2019 Nikita Popov

Backport fe_reset_rw case


# c353f17d 05-Jul-2019 Nikita Popov

Fix inference for compound object op on dim


Revision tags: php-7.3.7, php-7.2.20, php-7.4.0alpha2, php-7.3.7RC3, php-7.3.7RC2, php-7.2.20RC2, php-7.4.0alpha1, php-7.3.7RC1, php-7.2.20RC1, php-7.2.19
# 59dfaa3f 28-May-2019 Nikita Popov

Fix type inference of SEND_UNPACK with empty array

An empty array will not be turned into an array of references.
This violated the invariant than an array has values iff it has
keys.


Revision tags: php-7.3.6, php-7.1.30, php-7.2.19RC1, php-7.3.6RC1, php-7.1.29, php-7.2.18, php-7.3.5, php-7.2.18RC1, php-7.3.5RC1, php-7.2.17, php-7.3.4, php-7.1.28, php-7.3.4RC1, php-7.2.17RC1, php-7.1.27, php-7.3.3, php-7.2.16
# 2cfb09ca 22-Feb-2019 Nikita Popov

Fix inference warning about missing key type


Revision tags: php-7.3.3RC1, php-7.2.16RC1, php-7.2.15, php-7.3.2, php-7.2.15RC1, php-7.3.2RC1, php-5.6.40, php-7.1.26, php-7.3.1, php-7.2.14, php-7.2.14RC1, php-7.3.1RC1, php-5.6.39, php-7.1.25, php-7.2.13, php-7.0.33, php-7.3.0, php-7.1.25RC1, php-7.2.13RC1, php-7.3.0RC6, php-7.1.24, php-7.2.12, php-7.3.0RC5
# 9afce019 01-Nov-2018 Zeev Suraski

Future-proof email addresses


# f1ceec55 25-Oct-2018 Nikita Popov

Fixed bug #77058

Account for the fact that undef must be interpreted as null for
the purposes of INC/DEC inference.


# e7153e8a 25-Oct-2018 Nikita Popov

Improve "narrowing" error message

By including the opcode name.


Revision tags: php-7.1.24RC1, php-7.2.12RC1, php-7.3.0RC4
# 902d39a3 13-Oct-2018 Peter Kokot

Trim trailing whitespace in source code files


# 7f6387b5 13-Oct-2018 Peter Kokot

Trim trailing whitespace in source code files


Revision tags: php-7.1.23, php-7.2.11, php-7.3.0RC3, php-7.1.23RC1, php-7.2.11RC1, php-7.3.0RC2, php-5.6.38, php-7.1.22, php-7.3.0RC1, php-7.2.10, php-7.0.32, php-7.1.22RC1, php-7.3.0beta3, php-7.2.10RC1
# b8828926 20-Aug-2018 Dmitry Stogov

Avoid hash lookups in BIND_STATIC and BIND_LEXICAL opcode handlers.
Encode static variable offset into opline->extended_value.


Revision tags: php-7.1.21, php-7.2.9, php-7.3.0beta2, php-7.1.21RC1, php-7.3.0beta1, php-7.2.9RC1, php-5.6.37, php-7.1.20, php-7.3.0alpha4, php-7.0.31, php-7.2.8, php-7.1.20RC1, php-7.2.8RC1, php-7.3.0alpha3
# 57af94c8 02-Jul-2018 Dmitry Stogov

Partial revert of 30156d588c07e26d4e752ddb62344e96854d4773


# 30156d58 28-Jun-2018 Rudi Theunissen

Fixed bug #63217

Don't automatically convert literal string keys to integers on
array access, as we may be dealing with an ArrayAccess object,
rather than a plain array.


# 2eb6a541 30-Jun-2018 Nikita Popov

Fix typo in compound dim assign op inference

Thankfully a harmless one, just makes inference results worse.


# 1b80de93 26-Jun-2018 Dmitry Stogov

Cleanup conditions


# 54f171cd 26-Jun-2018 Dmitry Stogov

Restored zend_array_element_type() prototype


# 102bcb5c 25-Jun-2018 Nikita Popov

Update array_element_type inference for previous change

LIST_R and DIM_IS return value can't be MAY_BE_REF anymore.


# 490a49d0 25-Jun-2018 Nikita Popov

Use COPY_DEREF for DIM_IS and LIST_R as well

Also add an upgrading note for the behavior change, not that we
expect anyone to be affected...


# 7793bc8e 25-Jun-2018 Dmitry Stogov

Improved type inference. Result of opcodes using ZVAL_COPY_DEREF can't be MAY_BE_REF.


Revision tags: php-7.3.0alpha2, php-7.1.19, php-7.2.7
# 61d00a6c 14-Jun-2018 Nikita Popov

Use COPY_DEREF instead of COPY_UNREF

This fixes the behavior when the storage location of the fetch is
modified before the operand is dereferenced by the using VM opcode.

Furthe

Use COPY_DEREF instead of COPY_UNREF

This fixes the behavior when the storage location of the fetch is
modified before the operand is dereferenced by the using VM opcode.

Furthermore it elimiates references as a possible return value from
*_R opcodes, which will give us more opportunities for inferences,
in particular in regard to typed properties.

show more ...


# 1cc99331 12-Jun-2018 Xinchen Hui

Fixed bug #76463 (var has array key type but not value type)


Revision tags: php-7.1.19RC1, php-7.3.0alpha1, php-7.2.7RC1
# 5eb1f92f 28-May-2018 Dmitry Stogov

Use zend_string_release_ex() instread of zend_string_release() in places, where we sure about string persistence.


Revision tags: php-7.1.18, php-7.2.6, php-7.2.6RC1, php-7.1.18RC1, php-5.6.36, php-7.2.5, php-7.1.17, php-7.0.30, php-7.1.17RC1, php-7.2.5RC1, php-5.6.35, php-7.0.29, php-7.2.4, php-7.1.16, php-7.1.16RC1, php-7.2.4RC1
# 0643c7ab 13-Mar-2018 Dmitry Stogov

Revert "More accurate symbolic constraints oferflow/unserflow handling (better fix for bug #76074)."

This reverts commit 44ba557de5c0d767ff6ccfcc2c8bde7d7c0746fe.


12345678