[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