ExceptionRegion modeling issues and proposed improvements

[Maurizio Cimadamore]

On 09/10/2024 14:16, Adam Sotona wrote:
>
> If we wanted to exit the region from block 27, then we'd also need to 
> split, as we might need to exit either %1 or %5 from there, no?
>
> block 27 is the exception handler of the outer try region(s), so no 
> need to exit it (them)
>
Maybe this is the bit I'm missing: don't we need to exit exception 
regions explicitly, even inside catch handlers?

Maurizio
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/babylon-dev/attachments/20241009/4b7cc365/attachment.htm>