Comment #0 by moonlightsentinel — 2021-08-01T19:23:49Z
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.
Comment #1 by robert.schadek — 2024-12-13T19:17:47Z