Bug 12640 – Error inside a switch statement causes a spurious switch case fallthrough warning

void main() @nogc { int[1] bar; int x; switch (x) { case 0: bar = [x]; break; default: } } DMD 2.066alpha gives this, the warning is false (a rejects-valid, you can see it removing the @nogc annotation): test.d(6,19): Error: array literals in @nogc function main may cause GC allocation test.d(8,9): Warning: switch case fallthrough - use 'goto default;' if intended

This isn't really specific to @nogc, there are other cases where an error inside of a switch causes a fallthrough diagnostic.

Changed title. Reduced test-case: ----- void main() { switch (1) { case 0: asdf; break; default: } } -----

Commits pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/567f589ebd6a49c2420c38a44e5469d47956f46c Fix Issue 12640 - Avoid fallthrough diagnostics when the last case/default statement in a switch failed semantic analysis. https://github.com/D-Programming-Language/dmd/commit/c5ebee1dc7c41f53eaa9b86c44c6059fbd58ebad Merge pull request #3496 from AndrejMitrovic/Fix12640 Issue 12640 - Avoid fallthrough diagnostics when the last case/default statement failed.