1 upstream bug: http://bugs.php.net/bug.php?id=46311
2 The current patch follows a suggestion from Siarhei Siamashka
4 --- Zend/zend_execute.h.old 2013-01-01 13:49:04.587825704 +0100
5 +++ Zend/zend_execute.h 2013-01-01 13:53:28.762958578 +0100
7 void **end = p - (int)(zend_uintptr_t)*p;
10 - zval *q = *(zval **)(--p);
11 + zval *q = (zval *)*(--p);
13 i_zval_ptr_dtor(q ZEND_FILE_LINE_CC);