<div dir="ltr">This patch reimplements the "hasPath" utility function currently living in AliasAnalysis.cpp. There's some discussion of this algorithm and some context back in this thread from December last year:<div>

  <a href="http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20121217/159680.html">http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20121217/159680.html</a></div><div style><br></div><div style>I also refactor it into a new home in lib/Analysis, called CFG.cpp. This is created by breaking apart lib/Transforms/Utils/BasicBlockUtils.cpp and moving everything which is there but actually only does analysis into CFG.cpp.</div>

<div style><br></div><div style>Please review!</div><div style><br></div><div style>Nick</div><div style><br></div></div>