https://issues.dlang.org/show_bug.cgi?id=22165

          Issue ID: 22165
           Summary: blockexit has opportunities for improvement
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: moonlightsentinel@disroot.org

blockExit includes more BE members than actually necessary for some fringe cases. See the ENHANCEMENT comments in test/unit/semantic/control_flow.d introduced in https://github.com/dlang/dmd/pull/12939.

But note that it is TDB whether the gains actually justify the additional effort to detect these cases.

--