Update array_element_type inference for previous change

LIST_R and DIM_IS return value can't be MAY_BE_REF anymore.

diff --git a/ext/opcache/Optimizer/zend_inference.c b/ext/opcache/Optimizer/zend_inference.c
index b49fa61e31cc8c27abbc2f3143c62b20b73ca9c1..650a458df7e00fdf0e48eae0cff36d2d6b0e9eba 100644 (file)
--- a/ext/opcache/Optimizer/zend_inference.c
+++ b/ext/opcache/Optimizer/zend_inference.c
@@ -2059,7 +2059,7 @@ uint32_t zend_array_element_type(zend_op *opline, uint32_t t1)
                                tmp |= MAY_BE_ARRAY_KEY_ANY | MAY_BE_ARRAY_OF_ANY | MAY_BE_ARRAY_OF_REF;
                        }
                        if (t1 & MAY_BE_ARRAY_OF_REF) {
-                               if (opline->opcode == ZEND_FETCH_DIM_R) {
+                               if (!write) {
                                        /* can't be REF  because of ZVAL_COPY_DEREF() usage */
                                        tmp |= MAY_BE_RC1 | MAY_BE_RCN;
                                } else {