clang/test/CXX/temp/temp.decls/temp.variadic/injected-class-name.cpp

   1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
   2 // expected-no-diagnostics
   3
   4 // Check for declaration matching with out-of-line declarations and
   5 // variadic templates, which involves proper computation of the
   6 // injected-class-name.
   7 template<typename T, typename ...Types>
   8 struct X0 {
   9   typedef T type;
  10
  11   void f0(T);
  12   type f1(T);
  13 };
  14
  15 template<typename T, typename ...Types>
  16 void X0<T, Types...>::f0(T) { }
  17
  18 template<typename T, typename ...Types>
  19 typename X0<T, Types...>::type X0<T, Types...>::f1(T) { }
  20
  21 template<typename T, typename ...Types>
  22 struct X0<T, T, Types...> {
  23   typedef T* result;
  24   result f3();
  25
  26   template<typename... InnerTypes>
  27   struct Inner;
  28 };
  29
  30 template<typename T, typename ...Types>
  31 typename X0<T, T, Types...>::result X0<T, T, Types...>::f3() { return 0; }
  32
  33 template<typename T, typename ...Types>
  34 template<typename ...InnerTypes>
  35 struct X0<T, T, Types...>::Inner {
  36   template<typename ...ReallyInner> void f4();
  37 };
  38
  39 template<typename T, typename ...Types>
  40 template<typename ...InnerTypes>
  41 template<typename ...ReallyInner>
  42 void X0<T, T, Types...>::Inner<InnerTypes...>::f4() { }
  43
  44 namespace rdar8848837 {
  45   // Out-of-line definitions that cause rebuilding in the current
  46   // instantiation.
  47   template<typename F> struct X;
  48
  49   template<typename R, typename ...ArgTypes>
  50   struct X<R(ArgTypes...)> {
  51     X<R(ArgTypes...)> f();
  52   };
  53
  54   template<typename R, typename ...ArgTypes>
  55   X<R(ArgTypes...)> X<R(ArgTypes...)>::f() { return *this; }
  56
  57
  58   X<int(float, double)> xif;
  59
  60   template<unsigned> struct unsigned_c { };
  61   template<typename ...ArgTypes> int g(ArgTypes...);
  62
  63   template<typename F> struct X1;
  64
  65   template<typename R, typename ...ArgTypes>
  66   struct X1<R(ArgTypes...)> {
  67     unsigned_c<sizeof(1 + g(ArgTypes()...))> f();
  68   };
  69
  70   template<typename R, typename ...ArgTypes>
  71   unsigned_c<sizeof(1 + g(ArgTypes()...))> X1<R(ArgTypes...)>::f() {
  72     return unsigned_c<sizeof(int)>();
  73   }
  74
  75   X1<int(float, double)> xif2;
  76 }