The expansion with gotos explains the behaviour nicely! Cool.

The error about fall-through is still missing though?

Also, I'm sorry for my sparse and perhaps erratic replies. For some reason, most of the messages in this thread are missing from my Inbox. The only reply I saw was the first one by bearophile. I don't know what's going on.

On 04/17/2014 08:04 PM, Matej Nanut wrote:
> The expansion with gotos explains the behaviour nicely! Cool.
>
> The error about fall-through is still missing though?

Good point, this error should probably be triggered. I guess the problem is roughly that indeed every case statement in the code is terminated by an explicit control flow construct and this is all that is checked for.