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
