From: Dmitry Stogov <dmitry@zend.com>
Date: Thu, 7 Sep 2017 14:10:38 +0000 (+0300)
Subject: Fixed SSA reconstruction
X-Git-Tag: php-7.2.0RC2~34
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=251a5599b41657a8bf7396f3a77d36d01630a7ba;p=php

Fixed SSA reconstruction
---

diff --git a/ext/opcache/Optimizer/zend_ssa.c b/ext/opcache/Optimizer/zend_ssa.c
index 3811165948..422813f0e8 100644
--- a/ext/opcache/Optimizer/zend_ssa.c
+++ b/ext/opcache/Optimizer/zend_ssa.c
@@ -1213,14 +1213,14 @@ static inline zend_ssa_phi **zend_ssa_next_use_phi_ptr(zend_ssa *ssa, int var, z
 
 /* May be called even if source is not used in the phi (useful when removing uses in a phi
  * with multiple identical operands) */
-static inline void zend_ssa_remove_use_of_phi_source(zend_ssa *ssa, zend_ssa_phi *phi, int source) /* {{{ */
+static inline void zend_ssa_remove_use_of_phi_source(zend_ssa *ssa, zend_ssa_phi *phi, int source, zend_ssa_phi *next_use_phi) /* {{{ */
 {
 	zend_ssa_phi **cur = &ssa->vars[source].phi_use_chain;
 	while (*cur && *cur != phi) {
 		cur = zend_ssa_next_use_phi_ptr(ssa, source, *cur);
 	}
 	if (*cur) {
-		*cur = zend_ssa_next_use_phi(ssa, source, *cur);
+		*cur = next_use_phi;
 	}
 }
 /* }}} */
@@ -1229,7 +1229,7 @@ static void zend_ssa_remove_uses_of_phi_sources(zend_ssa *ssa, zend_ssa_phi *phi
 {
 	int source;
 	FOREACH_PHI_SOURCE(phi, source) {
-		zend_ssa_remove_use_of_phi_source(ssa, phi, source);
+		zend_ssa_remove_use_of_phi_source(ssa, phi, source, zend_ssa_next_use_phi(ssa, source, phi));
 	} FOREACH_PHI_SOURCE_END();
 }
 /* }}} */
@@ -1289,7 +1289,7 @@ static inline void zend_ssa_remove_phi_source(zend_ssa *ssa, zend_ssa_phi *phi,
 	}
 
 	/* Variable only used in one operand, remove the phi from the use chain. */
-	zend_ssa_remove_use_of_phi_source(ssa, phi, var_num);
+	zend_ssa_remove_use_of_phi_source(ssa, phi, var_num, phi->use_chains[pred_offset]);
 	phi->use_chains[pred_offset] = NULL;
 }
 /* }}} */
diff --git a/ext/opcache/tests/ssa_bug_008.phpt b/ext/opcache/tests/ssa_bug_008.phpt
new file mode 100644
index 0000000000..f65dd3032b
--- /dev/null
+++ b/ext/opcache/tests/ssa_bug_008.phpt
@@ -0,0 +1,10 @@
+--TEST--
+Incorrect CFG/SSA reconstruction
+--FILE--
+<?php
+if (!is_int($info = gc_collect_cycles()) || ($info < 100)) {
+        echo gettype($info)."\n";
+}
+--EXPECT--
+integer
+