为什么gcc -Wformat没有在unsigned int上警告printf%d?
以下程序具有未定义的行为:
#include 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"
等的调用,以确保提供的参数具有适合指定格式字符串的类型,并确保格式字符串中指定的转换有意义
我最好的猜测是跳过警告,因为UB可以被值调用,而不仅仅是类型。 只要该值在signed和unsigned类型中都可表示, va_arg
允许签名不匹配。 但是,没有使用va_arg
指定printf
和friends,并且标准声明任何类型不匹配都会导致UB,但这可能是标准中的错误。 否则, printf("%x",1);
会调用UB。 请参阅我关于该主题的问题:
printf(“%x”,1)是否会调用未定义的行为?