1*67e74705SXin Li // RUN: %clang_cc1 -triple %itanium_abi_triple -verify -fsyntax-only -std=c11 -Wassign-enum %s
2*67e74705SXin Li
3*67e74705SXin Li enum __attribute__((flag_enum)) flag {
4*67e74705SXin Li ea = 0x1,
5*67e74705SXin Li eb = 0x2,
6*67e74705SXin Li ec = 0x8,
7*67e74705SXin Li };
8*67e74705SXin Li
9*67e74705SXin Li enum __attribute__((flag_enum)) flag2 {
10*67e74705SXin Li ga = 0x1,
11*67e74705SXin Li gb = 0x4,
12*67e74705SXin Li
13*67e74705SXin Li gc = 0x5, // no-warning
14*67e74705SXin Li gd = 0x7, // expected-warning {{enumeration value 'gd' is out of range}}
15*67e74705SXin Li ge = ~0x2, // expected-warning {{enumeration value 'ge' is out of range}}
16*67e74705SXin Li gf = ~0x4, // no-warning
17*67e74705SXin Li gg = ~0x1, // no-warning
18*67e74705SXin Li gh = ~0x5, // no-warning
19*67e74705SXin Li gi = ~0x11, // expected-warning {{enumeration value 'gi' is out of range}}
20*67e74705SXin Li };
21*67e74705SXin Li
22*67e74705SXin Li enum __attribute__((flag_enum)) flag3 {
23*67e74705SXin Li fa = 0x1,
24*67e74705SXin Li fb = ~0x1u, // no-warning
25*67e74705SXin Li };
26*67e74705SXin Li
27*67e74705SXin Li // What happens here is that ~0x2 is negative, and so the enum must be signed.
28*67e74705SXin Li // But ~0x1u is unsigned and has the high bit set, so the enum must be 64-bit.
29*67e74705SXin Li // The result is that ~0x1u does not have high bits set, and so it is considered
30*67e74705SXin Li // to be an invalid value. See Sema::IsValueInFlagEnum in SemaDecl.cpp for more
31*67e74705SXin Li // discussion.
32*67e74705SXin Li enum __attribute__((flag_enum)) flag4 {
33*67e74705SXin Li ha = 0x1,
34*67e74705SXin Li hb = 0x2,
35*67e74705SXin Li
36*67e74705SXin Li hc = ~0x1u, // expected-warning {{enumeration value 'hc' is out of range}}
37*67e74705SXin Li hd = ~0x2, // no-warning
38*67e74705SXin Li };
39*67e74705SXin Li
f(void)40*67e74705SXin Li void f(void) {
41*67e74705SXin Li enum flag e = 0; // no-warning
42*67e74705SXin Li e = 0x1; // no-warning
43*67e74705SXin Li e = 0x3; // no-warning
44*67e74705SXin Li e = 0xa; // no-warning
45*67e74705SXin Li e = 0x4; // expected-warning {{integer constant not in range of enumerated type}}
46*67e74705SXin Li e = 0xf; // expected-warning {{integer constant not in range of enumerated type}}
47*67e74705SXin Li e = ~0; // no-warning
48*67e74705SXin Li e = ~0x1; // no-warning
49*67e74705SXin Li e = ~0x2; // no-warning
50*67e74705SXin Li e = ~0x3; // no-warning
51*67e74705SXin Li e = ~0x4; // expected-warning {{integer constant not in range of enumerated type}}
52*67e74705SXin Li
53*67e74705SXin Li switch (e) {
54*67e74705SXin Li case 0: break; // no-warning
55*67e74705SXin Li case 0x1: break; // no-warning
56*67e74705SXin Li case 0x3: break; // no-warning
57*67e74705SXin Li case 0xa: break; // no-warning
58*67e74705SXin Li case 0x4: break; // expected-warning {{case value not in enumerated type}}
59*67e74705SXin Li case 0xf: break; // expected-warning {{case value not in enumerated type}}
60*67e74705SXin Li case ~0: break; // expected-warning {{case value not in enumerated type}}
61*67e74705SXin Li case ~0x1: break; // expected-warning {{case value not in enumerated type}}
62*67e74705SXin Li case ~0x2: break; // expected-warning {{case value not in enumerated type}}
63*67e74705SXin Li case ~0x3: break; // expected-warning {{case value not in enumerated type}}
64*67e74705SXin Li case ~0x4: break; // expected-warning {{case value not in enumerated type}}
65*67e74705SXin Li default: break;
66*67e74705SXin Li }
67*67e74705SXin Li
68*67e74705SXin Li enum flag2 f = ~0x1; // no-warning
69*67e74705SXin Li f = ~0x1u; // no-warning
70*67e74705SXin Li
71*67e74705SXin Li enum flag4 h = ~0x1; // no-warning
72*67e74705SXin Li h = ~0x1u; // expected-warning {{integer constant not in range of enumerated type}}
73*67e74705SXin Li }
74