
<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p><br>

    </p>

    <div class="moz-cite-prefix">On 09/10/2024 14:16, Adam Sotona wrote:<br>

    </div>

    <blockquote type="cite" cite="mid:DS0PR10MB68472DBCFCF191ADB21B8F838C7F2@DS0PR10MB6847.namprd10.prod.outlook.com">

      <p>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?</p>

      <p><span style="font-size:11.0pt">block 27 is the exception

          handler of the </span>

        outer try region(s), so no need to exit it (them)</p>

    </blockquote>

    <p>Maybe this is the bit I'm missing: don't we need to exit

      exception regions explicitly, even inside catch handlers?</p>

    <p>Maurizio<br>

    </p>

  </body>

</html>