Infinite Loop (IL)

Description:

IL detects if a while, do, or for loop that has constant loop condition and no exit from the loop body will be executed infinitely.

Example:

void f() {
	boolean b = true;
	do {
		...
	} while (b);
}