Home | History | Annotate | Download | only in SemaTemplate
      1 // RUN: %clang_cc1 -fsyntax-only -verify %s
      2 
      3 void f();
      4 
      5 // Test typeof(expr) canonicalization
      6 template<typename T>
      7 void f0(T x, __typeof__(f(x)) y) { } // expected-note{{previous}}
      8 
      9 template<typename T>
     10 void f0(T x, __typeof__((f)(x)) y) { }
     11 
     12 template<typename U>
     13 void f0(U u, __typeof__(f(u))) { } // expected-error{{redefinition}}
     14 
     15 // Test insane typeof(expr) overload set canonicalization
     16 void f(int);
     17 void f(double);
     18 
     19 template<typename T, T N>
     20 void f0a(T x, __typeof__(f(N)) y) { } // expected-note{{previous}}
     21 
     22 void f(int);
     23 
     24 template<typename T, T N>
     25 void f0a(T x, __typeof__(f(N)) y) { } // expected-error{{redefinition}} \
     26                                       // expected-note{{previous}}
     27 
     28 void f(float);
     29 
     30 template<typename T, T N>
     31 void f0a(T x, __typeof__(f(N)) y) { } // expected-error{{redefinition}}
     32 
     33 // Test dependently-sized array canonicalization
     34 template<typename T, int N, int M>
     35 void f1(T (&array)[N + M]) { } // expected-note{{previous}}
     36 
     37 template<typename T, int N, int M>
     38 void f1(T (&array)[M + N]) { }
     39 
     40 template<typename T, int M, int N>
     41 void f1(T (&array)[M + N]) { } // expected-error{{redefinition}}
     42 
     43 // Test dependently-sized extended vector type canonicalization
     44 template<typename T, int N, int M>
     45 struct X2 {
     46   typedef T __attribute__((ext_vector_type(N))) type1;
     47   typedef T __attribute__((ext_vector_type(M))) type2;
     48   typedef T __attribute__((ext_vector_type(N))) type3;
     49 
     50   void f0(type1); // expected-note{{previous}}
     51   void f0(type2);
     52   void f0(type3); // expected-error{{redeclared}}
     53 };
     54