Reports the code pieces that are never executed in any control flow and can be removed safely.