[Issue 24534] Having a label on a declaration makes it possible to skip it with goto

[d-bugmail at puremagic.com]

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

--- Comment #7 from Richard (Rikki) Andrew Cattermole <alphaglosined at gmail.com> ---
It is a bug in the compiler, I agree on that too.

But, it is also desirable to skip variable declarations, as long as you don't
touch them you do not violate the spec clause.

Since this is used in C code quite often, and therefore ported code (such as
dmd's backend).

A shortcut was taken with the current reverse search to analyze it, and it
doesn't work as a result.

Solving this properly requires type state analysis as that is what this
particular clause involves.

Therefore any attempts to fix this that does not do type state analysis is
unfortunately another shortcut.

--