[Issue 6518] break inside a static foreach inside a switch

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6518



--- Comment #1 from Kenji Hara <k.hara.pg at gmail.com> 2011-08-17 16:31:46 PDT ---
(In reply to comment #0)
> import std.typetuple: TypeTuple;
> enum Foo : uint { A, B, C }
> alias TypeTuple!(Foo.A, Foo.B, Foo.C) FooNames;
> void main() {
>     Foo fo;
>     switch (fo) {
>         /*static*/ foreach (i, op; __traits(allMembers, Foo))
>             case FooNames[i]: break;
> 
>         default: assert(0);
>     }
> }
[snip]
> I think DMD 2.042 doesn't have this problem, this code used to work. I think
> this problem comes from recent changes in switch switch semantics and analysis.

This code could compile with trunk dmd (c98b611), and it asserts in run time.
Which version did you try it with?

> The following code gives the same errors, showing it's not a problem of break
> breaking the foreach loop (like it probably has to do; so maybe the first
> example not correct?):
> 
> import std.typetuple: TypeTuple;
> enum Foo : uint { A, B, C }
> alias TypeTuple!(Foo.A, Foo.B, Foo.C) FooNames;
> void main() {
>     Foo fo;
>     LABEL: switch (fo) {
>         /*static*/ foreach (i, op; __traits(allMembers, Foo))
>             case FooNames[i]: break LABEL;
> 
>         default: assert(0);
>     }
> }

This code could compile, and it succeeds to run.

I think these behaviors in my PC are correct.
In first sample code, break-statement eacapes from foreach, and always goes
into default case, and asserts.
And in second sample, break-statement escapes from LABEL-ed switch statement.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------