blob: 67bdf1600d7e163bf63f698e6470af94c22ec256 (
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
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
// PR c++/97573
// { dg-do compile { target { c++17_down } } }
// { dg-options "-Wenum-conversion" }
enum E1 { e } e1;
enum E2 { f } e2;
__extension__ static enum { } u1;
__extension__ static enum { } u2;
static double d;
void
conv ()
{
bool b1 = e == e1;
bool b2 = e == f; // { dg-warning "comparison between .enum E1. and .enum E2." }
bool b3 = e == 0.0; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." }
bool b4 = 0.0 == f; // { dg-warning "comparison of floating-point type .double. with enumeration type .E2." }
int n1 = true ? e : f; // { dg-warning "enumerated mismatch" }
int n2 = true ? e : 0.0; // { dg-warning "enumerated and non-enumerated type in conditional expression" }
}
int
enum_enum (bool b)
{
int r = 0;
const E1 e1c = e;
r += e - e;
r += e - e1;
r += e - f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." }
r += f - e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." }
r += f + f;
r += f + e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." }
r += e + f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." }
r += e1 - e2; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." }
r += e1 - e1c;
r += e1c - e1;
r += e * f; // { dg-warning "arithmetic between different enumeration types .E1. and .E2." }
r += f * e; // { dg-warning "arithmetic between different enumeration types .E2. and .E1." }
r += e * e;
r += e1 < e1c;
r += e < e1;
r += e1 < e2; // { dg-warning "comparison between .enum E1. and .enum E2." }
r += e < f; // { dg-warning "comparison between .enum E1. and .enum E2." }
r += f < e; // { dg-warning "comparison between .enum E2. and .enum E1." }
r += e1 == e1c;
r += e == e1;
r += e == f; // { dg-warning "comparison between .enum E1. and .enum E2." }
r += f == e; // { dg-warning "comparison between .enum E2. and .enum E1." }
r += e1 == e2; // { dg-warning "comparison between .enum E1. and .enum E2." }
r += e2 == e1; // { dg-warning "comparison between .enum E2. and .enum E1." }
r += b ? e1 : e1c;
r += b ? e1 : e;
r += b ? f : e; // { dg-warning "enumerated mismatch in conditional expression: .E2. vs .E1." }
r += b ? e1 : e2; // { dg-warning "enumerated mismatch in conditional expression: .E1. vs .E2." }
r += e | f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." }
r += e ^ f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." }
r += e & f; // { dg-warning "bitwise operation between different enumeration types .E1. and .E2." }
r += !e;
r += e1 | e;
r += e << f;
r += e >> f;
r += e || f;
r += e && f;
e1 = e1c;
// Anonymous enum.
r += u1 - u1;
r += u1 + u2; // { dg-warning "arithmetic between different enumeration types" }
r += u1 * u2; // { dg-warning "arithmetic between different enumeration types" }
r += u1 == u2; // { dg-warning "comparison between" }
r += u1 & u2; // { dg-warning "bitwise operation between different enumeration types" }
return r;
}
double
enum_float (bool b)
{
double r = 0.0;
r += e1 - d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." }
r += d - e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." }
r += e1 + d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." }
r += d + e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." }
r += e1 * d; // { dg-warning "arithmetic between enumeration type .E1. and floating-point type .double." }
r += d * e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." }
r += u1 * d; // { dg-warning "arithmetic between enumeration type" }
r += d * u1; // { dg-warning "arithmetic between floating-point type" }
r += e1 < d; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." }
r += d < e1; // { dg-warning "comparison of floating-point type .double. with enumeration type .E1." }
r += d == e1; // { dg-warning "comparison of floating-point type .double. with enumeration type .E1." }
r += e1 == d; // { dg-warning "comparison of enumeration type .E1. with floating-point type .double." }
r += u1 == d; // { dg-warning "comparison of enumeration type" }
r += d == u1; // { dg-warning "comparison of floating-point type" }
r += b ? e1 : d; // { dg-warning "enumerated and non-enumerated type in conditional expression" }
r += b ? d : e1; // { dg-warning "enumerated and non-enumerated type in conditional expression" }
r += b ? d : u1; // { dg-warning "enumerated and non-enumerated type in conditional expression" }
r += b ? u1 : d; // { dg-warning "enumerated and non-enumerated type in conditional expression" }
d += e1; // { dg-warning "arithmetic between floating-point type .double. and enumeration type .E1." }
d = e1;
return r;
}
|
