Анализатор обнаружил подозрительное присвоение в цикле, который может привести к бесконечному циклу.
Рассмотрим пример:
static void f(Node *n) { for (Node *it = n; it != nullptr; it = n->next) .... }
Это типичный код для обхода списков. В случае, когда 'n' не модифицируется,
этот цикл либо не выполнится ни разу, либо будет выполняться бесконечно.
Корректный код:
static void f(Node *n) { for (Node *it = n; it != nullptr; it = it->next) .... }
Данная диагностика классифицируется как: