145
|
1 /* PR c/89888 */
|
|
2 /* { dg-do compile { target { int32 } } } */
|
|
3 /* { dg-options "" } */
|
|
4
|
|
5 long long y;
|
|
6
|
|
7 void
|
|
8 foo (unsigned char x)
|
|
9 {
|
|
10 switch (x)
|
|
11 {
|
|
12 case -1: y = -1; break; /* { dg-message "previously used here" } */
|
|
13 /* { dg-warning "case label value is less than minimum value for type" "" { target *-*-* } .-1 } */
|
|
14 case 0xffffffff: y = 0xffffffff; break; /* { dg-error "duplicate case value|narrowing" } */
|
|
15 case ~0U: y = ~0U; break; /* { dg-error "duplicate case value|narrowing" } */
|
|
16 }
|
|
17 }
|
|
18
|
|
19 void
|
|
20 bar (unsigned char x)
|
|
21 {
|
|
22 switch (x)
|
|
23 {
|
|
24 case -1: y = -1; break; /* { dg-message "previously used here" } */
|
|
25 /* { dg-warning "case label value is less than minimum value for type" "" { target *-*-* } .-1 } */
|
|
26 case -1: y = -1; break; /* { dg-error "duplicate case value" } */
|
|
27 case -1: y = -1; break; /* { dg-error "duplicate case value" } */
|
|
28 }
|
|
29 }
|
|
30
|
|
31 void
|
|
32 baz (unsigned char x)
|
|
33 {
|
|
34 switch (x)
|
|
35 {
|
|
36 case -7: y = -7; break; /* { dg-warning "case label value is less than minimum value for type" } */
|
|
37 case -5 ... 2: y = -5; break; /* { dg-warning "lower value in case label range less than minimum value for type" } */
|
|
38 case 18: y = 18; break;
|
|
39 case (unsigned char) -2 ... 4 + (unsigned char) -2: y = 2; break; /* { dg-warning "upper value in case label range exceeds maximum value for type" } */
|
|
40 case 24 + (unsigned char) -2: y = 3; break; /* { dg-warning "case label value exceeds maximum value for type" } */
|
|
41 }
|
|
42 }
|
|
43
|
|
44 void
|
|
45 qux (unsigned char x)
|
|
46 {
|
|
47 switch (x)
|
|
48 {
|
|
49 case (unsigned char) -1 ... 1 + (unsigned char) -1: y = 2; break; /* { dg-warning "upper value in case label range exceeds maximum value for type" } */
|
|
50 case -12: y = -7; break; /* { dg-warning "case label value is less than minimum value for type" } */
|
|
51 case 18: y = 18; break;
|
|
52 case 27 + (unsigned char) -1: y = 3; break; /* { dg-warning "case label value exceeds maximum value for type" } */
|
|
53 case -1 ... 0: y = -5; break; /* { dg-warning "lower value in case label range less than minimum value for type" } */
|
|
54 }
|
|
55 }
|
|
56
|
|
57 void
|
|
58 quux (unsigned char x)
|
|
59 {
|
|
60 switch (x)
|
|
61 {
|
|
62 case (unsigned char) -2 ... (unsigned char) -1: y = 2; break;
|
|
63 case 18: y = 18; break;
|
|
64 case 1 + (unsigned char) -1: y = 3; break; /* { dg-warning "case label value exceeds maximum value for type" } */
|
|
65 case -2 ... -1: y = -5; break; /* { dg-warning "case label value is less than minimum value for type" } */
|
|
66 }
|
|
67 }
|