Fixed bug #71165 (-DGC_BENCH=1 doesn't work on PHP7)

diff --git a/NEWS b/NEWS
index 70e11367aa6814c12a750e899a90fbae4e1cef03..c770e71b309c886f9b0db9165a21df6f35c6c219 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,8 @@ PHP                                                                        NEWS
 ?? Jan 2016 PHP 7.0.2
 
 - Core:
+  . Fixed bug #71165 (-DGC_BENCH=1 doesn't work on PHP7).
+    (y.uchiyama.1015 at gmail.com)
   . Fixed bug #71163 (Segmentation Fault: cleanup_unfinished_calls). (Laruence)
   . Fixed bug #71109 (ZEND_MOD_CONFLICTS("xdebug") doesn't work). (Laruence)
   . Fixed bug #71105 (Format String Vulnerability in Class Name Error Message).

diff --git a/Zend/zend.c b/Zend/zend.c
index ec520b8b0be857c5e3cc91931bd691e5de085d7d..d211f14d0f84d6d0729a5b542f6bf88cf96b9bb8 100644 (file)
--- a/Zend/zend.c
+++ b/Zend/zend.c
@@ -983,7 +983,6 @@ ZEND_API void zend_deactivate(void) /* {{{ */
        fprintf(stderr, "        Root    Buffered     buffer     grey\n");
        fprintf(stderr, "      --------  --------  -----------  ------\n");
        fprintf(stderr, "ZVAL  %8d  %8d  %9d  %8d\n", GC_G(zval_possible_root), GC_G(zval_buffered), GC_G(zval_remove_from_buffer), GC_G(zval_marked_grey));
-       fprintf(stderr, "ZOBJ  %8d  %8d  %9d  %8d\n", GC_G(zobj_possible_root), GC_G(zobj_buffered), GC_G(zobj_remove_from_buffer), GC_G(zobj_marked_grey));
 #endif
 
        zend_try {