是否有“条件表达式不变”的gcc警告？

Question

我继承了一个相当大的代码库，不知怎的，有人编写了几个这样的条件：

enum
{
    FOO_TYPE_A,
    FOO_TYPE_B,
    FOO_TYPE_C,
    FOO_TYPE_D
};

void bar(int fooType)
{
    if (fooType == FOO_TYPE_A || FOO_TYPE_B) // <-- This will always be true, since FOO_TYPE_B is nonzero!
    {
        // Do something intended for only type A or B
    }

    // Do things general to A,B,C,D
}

条件检查应该明确是：

    if (fooType == FOO_TYPE_A || fooType  == FOO_TYPE_B)

在gcc中是否有警告我可以打开以找到它们，类似于MSDN的C4127 ？

具体来说，我使用的是Android NDK r9d。

如果没有，为什么不呢？ 对于无意识的赋值，无符号> 0以及上述愚蠢似乎都是有用的。

编辑：使代码更详细，以说明问题。

Answer 1

我没有看到与MSDN C4127相对应的警告。 GCC确实有一个警告，其意图有点类似，但不是为了解决您的问题： -Wtype-limits

如果由于数据类型的范围有限，比较始终为true或始终为false，则发出警告，但不警告常量表达式。 例如，警告是否将unsigned变量与零比较为<或>= 。 -Wextra也启用此警告。

正如您所看到的，GCC明确声明它不会警告常量表达式。 这样做的动机可能是由于常量表达式的共同使用来利用编译器的死代码消除，因此可以通过使用编译时常量来优化宏（或其部分）。 它将被用作条件编译（ #if defined()和#if X == Y ）的替代，因为宏更像是常规函数。 作为一个假设的例子：

#define VERIFY(E) \
do { \
    if (NO_VERIFY) break; \
    if (!(E) && (VERIFY_LOG_LEVEL >= log_level() || VERIFY_LOG_ALWAYS)) { \
        log("validation error for: " #E); \
    } \
} while (0)

Answer 2

我认为问题是变量是一个定义或一个const。 CONSTANT_2是一个非零常数也会产生这个问题。