The analyzer has detected a loop with a suspicious assignment operation, which could make that loop infinite.
Consider the following example:
static void f(Node *n) { for (Node *it = n; it != nullptr; it = n->next) .... }
This is a typical construct used to traverse lists. When 'n' is not modified, this loop will either never iterate or will iterate infinitely.
Fixed code:
static void f(Node *n) { for (Node *it = n; it != nullptr; it = it->next) .... }
This diagnostic is classified as: