summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNikita Popov <nikita.ppv@gmail.com>2019-07-24 20:51:19 +0200
committerNikita Popov <nikita.ppv@gmail.com>2019-07-24 20:51:19 +0200
commit99d4b2bddc4cd42456e03d91d0454726767e35bd (patch)
tree050821bd69ed6bbb237cc02fa4a14d3a62245e2b
parent853b426ecf1f0b631cf085ee313632811ddd6d24 (diff)
downloadphp-git-99d4b2bddc4cd42456e03d91d0454726767e35bd.tar.gz
Mark _get_zval_ptr_deref as unused
-rw-r--r--Zend/zend_execute.c2
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) {