| 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 | |
|---|
| 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 | |
|---|