Don't infer whether a value is captured in the current function from the
authorRichard Osborne <richard@xmos.com>
Mon, 5 Nov 2012 10:48:24 +0000 (10:48 +0000)
committerRichard Osborne <richard@xmos.com>
Mon, 5 Nov 2012 10:48:24 +0000 (10:48 +0000)
commit544533301e51e697abf7cc05979208d0ffc30973
treee0e4e5710a400a766d785cb237d2cb63571d5b9e
parente507fc6eeaddbb12fc6fabf43f6a6ce19651d689
Don't infer whether a value is captured in the current function from the
'nocapture' attribute.

The nocapture attribute only specifies that no copies are made that
outlive the function. This isn't the same as there being no copies at all.
This fixes PR14045.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@167381 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/BasicAliasAnalysis.cpp
test/Analysis/BasicAA/nocapture.ll