Fix a problem in alias analysis. It is about the misinterpretation of "Object".
authorShuxin Yang <shuxin.llvm@gmail.com>
Thu, 28 Feb 2013 00:24:45 +0000 (00:24 +0000)
committerShuxin Yang <shuxin.llvm@gmail.com>
Thu, 28 Feb 2013 00:24:45 +0000 (00:24 +0000)
commit1e55d8c6633337a9bc154880195a47ff69e6945c
treeb5b2f34b6a3e71649287d73d2f2a4bc8ea1ab6a8
parent5958b46053581e3cc15f3de3b6f286e15050b661
Fix a problem in alias analysis. It is about the misinterpretation of "Object".

This problem is exposed by r171325 which is already reverted. It is rather
hard to fabricate a testing case without it.

r171325 should *NOT* be resurrected as it has a potential problem although
this problem dosen't directly contribute to PR14988.

The bug is tracked by:
  - rdar://13063553, and
  - http://llvm.org/bugs/show_bug.cgi?id=14988

Thank Arnold for coming up a better solution to this problem. After
comparing this solution and my original proposal, I decided to ditch mine.

llvm-svn: 176225
llvm/lib/Analysis/BasicAliasAnalysis.cpp