difftime is pure, not const

Because difftime's behavior depends on the floating-point environment,
the function is pure, not const (BZ 31802).

Reviewed-by: Adhemerval Zanella <adhemerval.zanella@linaro.org>
This commit is contained in:
Paul Eggert 2024-05-26 17:37:17 -07:00
parent f981bf6b9d
commit df63f01a30

View File

@ -77,7 +77,7 @@ extern time_t time (time_t *__timer) __THROW;
/* Return the difference between TIME1 and TIME0. */
extern double difftime (time_t __time1, time_t __time0)
__THROW __attribute__ ((__const__));
__THROW __attribute_pure__;
/* Return the `time_t' representation of TP and normalize TP. */
extern time_t mktime (struct tm *__tp) __THROW;
@ -85,7 +85,7 @@ extern time_t mktime (struct tm *__tp) __THROW;
# ifdef __REDIRECT_NTH
extern time_t __REDIRECT_NTH (time, (time_t *__timer), __time64);
extern double __REDIRECT_NTH (difftime, (time_t __time1, time_t __time0),
__difftime64) __attribute__ ((__const__));
__difftime64) __attribute_pure__;
extern time_t __REDIRECT_NTH (mktime, (struct tm *__tp), __mktime64);
# else
# define time __time64