dateobj2         3581 ext/date/php_date.c 	php_date_obj *dateobj1, *dateobj2;
dateobj2         3589 ext/date/php_date.c 	dateobj2 = Z_PHPDATE_P(object2);
dateobj2         3591 ext/date/php_date.c 	DATE_CHECK_INITIALIZED(dateobj2->time, DateTimeInterface);
dateobj2         3593 ext/date/php_date.c 	timelib_update_ts(dateobj2->time, NULL);
dateobj2         3597 ext/date/php_date.c 	interval->diff = timelib_diff(dateobj1->time, dateobj2->time);