如何评估gcc格式-溢出检查大小72

我的示例代码（t.c）

#include <stdio.h>
#include <time.h>
int main() {
        /* 12345678901234567890
         * 2017/09/06 12:28:30  */
        char wtime[19];
        time_t t=time(NULL);
        struct tm *pt = localtime(&t);
        sprintf(wtime, "%04d/%02d/%02d %02d:%02d:%02d", pt->tm_year+1900,
            pt->tm_mon+1, pt->tm_mday, pt->tm_hour, pt->tm_min, pt->tm_sec);
        printf("%s %ld\n", wtime, sizeof(int));
        return 0;
}

警告消息由gcc -Wall -Wformat=2 -m64 t.c（海湾合作委员会7.1.1）

t.c:9:47: warning: ‘sprintf’ writing a terminating nul past the end of the destination [-Wformat-overflow=]
  sprintf(wtime, "%04d/%02d/%02d %02d:%02d:%02d", pt->tm_year+1900,
                                               ^
t.c:9:2: note: ‘sprintf’ output between 20 and 72 bytes into a destination of size 19
  sprintf(wtime, "%04d/%02d/%02d %02d:%02d:%02d", pt->tm_year+1900,
  ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
      pt->tm_mon+1, pt->tm_mday, pt->tm_hour, pt->tm_min, pt->tm_sec);
      ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

消息中的数字 20 是 19 和 1 个终止符（'\0'）。 我很好奇，为什么是72这个数字？怎么评价呢。在此示例中，无需将 wtime 增加为大小 72。

The "%d"格式是为了int，通常是 32 位有符号整数类型。这意味着打印时最多可包含 11 个字符（10 位数字加上可能的负数减号）。其中有 6 个含义，最多 66 个字符。

然后你还有另外五个角色（每个角色两个）'/' and ':'，和一个空格）。

加上终结者。

那是72。

请记住"04"部分"%04d"意味着它将打印四位数字，左填充零，但如果有更多数字，那么它将打印所有数字。这不是一个绝对的限制。

因此至少 20 个字符，最多 72 个。