diff options
Diffstat (limited to 'sandbox-php74.patch')
| -rw-r--r-- | sandbox-php74.patch | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/sandbox-php74.patch b/sandbox-php74.patch new file mode 100644 index 0000000..323381b --- /dev/null +++ b/sandbox-php74.patch @@ -0,0 +1,23 @@ +From c4b8428acca58387d80698d3428a53148ac72a7e Mon Sep 17 00:00:00 2001 +From: Remi Collet <remi@remirepo.net> +Date: Fri, 6 Sep 2019 11:04:22 +0200 +Subject: [PATCH] fix for 7.4 + +--- + src/copy.c | 2 ++ + 1 file changed, 2 insertions(+) + +diff --git a/src/copy.c b/src/copy.c +index c0af965..e2f959b 100644 +--- a/src/copy.c ++++ b/src/copy.c +@@ -223,7 +223,9 @@ static inline zend_op* php_sandbox_copy_opcodes(zend_op_array *op_array, zval *l + case ZEND_JMP: + case ZEND_FAST_CALL: + case ZEND_DECLARE_ANON_CLASS: ++#if PHP_VERSION_ID < 70400 + case ZEND_DECLARE_ANON_INHERITED_CLASS: ++#endif + opline->op1.jmp_addr = ©[opline->op1.jmp_addr - op_array->opcodes]; + break; + |