g++中用于检查数组索引的任何调试标志

Question

我使用g++（g++-g3 main.cpp）和VisualStudio2013（VS）构建了下面的程序处于调试模式。当run-VS退出时，断言抱怨索引范围问题但是Ubuntu 13.10下的g++版本运行良好，它打印出vi[11]=11。

我理解-C++标准没有为我的案例指定行为，但警告或崩溃在我的情况下会很好。

gcc（或clang）中是否有任何标志可以启用数组索引超出范围检查在构建期间？如果没有，有什么好的分析工具吗？

int main() { 
    vector<int> vi(8); 
    vi.push_back(1); 
    vi.push_back(2); 
    vi[11] = 11; 
    std::cout << "Vi[11]=" << vi[11] << std::endl; 
    return 0; 
}

Answer 1

有一个很好的边界检查工具：http://cppcheck.sourceforge.net/关于gcc -Warray-bounds标志可能会有所帮助。