Passing values to FFI functions won't change their types

Author: dstogov

ext/opcache/jit/zend_jit_trace.c

@@ -7189,6 +7189,18 @@ static const void *zend_jit_trace(zend_jit_trace_rec *trace_buffer, uint32_t par
 					 || opline->opcode == ZEND_FE_RESET_R) {
 						/* keep old value */
 						type = STACK_TYPE(stack, EX_VAR_TO_NUM(opline->op1.var));
+#ifdef HAVE_FFI
+					} else if (JIT_G(current_frame)
+					 && JIT_G(current_frame)->call
+					 && TRACE_FRAME_FFI(JIT_G(current_frame)->call)
+					 && (opline->opcode == ZEND_SEND_VAR_EX
+					  || opline->opcode == ZEND_SEND_VAR_NO_REF
+					  || opline->opcode == ZEND_SEND_VAR_NO_REF_EX
+					  || opline->opcode == ZEND_SEND_FUNC_ARG)
+					 && opline->op2_type != IS_CONST) {
+						/* keep old value */
+						type = STACK_TYPE(stack, EX_VAR_TO_NUM(opline->op1.var));
+#endif
 					}
 					SET_STACK_TYPE(stack, EX_VAR_TO_NUM(opline->op1.var), type,
 						(gen_handler || type == IS_UNKNOWN || !ra ||