1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s 2 template<typename T> int force_same(T, T); 3 4 // C++ [dcl.enum]p5: 5 // [...] If the underlying type is not fixed, the type of each enumerator is 6 // the type of its initializing value: 7 // - If an initializer is specified for an enumerator, the initializing 8 // value has the same type as the expression. 9 enum Bullet1 { 10 Bullet1Val1 = 'a', 11 Bullet1Val2 = 10u, 12 Bullet1Val1IsChar = sizeof(force_same(Bullet1Val1, char(0))), 13 Bullet1Val2IsUnsigned = sizeof(force_same(Bullet1Val2, unsigned(0))) 14 }; 15 16 // - If no initializer is specified for the first enumerator, the 17 // initializing value has an unspecified integral type. 18 enum Bullet2 { 19 Bullet2Val, 20 Bullet2ValIsInt = sizeof(force_same(Bullet2Val, int(0))) 21 }; 22 23 // - Otherwise the type of the initializing value is the same as the type 24 // of the initializing value of the preceding enumerator unless the 25 // incremented value is not representable in that type, in which case the 26 // type is an unspecified integral type sufficient to contain the 27 // incremented value. If no such type exists, the program is ill-formed. 28 enum Bullet3a { 29 Bullet3aVal1 = 17, 30 Bullet3aVal2, 31 Bullet3aVal2IsInt = sizeof(force_same(Bullet3aVal2, int(0))), 32 Bullet3aVal3 = 2147483647, 33 Bullet3aVal3IsInt = sizeof(force_same(Bullet3aVal3, int(0))), 34 Bullet3aVal4, 35 Bullet3aVal4IsUnsigned = sizeof(force_same(Bullet3aVal4, 0ul)) 36 }; 37 38 enum Bullet3b { 39 Bullet3bVal1 = 17u, 40 Bullet3bVal2, 41 Bullet3bVal2IsInt = sizeof(force_same(Bullet3bVal2, 0u)), 42 Bullet3bVal3 = 2147483647u, 43 Bullet3bVal3IsInt = sizeof(force_same(Bullet3bVal3, 0u)), 44 Bullet3bVal4, 45 Bullet3bVal4IsUnsigned = sizeof(force_same(Bullet3bVal4, 0ul)) 46 }; 47 48 enum Bullet3c { 49 Bullet3cVal1 = 0xFFFFFFFFFFFFFFFEull, 50 Bullet3cVal2, 51 Bullet3cVal3 // expected-warning{{not representable}} 52 }; 53 54 // Following the closing brace of an enum-specifier, each enumerator has the 55 // type of its enumeration. 56 int array0[sizeof(force_same(Bullet3bVal3, Bullet3b(0)))? 1 : -1]; 57
