Loop with implicit termination condition

Reports any while, do-while, and for loops that have the true constant as their only condition. At the same time, such loops can be still terminated by a containing if statement which can break out of the loop.

Such an if statement must be the first or the only statement in a while or for loop and the last or the only statement in a do-while loop.

Removing the if statement and making its condition an explicit loop condition simplifies the loop.