Exactly - something along the lines of "Statement is unreachable".