diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-24 20:51:19 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-24 20:51:19 +0200 |
commit | 99d4b2bddc4cd42456e03d91d0454726767e35bd (patch) | |
tree | 050821bd69ed6bbb237cc02fa4a14d3a62245e2b | |
parent | 853b426ecf1f0b631cf085ee313632811ddd6d24 (diff) | |
download | php-git-99d4b2bddc4cd42456e03d91d0454726767e35bd.tar.gz |
Mark _get_zval_ptr_deref as unused
-rw-r--r-- | Zend/zend_execute.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Zend/zend_execute.c b/Zend/zend_execute.c index 8f21590524..a701442196 100644 --- a/Zend/zend_execute.c +++ b/Zend/zend_execute.c @@ -435,7 +435,7 @@ static zend_always_inline zval *_get_op_data_zval_ptr_r(int op_type, znode_op no } } -static zend_always_inline zval *_get_zval_ptr_deref(int op_type, znode_op node, zend_free_op *should_free, int type EXECUTE_DATA_DC OPLINE_DC) +static zend_always_inline ZEND_ATTRIBUTE_UNUSED zval *_get_zval_ptr_deref(int op_type, znode_op node, zend_free_op *should_free, int type EXECUTE_DATA_DC OPLINE_DC) { if (op_type & (IS_TMP_VAR|IS_VAR)) { if (op_type == IS_TMP_VAR) { |