return;
else if (AA.onlyReadsMemory(F)) {
AliasTy = MayAlias;
- AccessTy = Refs;
+ AccessTy |= Refs;
return;
}
}
void AliasSetTracker::add(CallSite CS) {
+ if (Function *F = CS.getCalledFunction())
+ if (AA.doesNotAccessMemory(F))
+ return;
+
AliasSet *AS = findAliasSetForCallSite(CS);
if (!AS) {
AliasSets.push_back(AliasSet());