Now building approximately the right graph, but the algorithm doesn't terminate.
Now building approximately the right graph, but the algorithm doesn't terminate.

The graph is nearly correct - there are a few repeated edges for some
reason.  This is probably related to the non-termination.

travitch/llvm-analysis,travitch/llvm-analysis,wangxiayang/llvm-analysis,wangxiayang/llvm-analysis