Looks good to me. It might be nice to add a comment where the code used to check for nocapture mentioning that nocapture is being intentionally ignored.<div><br></div><div>Dan<br><br><div class="gmail_quote">On Fri, Nov 2, 2012 at 10:38 AM, Richard Osborne <span dir="ltr"><<a href="mailto:richard@xmos.com" target="_blank">richard@xmos.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">This is a patch for PR14045.<br>
<br>
It is wrong to infer that a value is not captured in the current function beacuse it is marked with the 'nocapture' attribute. The nocapture attribute only specifies that no copies are made that outlive the function which isn't the same as there being no copies at all. Patch includes a testcase and passes make check.<br>


<br>
OK to commit?<br>
<br>
Thanks,<br>
<br>
Richard<span><font color="#888888"><br>
<br>
-- <br>
Richard Osborne | XMOS<br>
<a href="http://www.xmos.com" target="_blank">http://www.xmos.com</a><br>
<br>
</font></span><br>_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@cs.uiuc.edu" target="_blank">llvm-commits@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits</a><br>
<br></blockquote></div><br></div>