fail1(void)1 void fail1(void)
2 {
3   abort ();
4 }
fail2(void)5 void fail2(void)
6 {
7   abort ();
8 }
fail3(void)9 void fail3(void)
10 {
11   abort ();
12 }
fail4(void)13 void fail4(void)
14 {
15   abort ();
16 }
17 
18 
foo(long x)19 void foo(long x)
20 {
21   switch (x)
22     {
23     case -6:
24       fail1 (); break;
25     case 0:
26       fail2 (); break;
27     case 1: case 2:
28       break;
29     case 3: case 4: case 5:
30       fail3 ();
31       break;
32     default:
33       fail4 ();
34       break;
35     }
36   switch (x)
37     {
38 
39     case -3:
40       fail1 (); break;
41     case 0: case 4:
42       fail2 (); break;
43     case 1: case 3:
44       break;
45     case 2: case 8:
46       abort ();
47       break;
48     default:
49       fail4 ();
50       break;
51     }
52 }
53 
main(void)54 int main(void)
55 {
56   foo (1);
57   exit (0);
58 }
59