time: Fix strftime(3) API regarding nullability

strftime(3) doesn't accept null pointers in any of the parameters.

Cc: Paul Eggert <eggert@cs.ucla.edu>
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Reviewed-by: Adhemerval Zanella  <adhemerval.zanella@linaro.org>

diff --git a/time/time.h b/time/time.h
index 4db274bd0c5723b8386c014cc0738704791af7f0..368f4dc5888aba3ddcb6d20359770638407ea853 100644 (file)
--- a/time/time.h
+++ b/time/time.h
@@ -99,7 +99,8 @@ extern time_t __REDIRECT_NTH (mktime, (struct tm *__tp), __mktime64);
    of characters written, or 0 if it would exceed MAXSIZE.  */
 extern size_t strftime (char *__restrict __s, size_t __maxsize,
                        const char *__restrict __format,
-                       const struct tm *__restrict __tp) __THROW;
+                       const struct tm *__restrict __tp)
+                       __THROW __nonnull((1, 3, 4));
 
 #ifdef __USE_XOPEN
 /* Parse S according to FORMAT and store binary time information in TP.