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