Reachable code after loops incorrectly receives unreachable-code warnings

The analyser can incorrectly report reachable code after a loop as unreachable when the loop body ends with Return, Continue or Exit. Code after the loop remains reachable when the loop has no iterations, all iterations continue, or the loop exits normally.

Keep valid warnings for genuinely unreachable statements inside the loop or after an unconditional return.