1// RUN: %clang_cc1 -fsyntax-only -verify %s 2typedef int INT; 3typedef INT REALLY_INT; // expected-note {{previous definition is here}} 4typedef REALLY_INT REALLY_REALLY_INT; 5typedef REALLY_INT BOB; 6typedef float REALLY_INT; // expected-error{{typedef redefinition with different types ('float' vs 'INT' (aka 'int'))}} 7 8struct 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 13struct Y; // expected-note{{previous definition is here}} 14typedef int Y; // expected-error{{typedef redefinition with different types ('int' vs 'Y')}} 15 16typedef int Y2; // expected-note{{declared here}} 17struct Y2; // expected-error{{definition of type 'Y2' conflicts with typedef of the same name}} 18 19void f(); // expected-note{{previous definition is here}} 20typedef int f; // expected-error{{redefinition of 'f' as different kind of symbol}} 21 22typedef int f2; // expected-note{{previous definition is here}} 23void f2(); // expected-error{{redefinition of 'f2' as different kind of symbol}} 24 25typedef struct s s; 26typedef int I; 27typedef int I; 28typedef I I; 29 30struct s { }; 31 32// PR5874 33namespace test1 { 34 typedef int foo; 35 namespace a { using test1::foo; }; 36 typedef int foo; 37 using namespace a; 38 foo x; 39} 40 41namespace PR6923 { 42 struct A; 43 44 extern "C" { 45 struct A; 46 typedef struct A A; 47 } 48 49 struct A; 50} 51 52namespace 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 58template<typename T> 59typedef T f(T t) { return t; } // expected-error {{function definition declared 'typedef'}} 60int k = f(0); 61int k2 = k; 62 63namespace 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