blob: 3315de00ca83e36b1f62c3641087d67c08464915 [file] [log] [blame]
Daniel Dunbard7d5f022009-03-24 02:24:46 +00001// RUN: clang-cc -fsyntax-only -verify %s
John McCall842aef82009-12-09 09:09:27 +00002
Douglas Gregor93afb0d2008-12-12 07:27:10 +00003enum E {
4 Val1,
5 Val2
6};
7
8int& enumerator_type(int);
9float& enumerator_type(E);
10
11void f() {
12 E e = Val1;
13 float& fr = enumerator_type(Val2);
14}
Douglas Gregor66b947f2009-01-16 19:38:23 +000015
16// <rdar://problem/6502934>
17typedef enum Foo {
Mike Stump1eb44332009-09-09 15:08:12 +000018 A = 0,
19 B = 1
Douglas Gregor66b947f2009-01-16 19:38:23 +000020} Foo;
Mike Stump1eb44332009-09-09 15:08:12 +000021
Douglas Gregor66b947f2009-01-16 19:38:23 +000022void bar() {
Mike Stump1eb44332009-09-09 15:08:12 +000023 Foo myvar = A;
24 myvar = B;
Douglas Gregor66b947f2009-01-16 19:38:23 +000025}
Douglas Gregor80711a22009-03-06 18:34:03 +000026
27/// PR3688
28struct s1 {
John McCall50234372009-12-04 00:07:04 +000029 enum e1 (*bar)(void); // expected-error{{ISO C++ forbids forward references to 'enum' types}}
Douglas Gregor80711a22009-03-06 18:34:03 +000030};
31
32enum e1 { YES, NO };
33
34static enum e1 badfunc(struct s1 *q) {
John McCall50234372009-12-04 00:07:04 +000035 return q->bar();
Douglas Gregor80711a22009-03-06 18:34:03 +000036}
37
38enum e2; // expected-error{{ISO C++ forbids forward references to 'enum' types}}
John McCall842aef82009-12-09 09:09:27 +000039
40namespace test1 {
41 template <class A, class B> struct is_same { static const int value = -1; };
42 template <class A> struct is_same<A,A> { static const int value = 1; };
43
44 enum enum0 { v0 };
45 int test0[is_same<typeof(+v0), int>::value];
46
47 enum enum1 { v1 = __INT_MAX__ };
48 int test1[is_same<typeof(+v1), int>::value];
49
50 enum enum2 { v2 = __INT_MAX__ * 2U };
51 int test2[is_same<typeof(+v2), unsigned int>::value];
52
53 // This kindof assumes that 'int' is smaller than 'long long'.
54#if defined(__LP64__)
55 enum enum3 { v3 = __LONG_LONG_MAX__ };
56 int test3[is_same<typeof(+v3), long>::value];
57
58 enum enum4 { v4 = __LONG_LONG_MAX__ * 2ULL };
59 int test4[is_same<typeof(+v4), unsigned long>::value];
60#else
61 enum enum3 { v3 = __LONG_LONG_MAX__ };
62 int test3[is_same<typeof(+v3), long long>::value];
63
64 enum enum4 { v4 = __LONG_LONG_MAX__ * 2ULL };
65 int test4[is_same<typeof(+v4), unsigned long long>::value];
66#endif
67}