|  | /* | 
|  | ** This file is in the public domain, so clarified as of | 
|  | ** 1996-06-05 by Arthur David Olson. | 
|  | */ | 
|  |  | 
|  | /*LINTLIBRARY*/ | 
|  |  | 
|  | #include "private.h"	/* for time_t and TYPE_SIGNED */ | 
|  |  | 
|  | double ATTRIBUTE_CONST | 
|  | difftime(const time_t time1, const time_t time0) | 
|  | { | 
|  | /* | 
|  | ** If (sizeof (double) > sizeof (time_t)) simply convert and subtract | 
|  | ** (assuming that the larger type has more precision). | 
|  | */ | 
|  | if (sizeof (double) > sizeof (time_t)) | 
|  | return (double) time1 - (double) time0; | 
|  | if (!TYPE_SIGNED(time_t)) { | 
|  | /* | 
|  | ** The difference of two unsigned values can't overflow | 
|  | ** if the minuend is greater than or equal to the subtrahend. | 
|  | */ | 
|  | if (time1 >= time0) | 
|  | return            time1 - time0; | 
|  | else	return -(double) (time0 - time1); | 
|  | } | 
|  | /* | 
|  | ** Handle cases where both time1 and time0 have the same sign | 
|  | ** (meaning that their difference cannot overflow). | 
|  | */ | 
|  | if ((time1 < 0) == (time0 < 0)) | 
|  | return time1 - time0; | 
|  | /* | 
|  | ** time1 and time0 have opposite signs. | 
|  | ** Punt if uintmax_t is too narrow. | 
|  | ** This suffers from double rounding; attempt to lessen that | 
|  | ** by using long double temporaries. | 
|  | */ | 
|  | if (sizeof (uintmax_t) < sizeof (time_t)) | 
|  | return (long double) time1 - (long double) time0; | 
|  | /* | 
|  | ** Stay calm...decent optimizers will eliminate the complexity below. | 
|  | */ | 
|  | if (time1 >= 0 /* && time0 < 0 */) | 
|  | return    (uintmax_t) time1 + (uintmax_t) (-1 - time0) + 1; | 
|  | return -(double) ((uintmax_t) time0 + (uintmax_t) (-1 - time1) + 1); | 
|  | } |