From: Xinchen Hui <laruence@gmail.com>
Date: Sun, 17 Dec 2017 01:48:27 +0000 (+0800)
Subject: Added integrity check before dfa
X-Git-Tag: php-7.3.0alpha1~776
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=31c0e7b0ec3a223e07208b9a2cbf9312eb6187a6;p=php

Added integrity check before dfa
---

diff --git a/ext/opcache/Optimizer/dfa_pass.c b/ext/opcache/Optimizer/dfa_pass.c
index 976cd2d192..4c69fce30b 100644
--- a/ext/opcache/Optimizer/dfa_pass.c
+++ b/ext/opcache/Optimizer/dfa_pass.c
@@ -874,6 +874,10 @@ void zend_dfa_optimize_op_array(zend_op_array *op_array, zend_optimizer_ctx *ctx
 		zend_op *opline;
 		zval tmp;
 
+#if ZEND_DEBUG_DFA
+		ssa_verify_integrity(op_array, ssa, "before dfa");
+#endif
+
 		if (ZEND_OPTIMIZER_PASS_8 & ctx->optimization_level) {
 			if (sccp_optimize_op_array(ctx, op_array, ssa, call_map)) {
 				remove_nops = 1;