]> granicus.if.org Git - php/commitdiff
Set result of FREE to unused in block pass
authorNikita Popov <nikic@php.net>
Thu, 10 Nov 2016 13:50:39 +0000 (14:50 +0100)
committerNikita Popov <nikic@php.net>
Thu, 10 Nov 2016 13:55:52 +0000 (14:55 +0100)
ext/opcache/Optimizer/block_pass.c

index e36c533d375e4a80a8b9d6ac4d6a34a11e78c0c5..242016e1b3a90e3f008dba47b6f0c3a0ef7d686c 100644 (file)
@@ -1659,6 +1659,7 @@ static void zend_t_usage(zend_cfg *cfg, zend_op_array *op_array, zend_bitset use
                                                case ZEND_BOOL_NOT:
                                                        if (ZEND_OP1_TYPE(opline) == IS_TMP_VAR) {
                                                                opline->opcode = ZEND_FREE;
+                                                               SET_UNUSED(opline->result);
                                                        } else {
                                                                if (ZEND_OP1_TYPE(opline) == IS_CONST) {
                                                                        literal_dtor(&ZEND_OP1_LITERAL(opline));