UnreachableCode – Überprüfung auf unerreichbaren Code
Nach oben zu C++-Audits
Beschreibung
Prüft auf unerreichbaren Code.
UnreachableCode prüft beispielsweise, ob ein Schleifenrumpf nie ausgeführt wird. Das heißt, dass UnreachableCode Situationen ermittelt, in denen die Wiederholungsbedingung einer while- oder for-Schleife immer zu false
ausgewertet wird. Der Rumpf einer solchen Schleife wird nie ausgeführt.
UnreachableCode prüft auch, ob eine Anweisung erreichbar ist. Das heißt, UnreachableCode ermittelt Situationen, in denen eine Anweisung nie ausgeführt werden kann.
Falsch:
int count(int limit) {
if (limit >= 0) {
...
} else {
for (int i = 0; i < limit; i++) {
...
}
}
}
Oder
int* arr = new int[size];
if (arr == 0) {
return;
}