[PATCH] D44177: [JumpThreading] use UnreachableBlocks to avoid unreachable regions

[Eli Friedman via Phabricator via llvm-commits]

efriedma added a comment.

It looks like in general, the union of the the Unreachable set and DeletedBBs does not contain all unreachable blocks; the Unreachable set never gets updated, and DeletedBBs only contains blocks which trivially have no predecessors.  Could this lead to problems when jump threading erases an edge?


Repository:
  rL LLVM

https://reviews.llvm.org/D44177