Fixed GH-8251: Narrowing occurred during type inference of ZEND_FETCH_DIM_W

Author: dstogov

Zend/Optimizer/zend_inference.c

@@ -3682,9 +3682,7 @@ static zend_always_inline zend_result _zend_update_type_info(
 					UPDATE_SSA_TYPE(tmp, ssa_op->op1_def);
 				} else {
 					/* invalid key type */
-					tmp = (tmp & (MAY_BE_RC1|MAY_BE_RCN|MAY_BE_ARRAY)) |
-						(t1 & ~(MAY_BE_RC1|MAY_BE_RCN|MAY_BE_UNDEF|MAY_BE_NULL|MAY_BE_FALSE));
-					UPDATE_SSA_TYPE(tmp, ssa_op->op1_def);
+					return SUCCESS;
 				}
 				COPY_SSA_OBJ_TYPE(ssa_op->op1_use, ssa_op->op1_def);
 			}

ext/opcache/tests/opt/inference_023.phpt

@@ -0,0 +1,24 @@
+--TEST--
+Type inference 023: FETCH_DIM_W
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.optimization_level=-1
+--FILE--
+<?php
+function foo($data): array {
+    $a = [];
+    $n = -1;
+    foreach ($data as $d) {
+       if ($n >= 0) {
+            $a[$n]->x = 2;
+       }
+       $n++;
+       $a[$n] = new stdClass();
+       $a[$n]->x = 1;
+	}
+}
+?>
+DONE
+--EXPECT--
+DONE