Be conservative about allocations that may alias the accessed pointer.
authorBob Wilson <bob.wilson@apple.com>
Tue, 4 Sep 2012 03:30:13 +0000 (03:30 +0000)
committerBob Wilson <bob.wilson@apple.com>
Tue, 4 Sep 2012 03:30:13 +0000 (03:30 +0000)
commit2d5c28da0d14883cd0cd6fcf38d7e28040b634c0
treee419212e537f573bf782c8455019e2d58faa4fd3
parent2dc88d94c34294184368ef0d9663342be2d42811
Be conservative about allocations that may alias the accessed pointer.

If an allocation has a must-alias relation to the access pointer, we treat it
as a Def.  Otherwise, without this check, the code here was just skipping over
the allocation call and ignoring it.  I noticed this by inspection and don't
have a specific testcase that it breaks, but it seems like we need to treat
a may-alias allocation as a Clobber.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@163127 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/MemoryDependenceAnalysis.cpp