[BasicAA] Bugfix for r251016
authorJames Molloy <james.molloy@arm.com>
Fri, 23 Oct 2015 14:17:03 +0000 (14:17 +0000)
committerJames Molloy <james.molloy@arm.com>
Fri, 23 Oct 2015 14:17:03 +0000 (14:17 +0000)
commit9d4c13124adfe9a9c6cdc22a220eff1eeff63b77
tree6ef0f764e9b548a434d163e3863471d02b438bbb
parent61f012782bd12848a7af192ecf9c293270acfb68
[BasicAA] Bugfix for r251016

If the loaded type sizes don't match the element type of the sequential type, all bets are off and the addresses may, indeed, overlap.

Surprisingly, this just got caught in one test, on one builder, out of the 30+ builders testing this change. Congratulations go to http://lab.llvm.org:8011/builders/clang-aarch64-lnt/builds/5205.

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