summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2020-09-01 12:25:56 +0200
committerNikita Popov <nikita.ppv@gmail.com>2020-09-01 12:26:18 +0200
commitc088a9369f0eb4e3231bc2582d82c098f16ef72e (patch)
tree7cbbd6104848b5965cf28f5e31758e502c9e01ee
parent682823b75bd8fc11a2f1f2c1d1a11cdeea26c847 (diff)
parent37612936a1ede4e656514dc62c42a5e42e976046 (diff)
downloadphp-git-c088a9369f0eb4e3231bc2582d82c098f16ef72e.tar.gz
Merge branch 'PHP-7.4'
* PHP-7.4: Fix pi node removal when removing predecessor
-rw-r--r--Zend/tests/remove_predecessor_of_pi_node.phpt14
-rw-r--r--ext/opcache/Optimizer/zend_ssa.c2
2 files changed, 15 insertions, 1 deletions
diff --git a/Zend/tests/remove_predecessor_of_pi_node.phpt b/Zend/tests/remove_predecessor_of_pi_node.phpt
new file mode 100644
index 0000000000..6231f08b3f
--- /dev/null
+++ b/Zend/tests/remove_predecessor_of_pi_node.phpt
@@ -0,0 +1,14 @@
+--TEST--
+Regression test for incorrect update of pi node users when removing a predecessor block
+--FILE--
+<?php
+
+function test() {
+ for (; $n--; )
+ C;
+}
+test();
+
+?>
+--EXPECTF--
+Warning: Undefined variable $n in %s on line %d
diff --git a/ext/opcache/Optimizer/zend_ssa.c b/ext/opcache/Optimizer/zend_ssa.c
index 79de1e2f66..28a39823b5 100644
--- a/ext/opcache/Optimizer/zend_ssa.c
+++ b/ext/opcache/Optimizer/zend_ssa.c
@@ -1409,7 +1409,7 @@ void zend_ssa_remove_predecessor(zend_ssa *ssa, int from, int to) /* {{{ */
for (phi = next_ssa_block->phis; phi; phi = phi->next) {
if (phi->pi >= 0) {
if (phi->pi == from) {
- zend_ssa_remove_uses_of_var(ssa, phi->ssa_var);
+ zend_ssa_rename_var_uses(ssa, phi->ssa_var, phi->sources[0], /* update_types */ 0);
zend_ssa_remove_phi(ssa, phi);
}
} else {