]> granicus.if.org Git - llvm/commit
[MemorySSA] Additional handling of unreachable blocks.
authorAlina Sbirlea <asbirlea@google.com>
Thu, 10 Oct 2019 20:43:06 +0000 (20:43 +0000)
committerAlina Sbirlea <asbirlea@google.com>
Thu, 10 Oct 2019 20:43:06 +0000 (20:43 +0000)
commitc24f456857358d4de05227c39502d2144b7aab6a
treeaa90c428d903d595418701ef037dcf2e607934f7
parent4f2b50c62d3dd6b86f75f302f70be0bcca11f9b5
[MemorySSA] Additional handling of unreachable blocks.

Summary:
Whenever we get the previous definition, the assumption is that the
recursion starts ina  reachable block.
If the recursion starts in an unreachable block, we may recurse
indefinitely. Handle this case by returning LoE if the block is
unreachable.

Resolves PR43426.

Reviewers: george.burgess.iv

Subscribers: Prazek, sanjoy.google, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D68809

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@374447 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Analysis/MemorySSAUpdater.cpp
test/Analysis/MemorySSA/pr43426.ll [new file with mode: 0644]