<div class="gmail_quote">On Mon, Jan 23, 2012 at 5:44 AM, Erik Verbruggen <span dir="ltr"><<a href="mailto:erik.verbruggen@me.com">erik.verbruggen@me.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
So that comes down to one block with destructors for every scope. What would be the benefit for that compared to one block for a return that holds all destructors?</blockquote><div><br></div><div>It makes it a bit easier to inject early exit CFG edges without splitting blocks. One block isn't going to cut it as not all destructors will always fire. That said, thinking about it the second time around I can imagine an easy way to build the CFG with a minimal number of blocks containing destructors, so maybe its not a big deal either way....</div>
</div>