tree bdda53a9ef024fc18f9ca79a66f434b69c201dea
parent bb236c326d8ec3ea5810f54640ed6d512fb72ecc
author alan-baker <alanbaker@google.com> 1579820661 -0500
committer GitHub <noreply@github.com> 1579820661 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJeKiZ1CRBK7hj4Ov3rIwAAdHIIAIZp4uPjfJWxRcTGXGigYVbe
 7WHCCHbDeYOFgnlkfo6tLs0ABjOmmmBi7bVYA7rCxR6NHaZSYsd3ChctUF+b2Srd
 YwL+LXoPkE9iD2vcKtFkQsoWksl59LwQdf0u2oEziflAVuv1b5oN6obT9wYtGukT
 bMsB9gWhea7SniutdczOaIGDkt5GW1jaKcie9sCSpNI4gd8eQu7P09OET4A8vkWn
 EIOGrLgh3dYO/o66Mo7xpBXaIDPmVQdDZRGyiTZpy2mCrM6nR0kZKANSJLcLGJHy
 /EOado7pIvqur7sWX40cAebhXm+kgnchWOx2cH0lMTMv1ql3MsbKlStbnMPFZ1c=
 =IUrD
 -----END PGP SIGNATURE-----
 

Fix structured exit validation (#3141)

Fixes #3139

* If the header of the construct is also a merge block, jump to the
associated header instead of the immediate dominator
  * prevents spurious failures from unrelated constructs
* new tests