> My question is how do we tell this from a do-while loop with a goto > around it? You don't - and it's immaterial for the purpose of spotting loops that are executed at least once if entered. That's a property all do-wile loops have, by definition.