Currently we check if the block is directly reachable. This patch expands the check to global reachability by checking if the block is dominated by the entry block.
Currently we check if the block is directly reachable. This patch expands the check to global reachability by checking if the block is dominated by the entry block.



Swift SVN r16359

swiftix/swift.old,parkera/swift,kusl/swift,slavapestov/swift,KrishMunot/swift,tardieu/swift,danielmartin/swift,danielmartin/swift,allevato/swift,shajrawi/swift,tkremenek/swift,kperryua/swift,lorentey/swift,devincoughlin/swift,therealbnut/swift,calebd/swift,harlanhaskins/swift,gmilos/swift,codestergit/swift,IngmarStein/swift,parkera/swift,manavgabhawala/swift,jtbandes/swift,jmgc/swift,airspeedswift/swift,MukeshKumarS/Swift,nathawes/swift,dduan/swift,JaSpa/swift,sschiau/swift,frootloops/swift,ben-ng/swift,codestergit/swift,ken0nek/swift,apple/swift,arvedviehweger/swift,karwa/swift,sschiau/swift,gottesmm/swift,JaSpa/swift,nathawes/swift,ken0nek/swift,devincoughlin/swift,devincoughlin/swift,kentya6/swift,modocache/swift,xedin/swift,deyton/swift,MukeshKumarS/Swift,aschwaighofer/swift,mightydeveloper/swift,tinysun212/swift-windows,jckarter/swift,atrick/swift,hughbe/swift,kusl/swift,tardieu/swift,slavapestov/swift,lorentey/swift,karwa/swift,CodaFi/swift,zisko/swift,modocache/swift,JaSpa/swift,glessard/swift,jckarter/swift,therealbnut/swift,practicalswift/swift,danielmartin/swift,adrfer/swift,zisko/swift,apple/swift,xwu/swift,gregomni/swift,mightydeveloper/swift,hooman/swift,bitjammer/swift,tardieu/swift,shajrawi/swift,JaSpa/swift,benlangmuir/swift,amraboelela/swift,SwiftAndroid/swift,tjw/swift,karwa/swift,tkremenek/swift,tardieu/swift,airspeedswift/swift,arvedviehweger/swift,manavgabhawala/swift,dduan/swift,shajrawi/swift,CodaFi/swift,apple/swift,kentya6/swift,hooman/swift,djwbrown/swift,OscarSwanros/swift,MukeshKumarS/Swift,glessard/swift,natecook1000/swift,IngmarStein/swift,roambotics/swift,sdulal/swift,aschwaighofer/swift,amraboelela/swift,jopamer/swift,shahmishal/swift,sdulal/swift,modocache/swift,emilstahl/swift,return/swift,deyton/swift,cbrentharris/swift,hughbe/swift,xwu/swift,shahmishal/swift,apple/swift,tjw/swift,Jnosh/swift,johnno1962d/swift,harlanhaskins/swift,KrishMunot/swift,tinysun212/swift-windows,LeoShimonaka/swift,danielmartin/swift,Ivacker/swift,therealbnut/swift,felix91gr/swift,Ivacker/swift,kstaring/swift,arvedviehweger/swift,dreamsxin/swift,kusl/swift,practicalswift/swift,nathawes/swift,sdulal/swift,emilstahl/swift,russbishop/swift,zisko/swift,milseman/swift,austinzheng/swift,arvedviehweger/swift,sdulal/swift,LeoShimonaka/swift,cbrentharris/swift,Jnosh/swift,stephentyrone/swift,alblue/swift,danielmartin/swift,brentdax/swift,kusl/swift,sschiau/swift,dduan/swift,huonw/swift,natecook1000/swift,nathawes/swift,brentdax/swift,tjw/swift,jckarter/swift,lorentey/swift,return/swift,JGiola/swift,russbishop/swift,IngmarStein/swift,xwu/swift,jmgc/swift,return/swift,kusl/swift,stephentyrone/swift,kentya6/swift,return/swift,gribozavr/swift,jopamer/swift,atrick/swift,shahmishal/swift,frootloops/swift,frootloops/swift,Ivacker/swift,karwa/swift,IngmarStein/swift,return/swift,adrfer/swift,roambotics/swift,gribozavr/swift,KrishMunot/swift,russbishop/swift,parkera/swift,huonw/swift,adrfer/swift,modocache/swift,shajrawi/swift,KrishMunot/swift,jmgc/swift,emilstahl/swift,IngmarStein/swift,therealbnut/swift,stephentyrone/swift,roambotics/swift,adrfer/swift,JaSpa/swift,benlangmuir/swift,milseman/swift,practicalswift/swift,emilstahl/swift,lorentey/swift,slavapestov/swift,JGiola/swift,tjw/swift,jckarter/swift,kstaring/swift,jtbandes/swift,swiftix/swift,kstaring/swift,natecook1000/swift,lorentey/swift,slavapestov/swift,allevato/swift,khizkhiz/swift,roambotics/swift,milseman/swift,glessard/swift,shahmishal/swift,JGiola/swift,gregomni/swift,sschiau/swift,ahoppen/swift,OscarSwanros/swift,jckarter/swift,gmilos/swift,bitjammer/swift,gmilos/swift,IngmarStein/swift,alblue/swift,return/swift,johnno1962d/swift,ben-ng/swift,harlanhaskins/swift,kentya6/swift,Jnosh/swift,devincoughlin/swift,benlangmuir/swift,hughbe/swift,cbrentharris/swift,hughbe/swift,danielmartin/swift,mightydeveloper/swift,uasys/swift,gregomni/swift,uasys/swift,kentya6/swift,sschiau/swift,allevato/swift,khizkhiz/swift,shajrawi/swift,johnno1962d/swift,gribozavr/swift,brentdax/swift,amraboelela/swift,swiftix/swift.old,shajrawi/swift,calebd/swift,ahoppen/swift,CodaFi/swift,natecook1000/swift,danielmartin/swift,khizkhiz/swift,austinzheng/swift,glessard/swift,huonw/swift,airspeedswift/swift,johnno1962d/swift,manavgabhawala/swift,arvedviehweger/swift,jopamer/swift,glessard/swift,allevato/swift,dduan/swift,ben-ng/swift,mightydeveloper/swift,russbishop/swift,swiftix/swift,allevato/swift,calebd/swift,jmgc/swift,emilstahl/swift,tardieu/swift,codestergit/swift,kentya6/swift,lorentey/swift,nathawes/swift,adrfer/swift,uasys/swift,allevato/swift,SwiftAndroid/swift,jopamer/swift,frootloops/swift,ahoppen/swift,ben-ng/swift,swiftix/swift.old,rudkx/swift,huonw/swift,slavapestov/swift,djwbrown/swift,uasys/swift,tkremenek/swift,practicalswift/swift,frootloops/swift,stephentyrone/swift,manavgabhawala/swift,SwiftAndroid/swift,uasys/swift,JaSpa/swift,karwa/swift,airspeedswift/swift,bitjammer/swift,parkera/swift,deyton/swift,manavgabhawala/swift,karwa/swift,devincoughlin/swift,zisko/swift,austinzheng/swift,khizkhiz/swift,gottesmm/swift,uasys/swift,KrishMunot/swift,felix91gr/swift,aschwaighofer/swift,xedin/swift,xwu/swift,xwu/swift,atrick/swift,swiftix/swift,felix91gr/swift,gmilos/swift,cbrentharris/swift,khizkhiz/swift,johnno1962d/swift,glessard/swift,hooman/swift,gottesmm/swift,jtbandes/swift,apple/swift,cbrentharris/swift,johnno1962d/swift,swiftix/swift,roambotics/swift,OscarSwanros/swift,rudkx/swift,swiftix/swift,shahmishal/swift,russbishop/swift,kperryua/swift,ken0nek/swift,codestergit/swift,swiftix/swift.old,JGiola/swift,kperryua/swift,rudkx/swift,djwbrown/swift,airspeedswift/swift,natecook1000/swift,alblue/swift,benlangmuir/swift,cbrentharris/swift,LeoShimonaka/swift,sdulal/swift,tinysun212/swift-windows,kstaring/swift,ken0nek/swift,rudkx/swift,gribozavr/swift,deyton/swift,gottesmm/swift,Jnosh/swift,kusl/swift,tkremenek/swift,JGiola/swift,OscarSwanros/swift,cbrentharris/swift,calebd/swift,Ivacker/swift,karwa/swift,Ivacker/swift,zisko/swift,roambotics/swift,LeoShimonaka/swift,kusl/swift,xedin/swift,xedin/swift,adrfer/swift,swiftix/swift.old,johnno1962d/swift,SwiftAndroid/swift,djwbrown/swift,xedin/swift,huonw/swift,mightydeveloper/swift,LeoShimonaka/swift,lorentey/swift,KrishMunot/swift,kperryua/swift,jopamer/swift,brentdax/swift,xwu/swift,alblue/swift,jmgc/swift,allevato/swift,xedin/swift,arvedviehweger/swift,djwbrown/swift,milseman/swift,sschiau/swift,tkremenek/swift,hughbe/swift,dreamsxin/swift,return/swift,ben-ng/swift,brentdax/swift,OscarSwanros/swift,airspeedswift/swift,CodaFi/swift,atrick/swift,CodaFi/swift,therealbnut/swift,kperryua/swift,devincoughlin/swift,alblue/swift,swiftix/swift.old,milseman/swift,felix91gr/swift,xedin/swift,kentya6/swift,dduan/swift,apple/swift,kperryua/swift,devincoughlin/swift,practicalswift/swift,hooman/swift,atrick/swift,ken0nek/swift,gmilos/swift,slavapestov/swift,zisko/swift,gregomni/swift,kstaring/swift,LeoShimonaka/swift,jckarter/swift,ben-ng/swift,Jnosh/swift,sdulal/swift,MukeshKumarS/Swift,dduan/swift,JaSpa/swift,swiftix/swift.old,JGiola/swift,kstaring/swift,emilstahl/swift,ahoppen/swift,SwiftAndroid/swift,amraboelela/swift,hooman/swift,natecook1000/swift,parkera/swift,austinzheng/swift,arvedviehweger/swift,shajrawi/swift,codestergit/swift,brentdax/swift,gregomni/swift,calebd/swift,natecook1000/swift,gribozavr/swift,tjw/swift,stephentyrone/swift,gottesmm/swift,mightydeveloper/swift,uasys/swift,sdulal/swift,austinzheng/swift,cbrentharris/swift,KrishMunot/swift,MukeshKumarS/Swift,adrfer/swift,Ivacker/swift,Jnosh/swift,tinysun212/swift-windows,OscarSwanros/swift,mightydeveloper/swift,shahmishal/swift,jtbandes/swift,ken0nek/swift,sschiau/swift,tinysun212/swift-windows,modocache/swift,tkremenek/swift,SwiftAndroid/swift,dduan/swift,felix91gr/swift,deyton/swift,frootloops/swift,tardieu/swift,parkera/swift,nathawes/swift,modocache/swift,airspeedswift/swift,benlangmuir/swift,calebd/swift,lorentey/swift,LeoShimonaka/swift,khizkhiz/swift,calebd/swift,milseman/swift,swiftix/swift,tardieu/swift,gmilos/swift,therealbnut/swift,amraboelela/swift,huonw/swift,Ivacker/swift,austinzheng/swift,rudkx/swift,jtbandes/swift,jopamer/swift,djwbrown/swift,modocache/swift,gottesmm/swift,deyton/swift,kstaring/swift,alblue/swift,khizkhiz/swift,felix91gr/swift,brentdax/swift,hughbe/swift,slavapestov/swift,codestergit/swift,bitjammer/swift,tjw/swift,xedin/swift,zisko/swift,jckarter/swift,stephentyrone/swift,kusl/swift,tinysun212/swift-windows,swiftix/swift,kentya6/swift,CodaFi/swift,hooman/swift,jtbandes/swift,alblue/swift,manavgabhawala/swift,emilstahl/swift,aschwaighofer/swift,practicalswift/swift,aschwaighofer/swift,parkera/swift,frootloops/swift,aschwaighofer/swift,stephentyrone/swift,bitjammer/swift,amraboelela/swift,OscarSwanros/swift,parkera/swift,shahmishal/swift,jmgc/swift,CodaFi/swift,huonw/swift,SwiftAndroid/swift,harlanhaskins/swift,Ivacker/swift,tinysun212/swift-windows,practicalswift/swift,gribozavr/swift,xwu/swift,sschiau/swift,milseman/swift,gottesmm/swift,jmgc/swift,deyton/swift,sdulal/swift,codestergit/swift,amraboelela/swift,russbishop/swift,djwbrown/swift,austinzheng/swift,rudkx/swift,tjw/swift,karwa/swift,jopamer/swift,IngmarStein/swift,therealbnut/swift,gribozavr/swift,ben-ng/swift,jtbandes/swift,hooman/swift,gribozavr/swift,bitjammer/swift,tkremenek/swift,russbishop/swift,devincoughlin/swift,harlanhaskins/swift,ahoppen/swift,aschwaighofer/swift,felix91gr/swift,shajrawi/swift,harlanhaskins/swift,gregomni/swift,MukeshKumarS/Swift,bitjammer/swift,ahoppen/swift,shahmishal/swift,atrick/swift,ken0nek/swift,harlanhaskins/swift,manavgabhawala/swift,practicalswift/swift,MukeshKumarS/Swift,Jnosh/swift,kperryua/swift,benlangmuir/swift,mightydeveloper/swift,gmilos/swift,nathawes/swift,swiftix/swift.old,hughbe/swift,LeoShimonaka/swift,emilstahl/swift