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