| // RUN: clang-cc -fsyntax-only -verify %s |
| |
| enum E { |
| Val1, |
| Val2 |
| }; |
| |
| int& enumerator_type(int); |
| float& enumerator_type(E); |
| |
| void f() { |
| E e = Val1; |
| float& fr = enumerator_type(Val2); |
| } |
| |
| // <rdar://problem/6502934> |
| typedef enum Foo { |
| A = 0, |
| B = 1 |
| } Foo; |
| |
| void bar() { |
| Foo myvar = A; |
| myvar = B; |
| } |
| |
| /// PR3688 |
| struct s1 { |
| enum e1 (*bar)(void); // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
| }; |
| |
| enum e1 { YES, NO }; |
| |
| static enum e1 badfunc(struct s1 *q) { |
| return q->bar(); |
| } |
| |
| enum e2; // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
| |
| namespace test1 { |
| template <class A, class B> struct is_same { static const int value = -1; }; |
| template <class A> struct is_same<A,A> { static const int value = 1; }; |
| |
| enum enum0 { v0 }; |
| int test0[is_same<typeof(+v0), int>::value]; |
| |
| enum enum1 { v1 = __INT_MAX__ }; |
| int test1[is_same<typeof(+v1), int>::value]; |
| |
| enum enum2 { v2 = __INT_MAX__ * 2U }; |
| int test2[is_same<typeof(+v2), unsigned int>::value]; |
| |
| // This kindof assumes that 'int' is smaller than 'long long'. |
| #if defined(__LP64__) |
| enum enum3 { v3 = __LONG_LONG_MAX__ }; |
| int test3[is_same<typeof(+v3), long>::value]; |
| |
| enum enum4 { v4 = __LONG_LONG_MAX__ * 2ULL }; |
| int test4[is_same<typeof(+v4), unsigned long>::value]; |
| #else |
| enum enum3 { v3 = __LONG_LONG_MAX__ }; |
| int test3[is_same<typeof(+v3), long long>::value]; |
| |
| enum enum4 { v4 = __LONG_LONG_MAX__ * 2ULL }; |
| int test4[is_same<typeof(+v4), unsigned long long>::value]; |
| #endif |
| } |