[Issue 24534] Having a label on a declaration makes it possible to skip it with goto
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Fri May 3 21:26:08 UTC 2024
https://issues.dlang.org/show_bug.cgi?id=24534
--- Comment #3 from Jonathan M Davis <issues.dlang at jmdavisProg.com> ---
Well, it's in clear violation of the spec:
https://dlang.org/spec/statement.html#goto-statement
So, either the spec is wrong, or dmd is.
Also, if you slap @safe on main, it compiles even though the initialization is
skipped, which should never happen in @safe code. So, there's a bug here of
some kind regardless.
--
More information about the Digitalmars-d-bugs
mailing list