Douglas Gregor | 93afb0d | 2008-12-12 07:27:10 +0000 | [diff] [blame] | 1 | // RUN: clang -fsyntax-only -verify %s |
Douglas Gregor | 93afb0d | 2008-12-12 07:27:10 +0000 | [diff] [blame] | 2 | enum E { |
| 3 | Val1, |
| 4 | Val2 |
| 5 | }; |
| 6 | |
| 7 | int& enumerator_type(int); |
| 8 | float& enumerator_type(E); |
| 9 | |
| 10 | void f() { |
| 11 | E e = Val1; |
| 12 | float& fr = enumerator_type(Val2); |
| 13 | } |
Douglas Gregor | 66b947f | 2009-01-16 19:38:23 +0000 | [diff] [blame] | 14 | |
| 15 | // <rdar://problem/6502934> |
| 16 | typedef enum Foo { |
| 17 | A = 0, |
| 18 | B = 1 |
| 19 | } Foo; |
| 20 | |
| 21 | |
| 22 | void bar() { |
| 23 | Foo myvar = A; |
| 24 | myvar = B; |
| 25 | } |
Douglas Gregor | 80711a2 | 2009-03-06 18:34:03 +0000 | [diff] [blame^] | 26 | |
| 27 | /// PR3688 |
| 28 | struct s1 { |
| 29 | enum e1 (*bar)(void); // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
| 30 | }; |
| 31 | |
| 32 | enum e1 { YES, NO }; |
| 33 | |
| 34 | static enum e1 badfunc(struct s1 *q) { |
| 35 | // FIXME: the message below should probably give context information |
| 36 | // in those types. |
| 37 | return q->bar(); // expected-error{{incompatible type returning 'enum e1', expected 'enum e1'}} |
| 38 | } |
| 39 | |
| 40 | enum e2; // expected-error{{ISO C++ forbids forward references to 'enum' types}} |