Fix LoopAccessAnalysis when potentially nullptr check are involved
authorMehdi Amini <mehdi.amini@apple.com>
Thu, 5 Nov 2015 05:49:43 +0000 (05:49 +0000)
committerMehdi Amini <mehdi.amini@apple.com>
Thu, 5 Nov 2015 05:49:43 +0000 (05:49 +0000)
commitfe0b6a7f50fe8ad11d595d90eedfeb6484dc841f
tree674d4f919b2b231a32f2c73b2ec3a6ad51ed7d85
parentf8bc54d01330992ca8bc7c175a63824a77b07db6
Fix LoopAccessAnalysis when potentially nullptr check are involved

Summary:
GetUnderlyingObjects() can return "null" among its list of objects,
we don't want to deduce that two pointers can point to the same
memory in this case, so filter it out.

Reviewers: anemet

Subscribers: dexonsmith, llvm-commits

From: Mehdi Amini <mehdi.amini@apple.com>

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@252149 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/LoopAccessAnalysis.cpp
test/Analysis/LoopAccessAnalysis/nullptr.ll [new file with mode: 0644]