Reports the statements that cannot be normally reached.