On 2023-03-11 14:18, Alejandro Colomar wrote:
What I'm not sure is that strftime(3) requires nonnull.
glibc's strftime implementation segfaults if you pass a null pointer, so we can't pass NULL regardless of whether the strftime API in time.h uses __attribute__ ((nonnull))'.