1
0
mirror of https://github.com/php/php-src.git synced 2026-04-04 06:32:49 +02:00

One more place

This commit is contained in:
Dmitry Stogov
2019-10-10 02:21:37 +03:00
parent bf5d299ef4
commit d9964efe23

View File

@@ -291,7 +291,7 @@ void zend_optimizer_pass3(zend_op_array *op_array, zend_optimizer_ctx *ctx)
target = ZEND_OP1_JMP_ADDR(target);
CHECK_LOOP(target);
ZEND_SET_OP_JMP_ADDR(opline, opline->op2, target);
} else if (target->opcode == ZEND_JMP) {
} else if (target->opcode == ZEND_NOP) {
target = target + 1;
ZEND_SET_OP_JMP_ADDR(opline, opline->op2, target);
} else {