1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 16:22:37 +01:00
Files
archived-php-src/Zend/Optimizer
Arnaud Le Blanc bd88a54934 Ensure that type widening converges
Range analysis may fail to converge (the process hangs) when the transfer
function zend_inference_calc_range produces a smaller range.

Fix by ensuring that the widening operator zend_inference_widening_meet
allows only widening. This matches the inference rules in figure 13 of the
paper.

Fixes GH-19679
Closes GH-19683
2025-09-04 08:58:06 +02:00
..
2023-01-16 12:25:59 +01:00
2023-01-16 12:25:59 +01:00
2023-01-16 12:25:59 +01:00
2023-01-16 12:25:59 +01:00
2023-07-18 00:49:13 +02:00