tree 1eb8069b523859439ff4b0f68085a3296132ad93
parent 2fa735dc0666f840cb2b17f7b912c5fea6387b06
author alan-baker <alanbaker@google.com> 1594862823 -0400
committer GitHub <noreply@github.com> 1594862823 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJfD6znCRBK7hj4Ov3rIwAAdHIIAFyobN/ovoBLd/Ogc6L9HWJW
 h0pSGOtzBphW3c7LrNMIGvc17Gc3dBmg/TfTC1RyQOoAH7j10rHVQm+GIkOCN5le
 BlTpYJxnisK4/+HgwXseqT/nI+MXOU5sECMxnd1FAJMtkYO7/AcYN7Zfh1x26lOd
 TQunPj2AyRERPc9FKNvekWD8QqphjlysZF+YujAaVIQxBPIxR6tMyTd5ahsYtPZN
 ylddvNSZLCUlJGq4WXKgdnGo5xU1VTB05UfmSH4yAkGRUUz1Vb+Rtlc7Q4C7zw+V
 INCUG7E7mQ5L/8dz71l74g14U6Gbsy2iC0ZeMsQ2ppfbMabrOYOycDIjGB6uHvs=
 =u06k
 -----END PGP SIGNATURE-----
 

Fix reachability in the validator (#3541)

Fixes #3529

* Make BasicBlock::reachable() only consider static reachability
* Fix reachability calculation to be independent of block order
* add tests