Handle unreachable code in the dominates functions. This changes users when
authorRafael Espindola <rafael.espindola@gmail.com>
Fri, 30 Mar 2012 16:46:21 +0000 (16:46 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Fri, 30 Mar 2012 16:46:21 +0000 (16:46 +0000)
commit092c5ccf5bdcaa53151645e5628cec77fcf4062b
tree8d189635dc35b19fea16c151d3b4b61bb1ec2764
parent0e4fa5ff365fccff46870b7d5d8d4d1d46e77986
Handle unreachable code in the dominates functions. This changes users when
needed for correctness, but still doesn't clean up code that now unnecessary
checks for reachability.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@153755 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/Dominators.h
include/llvm/Analysis/LoopInfo.h
lib/VMCore/Dominators.cpp
unittests/CMakeLists.txt
unittests/VMCore/DominatorTreeTest.cpp [new file with mode: 0644]
unittests/VMCore/Makefile