It seems that there is a typo in "/lib/Analysis/CFLAndersAliasAnalysis.cpp".

There is a comment in function "static void initializeWorkList":

"If there's an assignment edge from X to Y, it means Y is reachable from X at S2 and X is reachable from Y at S1"

The corrected comment should be:

"If there's an assignment edge from X to Y, it means Y is reachable from X at S3 and X is reachable from Y at S1"