Merge branch 'PHP-8.0' into PHP-8.1

* PHP-8.0:
  Handle FETCH_DIM_R after FETCH_DIM_FUNC_ARG in inference

Author: nikic

Zend/Optimizer/zend_inference.c

@@ -3422,6 +3422,7 @@ static zend_always_inline int _zend_update_type_info(
 								 * is already an object. */
 								break;
 							case ZEND_SEND_VAR:
+							case ZEND_FETCH_DIM_R:
 								/* This can occur if a DIM_FETCH_FUNC_ARG with UNUSED op2 is left
 								 * behind, because it can't be converted to DIM_FETCH_R. */
 								break;

Zend/tests/func_arg_fetch_optimization.phpt

@@ -0,0 +1,15 @@
+--TEST--
+FETCH_DIM_FUNC_ARG that cannot be optimized to FETCH_DIM_R because it appends
+--FILE--
+<?php
+function test($x) {
+    test($x[][$y]);
+}
+try {
+    test([]);
+} catch (Error $e) {
+    echo $e->getMessage(), "\n";
+}
+?>
+--EXPECT--
+Cannot use [] for reading