Rerun GC if destructors encountered

Author: nikic

Zend/tests/gc_011.phpt

@@ -15,7 +15,6 @@ $a->a = $a;
 var_dump($a);
 unset($a);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
 echo "ok\n"
 ?>
 --EXPECTF--
@@ -24,6 +23,5 @@ object(Foo)#%d (1) {
   *RECURSION*
 }
 __destruct
-int(0)
 int(1)
 ok

Zend/tests/gc_016.phpt

@@ -18,11 +18,9 @@ $a = new Foo();
 $a->a = $a;
 unset($a);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
 echo "ok\n"
 ?>
 --EXPECT--
 -> int(0)
-int(0)
 int(2)
 ok

Zend/tests/gc_017.phpt

@@ -32,13 +32,11 @@ unset($a);
 unset($b);
 unset($c);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
 echo "ok\n"
 ?>
 --EXPECTF--
 string(1) "%s"
 string(1) "%s"
 string(1) "%s"
-int(0)
 int(1)
 ok

Zend/tests/gc_028.phpt

@@ -28,8 +28,6 @@ $bar->foo = $foo;
 unset($foo);
 unset($bar);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
 ?>
 --EXPECT--
-int(0)
 int(1)

Zend/tests/gc_029.phpt

@@ -30,8 +30,6 @@ $bar->foo = $foo;
 unset($foo);
 unset($bar);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
 ?>
 --EXPECT--
-int(0)
 int(1)

Zend/tests/gc_035.phpt

@@ -19,8 +19,7 @@ $a->x[] = $a;
 var_dump(gc_collect_cycles());
 unset($a);
 var_dump(gc_collect_cycles());
-var_dump(gc_collect_cycles());
+?>
 --EXPECT--
 int(0)
-int(0)
 int(2)

Zend/zend_gc.c

@@ -1429,7 +1429,10 @@ static int gc_remove_nested_data_from_buffer(zend_refcounted *ref, gc_root_buffe
 ZEND_API int zend_gc_collect_cycles(void)
 {
 	int count = 0;
+	zend_bool should_rerun_gc = 0;
+	zend_bool did_rerun_gc = 0;
 
+rerun_gc:
 	if (GC_G(num_roots)) {
 		gc_root_buffer *current, *last;
 		zend_refcounted *p;
@@ -1476,6 +1479,7 @@ ZEND_API int zend_gc_collect_cycles(void)
 			 * short of rerunning full GC tracing. What we do instead is to only run
 			 * destructors at this point, and leave the actual freeing of the objects
 			 * until the next GC run. */
+			should_rerun_gc = 1;
 
 			/* Mark all roots for which a dtor will be invoked as DTOR_GARBAGE. Additionally
 			 * color them purple. This serves a double purpose: First, they should be
@@ -1606,6 +1610,14 @@ ZEND_API int zend_gc_collect_cycles(void)
 
 	gc_compact();
 
+	/* Objects with destructors were removed from this GC run. Rerun GC right away to clean them
+	 * up. We do this only once: If we encounter more destructors on the second run, we'll not
+	 * run GC another time. */
+	if (should_rerun_gc && !did_rerun_gc) {
+		did_rerun_gc = 1;
+		goto rerun_gc;
+	}
+
 	return count;
 }