1
0
mirror of https://github.com/php/php-src.git synced 2026-03-24 08:12:21 +01:00

Added missed dump of "main" script code

This commit is contained in:
Dmitry Stogov
2017-07-06 23:06:11 +03:00
parent 9ad0d0ca3c
commit fc336c78e7

View File

@@ -1233,6 +1233,8 @@ int zend_optimize_script(zend_script *script, zend_long optimization_level, zend
} }
if (debug_level & ZEND_DUMP_AFTER_OPTIMIZER) { if (debug_level & ZEND_DUMP_AFTER_OPTIMIZER) {
zend_dump_op_array(&script->main_op_array, ZEND_DUMP_RT_CONSTANTS, "after optimizer", NULL);
ZEND_HASH_FOREACH_PTR(&script->function_table, op_array) { ZEND_HASH_FOREACH_PTR(&script->function_table, op_array) {
zend_dump_op_array(op_array, ZEND_DUMP_RT_CONSTANTS, "after optimizer", NULL); zend_dump_op_array(op_array, ZEND_DUMP_RT_CONSTANTS, "after optimizer", NULL);
} ZEND_HASH_FOREACH_END(); } ZEND_HASH_FOREACH_END();