Added integrity check before dfa

diff --git a/ext/opcache/Optimizer/dfa_pass.c b/ext/opcache/Optimizer/dfa_pass.c
index 976cd2d192a321cc80e71b7a5552b7ccf7e99bb6..4c69fce30b497015ed476a2923e8b4003d22645c 100644 (file)
--- 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;