1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
const string FOO = "foo";
const string BAR = "bar";
const string MANAM = "manam";
string foo () {
string foo = "foo";
switch (foo) {
case FOO:
break;
case BAR:
case MANAM:
assert_not_reached ();
case "minim":
assert_not_reached ();
}
return foo;
}
string get_bar () {
return "bar";
}
string bar () {
switch (get_bar ()) {
case BAR:
break;
case FOO:
case "minim":
assert_not_reached ();
default:
assert_not_reached ();
}
return BAR;
}
void main () {
assert (foo () == "foo");
assert (bar () == "bar");
}
|
