Typo in "llvm/lib/Analysis/CFLAndersAliasAnalysis.cpp".

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"

Feel free to open a revision at 'reviews.llvm.org' to fix it :wink: