UnreachableCode -- 絶対に実行されないコードの確認
C++ 検査 への移動
説明
到達不能なコードがないかを確認します。
たとえば、UnreachableCode ではループの本体が決して実行されることがない状況を確認します。 つまり、UnreachableCode では、while ループや for ループの繰り返し条件の評価結果が常に false になるような状況を検出します。 そのようなループの本体は 1 度も実行されません。
また、UnreachableCode では到達不能な文がないかも確認します。 つまり、UnreachableCode では、文が決して実行されないような状況を検出します。
誤った例
int count(int limit) {
if (limit >= 0) {
...
} else {
for (int i = 0; i < limit; i++) {
...
}
}
}
または
int* arr = new int[size];
if (arr == 0) {
return;
}