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

Walter Bright <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |[email protected]
           Severity|regression                  |enhancement

--- Comment #3 from Walter Bright <[email protected]> ---
The constructor flow analysis is primitive, and whenever it sees a label it
decides "could be a loop" and treats it as a loop. Case statements are indeed
labels, as one can goto them.

The reason this code used to compile is because case statements were not
checked - there could have been loops. This problem was fixed.

I'm going to redo this as an Enhancement Request for flow analysis in the
constructors.

--

Reply via email to