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

..

block_pass.c

Merge branch 'PHP-8.2' into PHP-8.3

2023-11-01 09:55:37 +03:00

compact_literals.c

Fix comp-time and constant evaluation of dynamic class constant fetch

2023-02-02 19:18:17 +01:00

compact_vars.c

Fix GH-13817: Segmentation fault for enabled observers after pass 4

2024-07-22 18:28:03 +02:00

dce.c

Allow arbitrary expressions in static variable initializer

2023-05-24 20:17:31 +02:00

dfa_pass.c

Allow arbitrary expressions in static variable initializer

2023-05-24 20:17:31 +02:00

escape_analysis.c

Merge branch 'PHP-8.2' into PHP-8.3

2024-07-19 14:59:44 +02:00

nop_removal.c

…

optimize_func_calls.c

Merge branch 'PHP-8.1' into PHP-8.2

2023-09-07 14:25:43 +02:00

optimize_temp_vars_5.c

Fix GH-13817: Segmentation fault for enabled observers after pass 4

2024-07-22 18:28:03 +02:00

pass1.c

Fix array to string conversion warning emitted in optimizer

2024-10-14 13:24:05 +02:00

pass3.c

…

sccp.c

[RFC] Path to Saner Increment/Decrement operators (#10358)

2023-07-17 15:51:24 +01:00

scdf.c

Revert GH-10279

2023-01-16 12:25:59 +01:00

scdf.h

Make various pointers const in Zend/ (#10608)

2023-02-20 14:00:59 +00:00

ssa_integrity.c

Merge branch 'PHP-8.2' into PHP-8.3

2023-12-18 13:15:19 +01:00

zend_call_graph.c

Revert GH-10279

2023-01-16 12:25:59 +01:00

zend_call_graph.h

[ci skip] Add a comment to clarify the value of zend_call_info->num_args (#10812)

2023-03-09 13:00:21 +00:00

zend_cfg.c

Fix GH-18107: Opcache CFG jmp optimization with try-finally breaks the exception table

2025-03-21 13:56:31 +01:00

zend_cfg.h

Revert GH-10279

2023-01-16 12:25:59 +01:00

zend_dfg.c

Allow arbitrary expressions in static variable initializer

2023-05-24 20:17:31 +02:00

zend_dfg.h

…

zend_dump.c

Merge branch 'PHP-8.2' into PHP-8.3

2023-11-03 10:58:32 +03:00

zend_dump.h

zend_compiler, ...: use uint8_t instead of zend_uchar (#10621)

2023-02-23 14:56:54 +00:00

zend_func_info.c

Fix range inference since "proper-range-semantics" RFC

2024-01-17 15:42:17 +01:00

zend_func_info.h

…

zend_func_infos.h

Fix RCN violations in array functions

2025-06-24 23:29:00 +02:00

zend_inference.c

Ensure that type widening converges

2025-09-04 08:58:06 +02:00

zend_inference.h

Merge branch 'PHP-8.2' into PHP-8.3

2023-11-03 10:55:33 +03:00

zend_optimizer_internal.h

zend_compiler, ...: use uint8_t instead of zend_uchar (#10621)

2023-02-23 14:56:54 +00:00

zend_optimizer.c

Fix ZEND_MATCH_ERROR misoptimization

2024-12-12 13:10:34 +01:00

zend_optimizer.h

Revert GH-10279

2023-01-16 12:25:59 +01:00

zend_ssa.c

Fix GH-19065: Long match statement can segfault compiler during recursive SSA renaming

2025-08-11 23:05:21 +02:00

zend_ssa.h

Fix clang warning

2023-07-18 00:49:13 +02:00

zend_worklist.h

Make various pointers const in Zend/ (#10608)

2023-02-20 14:00:59 +00:00