UnreachableCode -- Rechercher le code inaccessible
Remonter à Audits C++
Description
Recherche le code inaccessible.
Par exemple, UnreachableCode vérifie si un corps de boucle n'est jamais exécuté. Ainsi, UnreachableCode détecte les situations dans lesquelles la condition de répétition d'une boucle while ou for est toujours évaluée à false
. Le corps d'une telle boucle ne s'exécute jamais.
UnreachableCode vérifie si une instruction est inaccessible. Par exemple, UnreachableCode détecte les situations où une instruction ne peut jamais être exécutée.
Incorrect
int count(int limit) {
if (limit >= 0) {
...
} else {
for (int i = 0; i < limit; i++) {
...
}
}
}
Ou
int* arr = new int[size];
if (arr == 0) {
return;
}