diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-15 21:44:40 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-15 21:44:40 +0330 |
| commit | f3dcfd9805e1bd23b002f648d4391ec397122d9c (patch) | |
| tree | 91acab7da09c9225a2d838791d70e5c2e7db54b9 /tests/conformance/4-statements/switch_duplicate_label_rejected.zc | |
| parent | merge work/small-oob: bytes test out-of-bounds read (diff) | |
| parent | examples/actors_demo: print the fan-out replies in worker order, not arrival ... (diff) | |
merge work/known-bugs: constant-expression precedence, local const in constant expressions, duplicate case labels, unterminated strings, droppable cycles in one collection, js vm exit, docs, actors_demo orderHEADmain
Diffstat (limited to 'tests/conformance/4-statements/switch_duplicate_label_rejected.zc')
| -rw-r--r-- | tests/conformance/4-statements/switch_duplicate_label_rejected.zc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/conformance/4-statements/switch_duplicate_label_rejected.zc b/tests/conformance/4-statements/switch_duplicate_label_rejected.zc new file mode 100644 index 0000000..54f3b56 --- /dev/null +++ b/tests/conformance/4-statements/switch_duplicate_label_rejected.zc @@ -0,0 +1,6 @@ +// expect error: duplicate case label +// spec 4.7.2: a label seen twice in one switch is an error +include rt; +enum color { RED, GREEN }; +fn main() { int k = 1; switch (k) { case RED, GREEN: k = 2; case 2 - 1: k = 3; } return 0; } +// zc0: skip |