AliasAnalysis Documentation Ambiguity

What do you think of this patch? I have added a check for the case I mentioned in the previous email as well as a similar situation I discovered later.
Tom

InterProcAA.diff (2.4 KB)