Not all blocks are reachable from entry. Don't assume they are.
authorNick Lewycky <nicholas@mxc.ca>
Mon, 1 Apr 2019 20:03:16 +0000 (20:03 +0000)
committerNick Lewycky <nicholas@mxc.ca>
Mon, 1 Apr 2019 20:03:16 +0000 (20:03 +0000)
commit66d7eb97045e0fda283ff336297e1a46869152f6
tree6b5942804aa0050923e7570f2d2b1c3617cfd61f
parentc791a20b429b582fb44ed6ee32071e1f704284db
Not all blocks are reachable from entry. Don't assume they are.

Fixes a bug in isPotentiallyReachable, noticed by inspection.

llvm-svn: 357425
llvm/lib/Analysis/CFG.cpp
llvm/unittests/Analysis/CFGTest.cpp