<div class="gmail_quote">On Sun, Mar 25, 2012 at 1:55 PM, Chandler Carruth <span dir="ltr"><<a href="mailto:chandlerc@gmail.com">chandlerc@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Thanks for all the feedback. New patch attached.
</blockquote></div><br><div>And a final patch with tests and a simplification pointed out by Benjamin.</div>