Reports for or while statements whose bodies are guaranteed to execute at most once. Normally, this is an indication of a bug.