blob: c47dc51740bc95930ecfa908468fba25bacab736 (
plain)
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
/* C2Y N3370 - Case range expressions. */
/* { dg-do compile } */
/* { dg-options "-std=c23 -pedantic-errors -W -Wall" } */
enum E { F = 10, G = 20 };
void
foo (unsigned x)
{
switch (x)
{
case -1:
break;
case ~0U + 1ULL: /* { dg-warning "conversion from 'long long unsigned int' to 'unsigned int' changes value from '\[0-9]*' to '0'" } */
break;
default:
break;
}
}
void
bar (unsigned x)
{
switch (x)
{
case -2 ... -1: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-error "conversion of '-2' to 'unsigned int' in range expression changes value to '\[0-9]*'" "" { target *-*-* } .-1 } */
/* { dg-error "conversion of '-1' to 'unsigned int' in range expression changes value to '\[0-9]*'" "" { target *-*-* } .-2 } */
break;
case ~0U + 1ULL ... ~0U + 2ULL: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-error "conversion of '\[0-9]*' to 'unsigned int' in range expression changes value to '0'" "" { target *-*-* } .-1 } */
/* { dg-error "conversion of '\[0-9]*' to 'unsigned int' in range expression changes value to '1'" "" { target *-*-* } .-2 } */
break;
case 70 ... 70: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
break;
case 80 ... 78: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "empty range specified" "" { target *-*-* } .-1 } */
break;
case -4 ... -4: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-error "conversion of '-4' to 'unsigned int' in range expression changes value to '\[0-9]*'" "" { target *-*-* } .-1 } */
break;
case ~0U + 6ULL ... ~0U + 6ULL: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-error "conversion of '\[0-9]*' to 'unsigned int' in range expression changes value to '5'" "" { target *-*-* } .-1 } */
break;
default:
break;
}
}
void
baz (unsigned char x)
{
switch (x)
{
case -32 ... -30: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "case label value is less than minimum value for type" "" { target *-*-* } .-1 } */
break;
case -31: /* { dg-error "duplicate case value" } */
break;
case -42: /* { dg-warning "case label value is less than minimum value for type" } */
break;
case -43 ... -41: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-error "duplicate \\\(or overlapping\\\) case value" "" { target *-*-* } .-1 } */
break;
default:
break;
}
}
void
qux (int x)
{
switch (x)
{
case -6 ... -8: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "empty range specified" "" { target *-*-* } .-1 } */
break;
case -6:
break;
case -7:
break;
case -8:
break;
case F...G: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
break;
case -10:
break;
case -10 ... -11: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "empty range specified" "" { target *-*-* } .-1 } */
break;
case -14 ... -15: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "empty range specified" "" { target *-*-* } .-1 } */
break;
case -14 ... -15: /* { dg-error "ISO C does not support range expressions in switch statements before C2Y" } */
/* { dg-warning "empty range specified" "" { target *-*-* } .-1 } */
break;
default:
break;
}
}
|
