Advertencia C6294

Bucle for-definido por error: la condición inicial no cumple la prueba. Cuerpo del bucle no ejecutado

Comentarios

Esta advertencia indica que no se puede ejecutar un bucle for porque la condición de terminación es true. Esta advertencia sugiere que la intención del programador no se captura correctamente.

Nombre del análisis de código: LOOP_BODY_NEVER_EXECUTED

Ejemplo

El código de ejemplo siguiente genera esta advertencia porque MAX_VALUE es 0:

#define MAX_VALUE 0
void f()
{
  int i;
  for (i = 0; i < MAX_VALUE; i++)
  {
    // code
  }
}

El código de ejemplo siguiente corrige esta advertencia al cambiar el valor de MAX_VALUE a 25.

#define MAX_VALUE 25
void f()
{
  int i;
  for (i = 0; i < MAX_VALUE; i++)
  {
    // code
  }
}