|
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 |
|
| #
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, 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 |
|
| #
2eb6a541 |
| 30-Jun-2018 |
Nikita Popov |
Fix typo in compound dim assign op inference
Thankfully a harmless one, just makes inference results worse.
|
|
Revision tags: php-7.3.0alpha2, php-7.1.19, php-7.2.7, php-7.1.19RC1, php-7.3.0alpha1, php-7.2.7RC1, 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.
|
| #
44ba557d |
| 13-Mar-2018 |
Dmitry Stogov |
More accurate symbolic constraints oferflow/unserflow handling (better fix for bug #76074).
|
| #
9c6df8a2 |
| 09-Mar-2018 |
Bob Weinand |
Fix bug #76074 (opcache corrupts variable in for-loop)
|
|
Revision tags: php-7.1.15, php-5.6.34, php-7.2.3, php-7.0.28 |
|
| #
c0abab5f |
| 18-Feb-2018 |
Nikita Popov |
Fix ZEND_SL range inference
This is a bit tricker than right shifts because shifting in the
sign bit flips the sign. The computed bounds are not tight.
|
| #
202989ed |
| 18-Feb-2018 |
Nikita Popov |
Fix ZEND_SR range inference
Handle out-of-range RHS correctly.
|
| #
ae837db8 |
| 18-Feb-2018 |
Nikita Popov |
Handle overloaded GMP operators in type inference
|
| #
39974dd6 |
| 18-Feb-2018 |
Nikita Popov |
Disable negative range inference
The negative range inference implementation does not work correctly,
and it's not clear right now how it can be fixed. As such, disable
it entirely f
Disable negative range inference
The negative range inference implementation does not work correctly,
and it's not clear right now how it can be fixed. As such, disable
it entirely for now.
show more ...
|
| #
846e8a3e |
| 17-Feb-2018 |
Nikita Popov |
Fix COUNT range inference
count() on objects may return a negative number :(
|
| #
1a50a50b |
| 17-Feb-2018 |
Nikita Popov |
Add RC flags in init_func_return_info
|
|
Revision tags: php-7.2.3RC1, php-7.1.15RC1 |
|
| #
7aac61ce |
| 09-Feb-2018 |
Nikita Popov |
Fixed bug #75938
New modulus range inference implementation has been verified using
https://gist.github.com/nikic/67947ff92cf0e1f7e931f2f0d4cf817f.
The computed bounds are not t
Fixed bug #75938
New modulus range inference implementation has been verified using
https://gist.github.com/nikic/67947ff92cf0e1f7e931f2f0d4cf817f.
The computed bounds are not tight, but it seems to be very hard to
compute tight bounds on modulus operations.
show more ...
|
| #
1391a0fa |
| 05-Feb-2018 |
Nikita Popov |
Fixed bug #75893
It is not sufficient to just add the additional types for aliased
variables at the end of type inference, because types of derived
variables may depend on them. Make
Fixed bug #75893
It is not sufficient to just add the additional types for aliased
variables at the end of type inference, because types of derived
variables may depend on them. Make sure the additional types are
always added whenever the type of an aliased variable is updated.
show more ...
|
|
Revision tags: php-7.1.14, php-7.2.2, php-7.1.14RC1, php-7.2.2RC1, php-7.1.13, php-5.6.33, php-7.2.1, php-7.0.27 |
|
| #
f2081877 |
| 16-Dec-2017 |
Nikita Popov |
Backport narrowing fix to 7.1
This is a cherry-pick of 8a4532319dfae83ff16b2d2bbfeed062924c3c27.
|
| #
7a7ec01a |
| 02-Jan-2018 |
Xinchen Hui |
year++
|
| #
ccd4716e |
| 02-Jan-2018 |
Xinchen Hui |
year++
|
| #
a3b5b93b |
| 17-Dec-2017 |
Xinchen Hui |
Updated NEWS
|
| #
8a453231 |
| 16-Dec-2017 |
Nikita Popov |
Improve fix for bug #75687
Adding an (incorrect) UNDEF here may cause subsequent narrowing in
other places.
Instead, let's try to handle this edge-case once for all
instruct
Improve fix for bug #75687
Adding an (incorrect) UNDEF here may cause subsequent narrowing in
other places.
Instead, let's try to handle this edge-case once for all
instructions...
show more ...
|
