No, it's reachable when you break out of the while() loop in the non-exceptional case.