+++ /dev/null
-upstream bug: http://bugs.php.net/bug.php?id=46311
-The current patch follows a suggestion from Siarhei Siamashka
-Adapted for php 5.5
---- Zend/zend_execute.h.old 2013-01-01 13:49:04.587825704 +0100
-+++ Zend/zend_execute.h 2013-01-01 13:53:28.762958578 +0100
-@@ -293,7 +293,7 @@
- void **end = p - (int)(zend_uintptr_t)*p;
-
- while (p != end) {
-- zval *q = *(zval **)(--p);
-+ zval *q = (zval *)*(--p);
- *p = NULL;
- i_zval_ptr_dtor(q ZEND_FILE_LINE_CC);
- }