Remove alloca tracking from nocapture analysis. Not only
authorDuncan Sands <baldrick@free.fr>
Wed, 7 Jan 2009 19:39:06 +0000 (19:39 +0000)
committerDuncan Sands <baldrick@free.fr>
Wed, 7 Jan 2009 19:39:06 +0000 (19:39 +0000)
commitb0cea8ff3979b8af15311b34df12bbb4440fd888
tree0ed275c6b2ae9046df57a9ac8191cb0242c0ca4f
parent82447ebb41c787fbfa01c08fece50b252b23bd07
Remove alloca tracking from nocapture analysis.  Not only
was it not very helpful, it was also wrong!  The problem
is shown in the testcase: the alloca might be passed to
a nocapture callee which dereferences it and returns the
original pointer.  But because it was a nocapture call we
think we don't need to track its uses, but we do.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@61876 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/IPO/FunctionAttrs.cpp
test/Transforms/FunctionAttrs/2009-01-02-LocalStores.ll