clang/test/SemaCXX/typedef-redecl.cpp

   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();
  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 }