Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed bug #75687 (var 8 (TMP) has array key type but not value type)

ext/opcache/Optimizer/zend_inference.c

@@ -3371,6 +3371,9 @@ int zend_infer_types_ex(const zend_op_array *op_array, const zend_script *script
 							/* Ignore the constraint (either ce instanceof constraint->ce or
 							 * they are unrelated, as far as we can statically determine) */
 						}
+					} else if ((tmp & MAY_BE_ANY) == 0) {
+						/* FIXME: usage in unreachable block */
+						tmp |= MAY_BE_UNDEF;
 					}
 				}
 

ext/opcache/tests/bug75687.phpt

@@ -0,0 +1,21 @@
+--TEST--
+Bug #75687 (var 8 (TMP) has array key type but not value type)
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.optimization_level=-1
+--SKIPIF--
+<?php require_once('skipif.inc'); ?>
+--FILE--
+<?php
+
+function x($y)
+{
+	if (is_array($y)) {
+		$z = is_array($y) ? array() : array($y);
+	}
+}
+?>
+okey
+--EXPECT--
+okey