Loop Body is Executed Exactly Once (LBEEO)

Description:

LBEEO detects if the loop condition of a do-while loop always evaluates to false. The body of such a loop will be executed only once.

Example:

   y = -1;
   do {
       // code is executed exactly once
       ...
   } while (y > 0)