GCC strict-overflow

Question

最近では、大規模なコードベースで-Wstrict-overflow=5を有効にし、最適化が有効になっているとき〜500の警告を理解しようとしています。一部は合法的なようだが、その後、このようなものがあります：

std::vector<std::string> files; 
... 
void Add (const std::string file) 
{ 
    if (std::find(files.begin(), files.end(), file) == files.end()) 
    { 
    files.push_back(file); 
    } 
} 

警告生成：私は比較はstd::find()であり、かつAdd()機能をインライン化によって公開されたと仮定し

example.cc: In member function ‘void Add(std::string)’: 
example.cc:465:8: error: assuming signed overflow does not occur when changing X +- C1 cmp C2 to X cmp C2 -+ C1 [-Werror=strict-overflow] 
void Add (const std::string file) 
    ^

が。

私はこれをどのように修正する必要がありますか？ std::set上

23020208std::find：

はい、私は他のSOの質問、何も非常に役立つを読みました。回答：符号付き整数ではGCCのバグ、警告をオフにし

18521501リファクタリングの条件文

22798709エッジケース

Answer 1

は、どのように私はこの問題を解決することが出来るのですか？

、彼らはあなたが何のコントロールの上に持っていない何か（すなわちGCC）によって引き起こされる偽陽性なので、あなたがそれを調整する必要があります：

1. は、なぜこれがある（それらを一つずつ取りますオーバーフローが発生する可能性がどこ権利、検出する？）コンパイラが右であるそれらの場所のための
2. 、修正を適用する
、これは偽陽性である場所のため
3. 、局部的に無効にする#pragmaを使用し、最初の場所でそれらを有効に警告 - その#pragmaの存在は、次のことを意味します： "Due dilligen私はチェックして、何かがここでオーバーフローすることはない」