1--TEST--
2Bug #49700 (memory leaks in php_date.c if garbage collector is enabled)
3--INI--
4date.timezone=GMT
5--FILE--
6<?php
7gc_enable();
8$objs = array();
9$objs[1] = new DateTime();
10gc_collect_cycles();
11unset($objs);
12echo "OK\n";
13?>
14--EXPECT--
15OK
16