| /* | |
| ** 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 */ | |
| /* Return -X as a double. Using this avoids casting to 'double'. */ | |
| static double | |
| dminus(double x) | |
| { | |
| return -x; | |
| } | |
| double ATTRIBUTE_CONST | |
| difftime(time_t time1, time_t time0) | |
| { | |
| /* | |
| ** If double is large enough, simply convert and subtract | |
| ** (assuming that the larger type has more precision). | |
| */ | |
| if (sizeof (time_t) < sizeof (double)) { | |
| double t1 = time1, t0 = time0; | |
| return t1 - t0; | |
| } | |
| /* | |
| ** The difference of two unsigned values can't overflow | |
| ** if the minuend is greater than or equal to the subtrahend. | |
| */ | |
| if (!TYPE_SIGNED(time_t)) | |
| return time0 <= time1 ? time1 - time0 : dminus(time0 - time1); | |
| /* Use uintmax_t if wide enough. */ | |
| if (sizeof (time_t) <= sizeof (uintmax_t)) { | |
| uintmax_t t1 = time1, t0 = time0; | |
| return time0 <= time1 ? t1 - t0 : dminus(t0 - t1); | |
| } | |
| /* | |
| ** 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; | |
| /* | |
| ** The values have opposite signs and uintmax_t is too narrow. | |
| ** This suffers from double rounding; attempt to lessen that | |
| ** by using long double temporaries. | |
| */ | |
| { | |
| long double t1 = time1, t0 = time0; | |
| return t1 - t0; | |
| } | |
| } |