Avoid analyzing instructions in blocks not reachable from the entry block.