Eli Friedman | 5f7157e | 2009-12-16 20:47:15 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -pedantic -std=c++98 -verify -triple x86_64-apple-darwin %s |
Douglas Gregor | f3a7b7c | 2010-06-22 14:26:35 +0000 | [diff] [blame] | 2 | enum E { // expected-note{{previous definition is here}} |
Douglas Gregor | 93afb0d | 2008-12-12 07:27:10 +0000 | [diff] [blame] | 3 | Val1, |
| 4 | Val2 |
| 5 | }; |
| 6 | |
Douglas Gregor | f3a7b7c | 2010-06-22 14:26:35 +0000 | [diff] [blame] | 7 | enum E; // expected-warning{{redeclaration of already-defined enum 'E' is a GNU extension}} |
| 8 | |
Douglas Gregor | 93afb0d | 2008-12-12 07:27:10 +0000 | [diff] [blame] | 9 | int& enumerator_type(int); |
| 10 | float& enumerator_type(E); |
| 11 | |
| 12 | void f() { |
| 13 | E e = Val1; |
| 14 | float& fr = enumerator_type(Val2); |
| 15 | } |
Douglas Gregor | 66b947f | 2009-01-16 19:38:23 +0000 | [diff] [blame] | 16 | |
| 17 | // <rdar://problem/6502934> |
| 18 | typedef enum Foo { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 19 | A = 0, |
| 20 | B = 1 |
Douglas Gregor | 66b947f | 2009-01-16 19:38:23 +0000 | [diff] [blame] | 21 | } Foo; |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 22 | |
Douglas Gregor | 66b947f | 2009-01-16 19:38:23 +0000 | [diff] [blame] | 23 | void bar() { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 24 | Foo myvar = A; |
| 25 | myvar = B; |
Douglas Gregor | 66b947f | 2009-01-16 19:38:23 +0000 | [diff] [blame] | 26 | } |
Douglas Gregor | 80711a2 | 2009-03-06 18:34:03 +0000 | [diff] [blame] | 27 | |
| 28 | /// PR3688 |
| 29 | struct s1 { |
John McCall | 5023437 | 2009-12-04 00:07:04 +0000 | [diff] [blame] | 30 | enum e1 (*bar)(void); // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
Douglas Gregor | 80711a2 | 2009-03-06 18:34:03 +0000 | [diff] [blame] | 31 | }; |
| 32 | |
| 33 | enum e1 { YES, NO }; |
| 34 | |
| 35 | static enum e1 badfunc(struct s1 *q) { |
John McCall | 5023437 | 2009-12-04 00:07:04 +0000 | [diff] [blame] | 36 | return q->bar(); |
Douglas Gregor | 80711a2 | 2009-03-06 18:34:03 +0000 | [diff] [blame] | 37 | } |
| 38 | |
| 39 | enum e2; // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 40 | |
| 41 | namespace test1 { |
| 42 | template <class A, class B> struct is_same { static const int value = -1; }; |
| 43 | template <class A> struct is_same<A,A> { static const int value = 1; }; |
| 44 | |
| 45 | enum enum0 { v0 }; |
Eli Friedman | 2aaad63 | 2009-12-16 20:30:08 +0000 | [diff] [blame] | 46 | int test0[is_same<__typeof(+v0), int>::value]; |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 47 | |
| 48 | enum enum1 { v1 = __INT_MAX__ }; |
Eli Friedman | 2aaad63 | 2009-12-16 20:30:08 +0000 | [diff] [blame] | 49 | int test1[is_same<__typeof(+v1), int>::value]; |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 50 | |
| 51 | enum enum2 { v2 = __INT_MAX__ * 2U }; |
Eli Friedman | 2aaad63 | 2009-12-16 20:30:08 +0000 | [diff] [blame] | 52 | int test2[is_same<__typeof(+v2), unsigned int>::value]; |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 53 | |
Eli Friedman | 2aaad63 | 2009-12-16 20:30:08 +0000 | [diff] [blame] | 54 | enum enum3 { v3 = __LONG_MAX__ }; |
| 55 | int test3[is_same<__typeof(+v3), long>::value]; |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 56 | |
Eli Friedman | 2aaad63 | 2009-12-16 20:30:08 +0000 | [diff] [blame] | 57 | enum enum4 { v4 = __LONG_MAX__ * 2UL }; |
| 58 | int test4[is_same<__typeof(+v4), unsigned long>::value]; |
John McCall | 842aef8 | 2009-12-09 09:09:27 +0000 | [diff] [blame] | 59 | } |
Douglas Gregor | e39fe72 | 2010-01-19 06:06:57 +0000 | [diff] [blame] | 60 | |
| 61 | // PR6061 |
| 62 | namespace PR6061 { |
| 63 | struct A { enum { id }; }; |
| 64 | struct B { enum { id }; }; |
| 65 | |
| 66 | struct C : public A, public B |
| 67 | { |
| 68 | enum { id }; |
| 69 | }; |
| 70 | } |
Douglas Gregor | a873dfc | 2010-02-03 00:27:59 +0000 | [diff] [blame] | 71 | |
| 72 | namespace Conditional { |
| 73 | enum a { A }; a x(const enum a x) { return 1?x:A; } |
| 74 | } |
Douglas Gregor | 88623ad | 2010-05-23 21:53:47 +0000 | [diff] [blame] | 75 | |
| 76 | namespace PR7051 { |
| 77 | enum E { e0 }; |
| 78 | void f() { |
| 79 | E e; |
| 80 | e = 1; // expected-error{{assigning to 'PR7051::E' from incompatible type 'int'}} |
| 81 | e |= 1; // expected-error{{assigning to 'PR7051::E' from incompatible type 'int'}} |
| 82 | } |
| 83 | } |
Douglas Gregor | a131d0f | 2010-07-13 06:24:26 +0000 | [diff] [blame] | 84 | |
| 85 | // PR7466 |
| 86 | enum { }; // expected-warning{{declaration does not declare anything}} |
| 87 | typedef enum { }; // expected-warning{{typedef requires a name}} |
Eli Friedman | 34fd628 | 2010-08-19 04:39:37 +0000 | [diff] [blame] | 88 | |
| 89 | // PR7921 |
| 90 | enum PR7921E { |
Richard Smith | 244ee7b | 2012-01-15 03:51:30 +0000 | [diff] [blame] | 91 | PR7921V = (PR7921E)(123) // expected-error {{expression is not an integral constant expression}} |
Eli Friedman | 34fd628 | 2010-08-19 04:39:37 +0000 | [diff] [blame] | 92 | }; |
Douglas Gregor | 5dde160 | 2010-09-12 03:38:25 +0000 | [diff] [blame] | 93 | |
| 94 | void PR8089() { |
| 95 | enum E; // expected-error{{ISO C++ forbids forward references to 'enum' types}} |
| 96 | int a = (E)3; // expected-error{{cannot initialize a variable of type 'int' with an rvalue of type 'E'}} |
| 97 | } |