| 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
|---|
| 2 | typedef int INT; |
|---|
| 3 | typedef INT REALLY_INT; // expected-note {{previous definition is here}} |
|---|
| 4 | typedef REALLY_INT REALLY_REALLY_INT; |
|---|
| 5 | typedef REALLY_INT BOB; |
|---|
| 6 | typedef float REALLY_INT; // expected-error{{typedef redefinition with different types ('float' vs 'INT' (aka 'int'))}} |
|---|
| 7 | |
|---|
| 8 | struct X { |
|---|
| 9 | typedef int result_type; // expected-note {{previous definition is here}} |
|---|
| 10 | typedef INT result_type; // expected-error {{redefinition of 'result_type'}} |
|---|
| 11 | }; |
|---|
| 12 | |
|---|
| 13 | struct Y; // expected-note{{previous definition is here}} |
|---|
| 14 | typedef int Y; // expected-error{{typedef redefinition with different types ('int' vs 'Y')}} |
|---|
| 15 | |
|---|
| 16 | typedef int Y2; // expected-note{{declared here}} |
|---|
| 17 | struct Y2; // expected-error{{definition of type 'Y2' conflicts with typedef of the same name}} |
|---|
| 18 | |
|---|
| 19 | void f(); // expected-note{{previous definition is here}} |
|---|
| 20 | typedef int f; // expected-error{{redefinition of 'f' as different kind of symbol}} |
|---|
| 21 | |
|---|
| 22 | typedef int f2; // expected-note{{previous definition is here}} |
|---|
| 23 | void f2(); // expected-error{{redefinition of 'f2' as different kind of symbol}} |
|---|
| 24 | |
|---|
| 25 | typedef struct s s; |
|---|
| 26 | typedef int I; |
|---|
| 27 | typedef int I; |
|---|
| 28 | typedef I I; |
|---|
| 29 | |
|---|
| 30 | struct s { }; |
|---|
| 31 | |
|---|
| 32 | // PR5874 |
|---|
| 33 | namespace test1 { |
|---|
| 34 | typedef int foo; |
|---|
| 35 | namespace a { using test1::foo; }; |
|---|
| 36 | typedef int foo; |
|---|
| 37 | using namespace a; |
|---|
| 38 | foo x; |
|---|
| 39 | } |
|---|
| 40 | |
|---|
| 41 | namespace PR6923 { |
|---|
| 42 | struct A; |
|---|
| 43 | |
|---|
| 44 | extern "C" { |
|---|
| 45 | struct A; |
|---|
| 46 | typedef struct A A; |
|---|
| 47 | } |
|---|
| 48 | |
|---|
| 49 | struct A; |
|---|
| 50 | } |
|---|
| 51 | |
|---|
| 52 | namespace PR7462 { |
|---|
| 53 | struct A {}; |
|---|
| 54 | typedef int operator! (A); // expected-error{{typedef name must be an identifier}} |
|---|
| 55 | int i = !A(); // expected-error{{invalid argument type}} |
|---|
| 56 | } |
|---|
| 57 | |
|---|
| 58 | template<typename T> |
|---|
| 59 | typedef T f(T t) { return t; } // expected-error {{function definition declared 'typedef'}} |
|---|
| 60 | int k = f(0); |
|---|
| 61 | int k2 = k; |
|---|
| 62 | |
|---|
| 63 | namespace PR11630 { |
|---|
| 64 | template <class T> |
|---|
| 65 | struct S |
|---|
| 66 | { |
|---|
| 67 | static const unsigned C = 1; |
|---|
| 68 | static void f() |
|---|
| 69 | { |
|---|
| 70 | typedef int q[C == 1 ? 1 : -1]; // expected-note{{previous definition is here}} |
|---|
| 71 | typedef int q[C >= 1 ? 2 : -2]; // expected-error{{typedef redefinition with different types ('int [2]' vs 'int [1]')}} |
|---|
| 72 | typedef int n[C == 1 ? 1 : -1]; |
|---|
| 73 | typedef int n[C >= 1 ? 1 : -1]; |
|---|
| 74 | } |
|---|
| 75 | }; |
|---|
| 76 | |
|---|
| 77 | template <int T> |
|---|
| 78 | struct S2 |
|---|
| 79 | { |
|---|
| 80 | static void f() |
|---|
| 81 | { |
|---|
| 82 | typedef int q[1]; // expected-note{{previous definition is here}} |
|---|
| 83 | typedef int q[T]; // expected-error{{typedef redefinition with different types ('int [2]' vs 'int [1]')}} |
|---|
| 84 | } |
|---|
| 85 | }; |
|---|
| 86 | |
|---|
| 87 | void f() { |
|---|
| 88 | S<int> a; |
|---|
| 89 | a.f(); // expected-note{{in instantiation of member function 'PR11630::S<int>::f' requested here}} |
|---|
| 90 | S2<1> b; |
|---|
| 91 | b.f(); |
|---|
| 92 | S2<2> b2; |
|---|
| 93 | b2.f(); // expected-note{{in instantiation of member function 'PR11630::S2<2>::f' requested here}} |
|---|
| 94 | } |
|---|
| 95 | } |
|---|
| 96 | |
|---|