Reports unreachable code.