delta/php-git.git/ext/opcache/Optimizer/zend_inference.c, branch php-8.0.2 git.php.net: repository/php-src.git Fixed bug #80404 2020-11-24T10:35:44+00:00 Nikita Popov nikita.ppv@gmail.com 2020-11-24T10:31:53+00:00 03f8bccaf545817237ee5b92a0cad6aefbe4e603 For a division like [1..1]/[2..2] produce [0..1] as a result, which would be the integer envelope of the floating-point result. The implementation is pretty ugly (we're now taking min/max across eight values...) but I couldn't come up with a more elegant way to handle this that doesn't make things a lot more complex (the division sign handling is the annoying issue here). 
For a division like [1..1]/[2..2] produce [0..1] as a result, which
would be the integer envelope of the floating-point result.

The implementation is pretty ugly (we're now taking min/max across
eight values...) but I couldn't come up with a more elegant way
to handle this that doesn't make things a lot more complex (the
division sign handling is the annoying issue here).
Fixed MAY_BE_INDIRECT inference 2020-11-16T15:17:05+00:00 Dmitry Stogov dmitry@zend.com 2020-11-16T15:17:05+00:00 3fb1b0862c3742a1ef2d491ce8c9045bf2abc87c 






Merge branch 'PHP-7.4' into PHP-8.0
2020-10-30T14:52:46+00:00

Nikita Popov
nikita.ppv@gmail.com

2020-10-30T14:52:24+00:00

5958137dc512ca4c6c82576b6f045559e39791e1

* PHP-7.4:
  Fix SSA integrity violation for type inference in dead code





* PHP-7.4:
  Fix SSA integrity violation for type inference in dead code







Fix SSA integrity violation for type inference in dead code
2020-10-30T14:52:10+00:00

Nikita Popov
nikita.ppv@gmail.com

2020-10-30T14:48:03+00:00

83738281eb9f2577eda1c76a6acfe644d6fcc6c1

The foreach body can never be executed and thus may contain empty
types. We should still uphold our SSA integrity invariants in that
case.





The foreach body can never be executed and thus may contain empty
types. We should still uphold our SSA integrity invariants in that
case.







Fixed MAY_BE_INDIRECT inference.
2020-10-26T18:48:13+00:00

Dmitry Stogov
dmitry@zend.com

2020-10-26T18:48:13+00:00

b7df636589d6e9039b9f78b9295169e011fa630c












Fixed reference-counter inference
2020-10-22T20:15:39+00:00

Dmitry Stogov
dmitry@zend.com

2020-10-22T20:15:39+00:00

838d8d0ba0aea856a395e605c990bd44d4fb325e












Fixed range propagation
2020-10-19T23:27:24+00:00

Dmitry Stogov
dmitry@zend.com

2020-10-19T23:27:24+00:00

ee5b1dd6dc27e750dc55c5cebfc30fec2f2b6e18












Perform trace range propagation
2020-10-12T21:18:17+00:00

Dmitry Stogov
dmitry@zend.com

2020-10-12T21:18:17+00:00

87beb22ff80a1d994cda6a551e626ddcbb063abb












Handle missing result_var in binary_op_result_type
2020-09-11T20:36:41+00:00

Nikita Popov
nikita.ppv@gmail.com

2020-09-11T20:36:41+00:00

8446e2827585c37d0739f8d44fa8d359cbbb6551

For dim/obj compound ops we don't have a result_var. Not sure why
this never caused issues before, but this can crash with JIT.





For dim/obj compound ops we don't have a result_var. Not sure why
this never caused issues before, but this can crash with JIT.







Avoid more exception checks
2020-09-09T20:25:54+00:00

Dmitry Stogov
dmitry@zend.com

2020-09-09T20:25:54+00:00

1c59bd5caaf6b644559e293fe6fb6969727312d6