OSDN Git Service

Fix PR3016, a bug which can occur do to an invalid assumption:
authorChris Lattner <sabre@nondot.org>
Mon, 19 Jan 2009 02:46:28 +0000 (02:46 +0000)
committerChris Lattner <sabre@nondot.org>
Mon, 19 Jan 2009 02:46:28 +0000 (02:46 +0000)
commitc4f85dd708b2b131222f16071e7b8ce9bc8a4fd6
tree60ff872bbc27b4238c327121e722696fe1734296
parent9e0dad4f4168d82ae7604caac5c57e79889a57fc
Fix PR3016, a bug which can occur do to an invalid assumption:
we assumed a CFG structure that would be valid when all code in
the function is reachable, but not all code is necessarily
reachable.  Do a simple, but horrible, CFG walk to check for this
case.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@62487 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Utils/SimplifyCFG.cpp
test/Transforms/SimplifyCFG/2009-01-18-PHIPropCrash.ll [new file with mode: 0644]