Don't forget the TBAA info, if available.

llvm-svn: 118842
This commit is contained in:
Dan Gohman 2010-11-11 21:27:26 +00:00
parent b20b7d2ec2
commit 97ce60bfa4

View File

@ -46,7 +46,12 @@ void AliasSet::mergeSetIn(AliasSet &AS, AliasSetTracker &AST) {
PointerRec *R = AS.getSomePointer();
// If the pointers are not a must-alias pair, this set becomes a may alias.
if (AA.alias(L->getValue(), L->getSize(), R->getValue(), R->getSize())
if (AA.alias(AliasAnalysis::Location(L->getValue(),
L->getSize(),
L->getTBAAInfo()),
AliasAnalysis::Location(R->getValue(),
R->getSize(),
R->getTBAAInfo()))
!= AliasAnalysis::MustAlias)
AliasTy = MayAlias;
}