6

我正在测试一个带有gcc 4.4.5和-Wtype-limits选项的小代码片段。

#include <assert.h>
#include <limits.h>
#include <stdint.h>

int main(void)
{
    /* With other values of v, the behavior of the compiler is the same. */
    uint16_t v = 0; 
    assert((unsigned int)INT_MAX < (unsigned int)v); /* l. 7 */
    return 0;
}

然后，编译器向我抛出以下警告：

main.c:7: warning: comparison is always false due to limited range of data type

但是，据我所知，INT_MAX可能等于+32767（来自C11 (n1570)，§ 5.2.4.2.1 Sizes of integer types<limits.h>）。在这种情况下，变量v将能够保存 value INT_MAX+1，并且表达式 inassert将被评估为1。

因此，我可以看到两个问题：

  • GCC 考虑到了我的架构，因为实际上INT_MAX不等于+32767. 在那种情况下，它会减少-Wtype-limits对我的好处。
  • 这是一个错误。

它让我想到第二个选项是以下代码，它不会产生任何具有相同选项的警告。

#include <assert.h>
#include <limits.h>
#include <stdint.h>

int main(void)
{
    assert((unsigned int)INT_MAX < (unsigned int)UINT16_MAX);
    return 0;
}

那么，正确答案是什么？

PS：顺便说一句，因为我的旧版本gcc ，我不得不道歉。也许下一个版本的行为会有所不同。

4

1 回答 1

5

GCC 确实考虑了类型的实际已知限制。它知道int在您的情况下超过 16 位宽，因此会发出警告。

您不会收到任何警告

#include <assert.h>
#include <limits.h>
#include <stdint.h>

int main(void)
{
    assert((unsigned int)INT_MAX < (unsigned int)UINT16_MAX);
    return 0;
}

因为标准在 7.20.2 (2) 中说：

任何已定义宏的每个实例都应替换为适用于#if预处理指令的常量表达式，并且该表达式应具有与作为根据整数提升转换的相应类型的对象的表达式相同的类型。

所以对于 32 位宽int的 s，宏UINT16_MAX是 an int，因此所涉及类型的限制不能保证比较始终为假（或真）。

于 2013-04-24T19:11:26.567 回答