UnreachableCode -- Rechercher le code inaccessible

De RAD Studio
Aller à : navigation, rechercher

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;
 }

Voir aussi