[llvm-commits] [PATCH] basicaa - fix miscompilation of load from nocapture attribute (PR14045)

[Richard Osborne]

This is a patch for PR14045.

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.

OK to commit?

Thanks,

Richard

-- 
Richard Osborne | XMOS
http://www.xmos.com

-------------- next part --------------
A non-text attachment was scrubbed...
Name: pr14045.diff
Type: text/x-patch
Size: 1733 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20121102/bda42ecd/attachment.bin>