clang/test/CXX/dcl.dcl/dcl.enum/p5.cpp

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