gcc warning -Wsign-compare在比较const时似乎不起作用

Question

我似乎没有在g ++ gcc版本5.1.1 20150618（Red Hat 5.1.1-4）（GCC）上得到符号比较错误。

当我编译下面的选项我没有得到一个错误 - 但是当我摆脱了const - 它显示警告。

问题：这是预期的行为吗？

g++ typecompat.cxx -Wsign-compare -std=c++14 

这是代码

#include <stddef.h> 
#include <stdio.h> 
#include <assert.h> 
#include <vector> 

int main() { 
    std::vector<int> v {1,2,3}; 
    const int b = 2; 
    assert(v.size()>b); 
    return 0; 
} 

Answer 1

从godbolt session of this code它看起来像海合会正在执行常量折叠：

cmpq $2, %rax 

所以后来就知道肯定比较正常，任何企图改变一个常量变量是未定义的行为，编译器将假定没有未定义的行为。如果我们看一下documents它说：

警告当符号和无符号值之间的比较会产生不正确的结果当符号值转换为无

这GCC bug报告Bogus warning with -Wsign-compare看起来像它涵盖了这种假阳性的检测：

为了有用，这些警告是为了聪明 - 如果它可以没有警告被证明有符号值是非负的[012]