Fixed bug #75255 (Request hangs and not finish)

Author: dstogov

NEWS

@@ -19,6 +19,9 @@ PHP                                                                        NEWS
 - MySQLi:
   . Fixed bug #75018 (Data corruption when reading fields of bit type). (Anatol)
 
+- Opcache
+  . Fixed bug #75255 (Request hangs and not finish). (Dmitry)
+
 - PDO_mysql:
   . Fixed bug #75177 (Type 'bit' is fetched as unexpected string). (Anatol)
 

ext/opcache/Optimizer/zend_inference.c

@@ -1708,6 +1708,10 @@ static int zend_infer_ranges(const zend_op_array *op_array, zend_ssa *ssa) /* {{
 			for (j = scc_var[scc]; j >= 0; j = next_scc_var[j]) {
 				if (!ssa->var_info[j].has_range) {
 					zend_inference_init_range(op_array, ssa, j, 1, ZEND_LONG_MIN, ZEND_LONG_MAX, 1);
+				} else if (ssa->vars[j].definition_phi &&
+				           ssa->vars[j].definition_phi->pi < 0) {
+					/* narrowing Phi functions first */
+					zend_ssa_range_narrowing(op_array, ssa, j, scc);
 				}
 				zend_bitset_incl(worklist, j);
 			}

ext/opcache/tests/bug75255.phpt

@@ -0,0 +1,18 @@
+--TEST--
+Bug #75255 (Request hangs and not finish)
+--FILE--
+<?php
+function generatePlanImage() {
+    if ($abc > 5) {
+        $abc = 5;
+    }
+    for ($row = 0; $row < $abc; $row++) {
+        for ($col = 0; $col < $numCols; $col++) {
+            getPossibleRatio($abc);
+        }
+    }
+}
+?>
+DONE
+--EXPECT--
+DONE