Fix PR1938 by forcing the code that uses an undefined value to branch one
authorChris Lattner <sabre@nondot.org>
Mon, 28 Jan 2008 00:32:30 +0000 (00:32 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 28 Jan 2008 00:32:30 +0000 (00:32 +0000)
commit05bb789430bab7d8fae1e94fb9aa0bb21e679ebf
tree18b4170569790fcb8f5f6159883c29d91fbd45b6
parent4d44d7a2dc0b17a2782389f13acce3c10a7abe51
Fix PR1938 by forcing the code that uses an undefined value to branch one
way or the other.  Rewriting the code itself prevents subsequent analysis
passes from making contradictory conclusions about the code that could
cause an infeasible path to be made feasible.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46427 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/SCCP.cpp
test/Transforms/SCCP/2008-01-27-UndefCorrelate.ll [new file with mode: 0644]