Loop Body is Never Executed (LBNE)

Description:

LBNE detects if the loop condition of a while or for loop always evaluates to false. The body of such a loop will never be executed.

Example:

   for (int i = 0; i > 0; i--) {
       // unreachable code
       ...
   }