<div class="gmail_quote">On Mon, Oct 24, 2011 at 10:26 AM, David Blaikie <span dir="ltr"><<a href="mailto:dblaikie@gmail.com">dblaikie@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">> However, the return heuristic was flagging one very important case:<br>
> unreachable. Unfortunately it still gave a 1/4 chance of the<br>
> branch-to-unreachable occuring. It also didn't do a rigorous job of<br>
> finding those blocks which post-dominate an unreachable block.<br>
<br>
</div>When does this actually come up? When I was experimenting with some<br>
opt issues a few weeks ago I found unreachable blocks were being<br>
stripped out very early (in the SimplifyCFG pass), though I expect<br>
other passes could possibly introduce new ones later on.</blockquote><div><br></div><div>After a call to a noreturn function, such as 'abort' or other process-termination function. </div></div>