# V571. Recurring check. This condition was already verified in previous line.

Анализатор обнаружил потенциально возможную ошибку, связанную с тем, что дважды проверяется одно и тоже условие.

Рассмотрим два примера:

    // Example N1:
    if (A == B)
    {
      if (A == B)
        ...
    }

    // Example N2:
    if (A == B) {
    } else {
      if (A == B)
        ...
    }

В первом случае вторая проверка "if (A==B)" всегда истинна. Во втором случае, вторая проверка всегда ложна.

Высока вероятность, что подобный код содержит ошибку. Например, из-за опечатки используется ошибочное имя переменной. Корректный код:

    // Example N1:
    if (A == B)
    {
      if (A == C)
        ...
    }

    // Example N2:
    if (A == B) {
    } else {
      if (A == C)
        ...
    }

Данная диагностика классифицируется как:

CWE-571

Взгляните на примеры ошибок, обнаруженных с помощью диагностики V571.