Fixed support for possible indirect variable modification (ext/standard/tests/array/bug77135.phpt failure).

Author: dstogov

ext/opcache/jit/zend_jit_trace.c

@@ -4585,14 +4585,22 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 			if (p->func) {
 				if (p->func->type == ZEND_USER_FUNCTION) {
 					if (JIT_G(opt_level) >= ZEND_JIT_LEVEL_INLINE) {
+						zend_jit_op_array_trace_extension *jit_extension =
+							(zend_jit_op_array_trace_extension*)ZEND_FUNC_INFO(p->op_array);
+						zend_ssa *op_array_ssa = &jit_extension->func_info.ssa;
+
 						i = 0;
 						while (i < p->op_array->num_args) {
 							/* Types of arguments are going to be stored in abstract stack when processing SEV instruction */
 							SET_STACK_TYPE(call->stack, i, IS_UNKNOWN);
 							i++;
 						}
 						while (i < p->op_array->last_var) {
-							SET_STACK_TYPE(call->stack, i, IS_UNDEF);
+							if (zend_jit_var_may_be_modified_indirectly(p->op_array, op_array_ssa, i)) {
+								SET_STACK_TYPE(call->stack, i, IS_UNKNOWN);
+							} else {
+								SET_STACK_TYPE(call->stack, i, IS_UNDEF);
+							}
 							i++;
 						}
 						while (i < p->op_array->last_var + p->op_array->T) {