dateobj1         3581 ext/date/php_date.c 	php_date_obj *dateobj1, *dateobj2;
dateobj1         3588 ext/date/php_date.c 	dateobj1 = Z_PHPDATE_P(object1);
dateobj1         3590 ext/date/php_date.c 	DATE_CHECK_INITIALIZED(dateobj1->time, DateTimeInterface);
dateobj1         3592 ext/date/php_date.c 	timelib_update_ts(dateobj1->time, NULL);
dateobj1         3597 ext/date/php_date.c 	interval->diff = timelib_diff(dateobj1->time, dateobj2->time);