tree 39ebf779f9fabd7d9cccd499cbf75a6114d65416
parent 237173a07083a81199ffdaa8325037abbf09aebe
author Alastair Donaldson <alastair.donaldson@imperial.ac.uk> 1624906814 +0100
committer GitHub <noreply@github.com> 1624906814 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJg2hw+CRBK7hj4Ov3rIwAA+P8IAI2G3g0R1vOyCLdqTDpsKFEw
 bSYtyWpxX3lYGksVd+hr2iG3ByZCub90BTZ2NOkK8kO8+NAIC4yWGsnWdkVB6k/M
 bFysynEgpulVSsk/1qXeXR1N2jxZxbJTZmGiG9sMLDK9FFBCUSNDHfzeFC8jWIZw
 9fvWTbYbbTOz8YtuJvZcIMFTC886noTrbaEwsbYUTSXvjCz+zzT+kGJBnYAZWg3K
 6DgHrncOqVic0AKG+FI11FmJZdpER0QCntjV6Wq9Rn6j8fGTGF2tseXg3Kgjm2lC
 mPPWc+MPhxeniiROGrIkHS99VwbthpL4hTKUXHBGYdgOaYqIWCXUTWbzAWUAaSY=
 =xmai
 -----END PGP SIGNATURE-----
 

Add IsReachable function to IRContext (#4323)

There was a lot of code in the codebase that would get the dominator
analysis for a function and then use it to check whether a block is
reachable. In the fuzzer, a utility method had been introduced to make
this more concise, but it was not being used consistently.

This change moves the utility method to IRContext, so that it can be
used throughout the codebase, and refactors all existing checks for
block reachability to use the utility method.