gcc/testsuite/g++.dg/cpp0x/auto6.C

   1 // Tests for late-specified return type.
   2 // { dg-options "-std=c++0x" }
   3
   4 auto f() -> int
   5 {
   6   return 0;
   7 }
   8
   9 template<class T, class U>
  10 auto add(T t, U u) -> decltype (t+u)
  11 {
  12   return t+u;
  13 }
  14
  15 template<class T, class U>
  16 decltype(T()+U()) add2(T t, U u)
  17 {
  18   return t+u;
  19 }
  20
  21 template <class T, class U>
  22 U ag (T, U)
  23 {
  24   return U();
  25 }
  26
  27 template<class T, class U>
  28 auto add3(T t, U u) -> decltype (ag(t,u))
  29 {
  30   return ag(t,u);
  31 }
  32
  33 template <class T>
  34 struct A
  35 {
  36   T f() {}
  37   template <class U>
  38   T g() {}
  39   template <class V>
  40   struct B
  41   {
  42     int MEM;
  43   };
  44 };
  45
  46 template <class T>
  47 auto f(T* t) -> decltype (t->f())
  48 {
  49   return t->f();
  50 }
  51
  52 template <class T>
  53 auto g(T t) -> decltype (t.f())
  54 {
  55   return t.f();
  56 }
  57
  58 template <class T, class U>
  59 auto h(T t, U u) -> decltype (t.template g<U>())
  60 {
  61   return t.template g<U>();
  62 }
  63
  64 struct D { };
  65 struct C: public A<int>::B<D>
  66 {
  67 };
  68
  69 template <class T, class U, class V>
  70 auto k(T t, U u, V v) -> decltype (t.U::template B<V>::MEM)
  71 {
  72   return t.U::template B<V>::MEM;
  73 }
  74
  75 A<int> a, *p;
  76
  77 int main()
  78 {
  79   // { dg-final { scan-assembler "_Z3addIidEDTplsTT_sTT0_ES0_S1_" } }
  80   auto i = add(1, 2.0);
  81   // { dg-final { scan-assembler "_Z4add2IidEDTplcvT_vcvT0_vES0_S1_" } }
  82   auto i2 = add2(1, 2.0);
  83   // { dg-final { scan-assembler "_Z4add3IidEDTclL_Z2agEsTT_sTT0_EES0_S1_" } }
  84   auto i3 = add3(1, 2.0);
  85   // { dg-final { scan-assembler "_Z1fI1AIiEEDTclptsTPT_1fEES3_" } }
  86   f(p);
  87   // { dg-final { scan-assembler "_Z1gI1AIiEEDTcldtsTT_1fEES2_" } }
  88   g(a);
  89   // { dg-final { scan-assembler "_Z1hI1AIiEdEDTcldtsTT_1gIT0_EEES2_S3_" } }
  90   h(a,1.0);
  91   // { dg-final { scan-assembler "_Z1kI1C1AIiE1DEDtdtsTT_srNT0_1BIT1_EE3MEMES4_S5_S7_" } }
  92   k( C(), A<int>(), D() );
  93 }