[PATCH] D46282: [AA] cfl-anders-aa with field sensitivity

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 added inline comments.


================
Comment at: lib/Analysis/CFLAndersAliasAnalysis.cpp:817
+  
+  bool Swapping = false;
   while (!WorkList.empty()) {
----------------
@george.burgess.iv

It is somehow tricky to find a fix point where to stops.

Imagine
int a[2];
int *p = &a[0];
p++;

We get a cycle in CFL graph, so we need to somehow break it. Current solution checks for lists and detects situation when just swapping lists, without propagations.


https://reviews.llvm.org/D46282