mirror of
https://github.com/php/php-src.git
synced 2024-11-24 02:15:04 +08:00
Added missed dump of "main" script code
This commit is contained in:
parent
9ad0d0ca3c
commit
fc336c78e7
@ -1233,6 +1233,8 @@ int zend_optimize_script(zend_script *script, zend_long optimization_level, zend
|
||||
}
|
||||
|
||||
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_dump_op_array(op_array, ZEND_DUMP_RT_CONSTANTS, "after optimizer", NULL);
|
||||
} ZEND_HASH_FOREACH_END();
|
||||
|
Loading…
Reference in New Issue
Block a user