BasicAA: We need to check both access sizes when comparing a gep and an
authorArnold Schwaighofer <aschwaighofer@apple.com>
Thu, 16 Jan 2014 04:53:18 +0000 (04:53 +0000)
committerArnold Schwaighofer <aschwaighofer@apple.com>
Thu, 16 Jan 2014 04:53:18 +0000 (04:53 +0000)
commit8963071a142368859fac215b68957a42286b3dd5
treee0b796924e9fe2156856c74fbbb09947ab4356c8
parent59c2fe1af1bc2b3107140668c9237aef9d3ad392
BasicAA: We need to check both access sizes when comparing a gep and an
underlying object of unknown size.

Fixes PR18460.

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