1 /*
2 bug3480545.c
3 */
4
5 #include <testfwk.h>
6
7 unsigned char var = 1;
8
do_switch(void)9 char do_switch(void)
10 {
11 switch( var )
12 {
13 case 0 : return 0;
14 case 1 : return 1;
15 case 2 : return 2;
16 case 3 : return 3;
17 case 4 : return 3;
18 case 5 : return 3;
19 case 6 : return 3;
20 case 7 : return 3;
21 case 8 : return 0;
22 case 9 : return 1;
23 case 10 : return 2;
24 case 11 : return 3;
25 case 12 : return 3;
26 case 13 : return 3;
27 case 14 : return 3;
28 case 15 : return 3;
29 case 16 : return 3;
30 case 17 : return 3;
31 }
32
33 return 0;
34 }
35
36 void
testBug(void)37 testBug (void)
38 {
39 ASSERT (do_switch() == 1);
40 }
41