GCC -Wtype-limits为何仅触发无符号变量下限比较警告？

这是GCC的特性，而非Bug，具体原因如下：

• if (foo < 0)触发警告的原因
  foo是uint32_t无符号类型，0是有符号int。根据C语言的整数提升规则，有符号数会被转换为与无符号操作数同类型的值，这里0会变成无符号的0。而无符号数的取值范围是0到UINT32_MAX，永远不可能小于0，这个比较的结果必然为假，属于明显的逻辑错误，因此GCC通过-Wtype-limits警告提示你。

• if (foo > 0xFFFFFFFF)和if (foo > UINT32_MAX)无警告的原因

  1. 常量解析：0xFFFFFFFF在32位int系统中会被识别为unsigned int（超出有符号int的取值范围），而UINT32_MAX本身就是uint32_t类型的最大值常量，二者最终都会被视为与foo同类型的无符号32位值。
  2. 警告策略：GCC的-Wtype-limits默认不会检测无符号数与同类型最大值的比较。编译器认为这种写法可能是用户的防御性代码（比如处理跨类型转换、溢出场景），或是明确的逻辑判断，而非疏忽导致的错误。相比之下，无符号数小于0的写法更可能是编码失误，因此会被优先触发警告。

如果需要检测这类无符号数超出最大值的比较，可以显式启用GCC的-Wtautological-compare警告，启用后foo > UINT32_MAX会触发类似“comparison of unsigned expression >= maximum value is always false”的提示。

内容的提问来源于stack exchange，提问作者Guillaume D