57 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-apple-darwin10.0.0 -fsyntax-only -verify %s2template<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.9enum 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.18enum 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 type24// of the initializing value of the preceding enumerator unless the 25// incremented value is not representable in that type, in which case the26// type is an unspecified integral type sufficient to contain the 27// incremented value. If no such type exists, the program is ill-formed.28enum 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 38enum 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 48enum 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 the55// type of its enumeration.56int array0[sizeof(force_same(Bullet3bVal3, Bullet3b(0)))? 1 : -1];57