Make this a bit more aggressive

llvm-svn: 20792
This commit is contained in:
Chris Lattner 2005-03-23 22:06:41 +00:00
parent 03631d6bc4
commit db762dadcb

View File

@ -125,7 +125,7 @@ AliasAnalysis::getModRefInfo(CallSite CS, Value *P, unsigned Size) {
// If P points to a constant memory location, the call definitely could not
// modify the memory location.
if ((Mask & Mod) && AA->pointsToConstantMemory(P))
Mask = Ref;
Mask = ModRefResult(Mask & ~Mod);
return ModRefResult(Mask & AA->getModRefInfo(CS, P, Size));
}