1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 08:12:21 +01:00
Files
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
..
2025-07-01 18:50:41 +02:00
2025-06-25 03:20:49 +05:30
2025-06-25 03:20:49 +05:30
2022-12-19 12:11:16 +03:00
2022-09-19 13:12:49 +03:00
2023-04-16 15:34:56 +02:00
2023-04-16 15:34:56 +02:00
2023-03-06 15:03:19 +01:00
2025-06-25 03:20:49 +05:30
2024-01-14 19:12:41 +01:00
2024-03-26 12:33:44 +01:00
2024-03-26 12:33:44 +01:00
2024-03-26 12:33:44 +01:00
2025-09-03 18:14:43 +02:00
2025-05-19 19:05:32 +02:00
2023-07-25 17:54:14 +02:00
2022-09-26 11:43:38 +03:00