Почему gcc -Wformat не предупреждает о printf %d для беззнакового целого числа?

Следующая программа имеет неопределенное поведение:

#include <stdio.h>

int main(void)
{
    unsigned int x = -100; // This is fine, becomes UINT_MAX - 100
    printf("%d\n", x); // This is undefined behavior.
    return 0;
}

C99 7.19.6.1p8 указывает, что %d ожидает аргумент типа int.

C99 7.19.6.1p9 гласит: «Если какой-либо аргумент не является правильным типом для соответствующей спецификации преобразования, поведение не определено».

Однако gcc -Wformat (входящий в состав -Wall) не будет жаловаться на указанную выше программу, почему? Это ошибка или преднамеренное упущение?

Из справочной страницы gcc:

-Wformat

Проверьте вызовы "printf" и "scanf" и т. д., чтобы убедиться, что предоставленные аргументы имеют типы, соответствующие указанной строке формата, и что преобразования, указанные в строке формата, имеют смысл.