1 // Tests for late-specified return type.
2 // { dg-do compile { target c++11 } }
3 // { dg-options "-fabi-version=5" }
10 template<class T, class U>
11 auto add(T t, U u) -> decltype (t+u)
16 template<class T, class U>
17 decltype(T()+U()) add2(T t, U u)
22 template <class T, class U>
28 template<class T, class U>
29 auto add3(T t, U u) -> decltype (ag(t,u))
34 template<class T, class U>
35 decltype(*(T*)0+*(U*)0) add4(T t, U u)
54 auto f(T* t) -> decltype (t->f())
60 auto g(T t) -> decltype (t.f())
65 template <class T, class U>
66 auto h(T t, U u) -> decltype (t.template g<U>())
68 return t.template g<U>();
72 struct C: public A<int>::B<D>
76 template <class T, class U, class V>
77 auto k(T t, U u, V v) -> decltype (t.U::template B<V>::MEM)
79 return t.U::template B<V>::MEM;
83 auto l(T t) -> decltype (t)
88 template <class T, T u>
89 auto m(T t) -> decltype (u)
98 // { dg-final { scan-assembler "_Z3addIidEDTplfp_fp0_ET_T0_" } }
100 // { dg-final { scan-assembler "_Z4add4IidEDTpldecvPT_Li0EdecvPT0_Li0EES0_S2_" } }
101 auto i4 = add4(1, 2.0);
102 // { dg-final { scan-assembler "_Z4add2IidEDTplcvT__EcvT0__EES0_S1_" } }
103 auto i2 = add2(1, 2.0);
104 // { dg-final { scan-assembler "_Z4add3IidEDTcl2agfp_fp0_EET_T0_" } }
105 auto i3 = add3(1, 2.0);
106 // { dg-final { scan-assembler "_Z1fI1AIiEEDTclptfp_1fEEPT_" } }
108 // { dg-final { scan-assembler "_Z1gI1AIiEEDTcldtfp_1fEET_" } }
110 // { dg-final { scan-assembler "_Z1hI1AIiEdEDTcldtfp_1gIT0_EEET_S2_" } }
112 // { dg-final { scan-assembler "_Z1kI1C1AIiE1DEDtdtfp_srNT0_1BIT1_EE3MEMET_S4_S6_" } }
113 k( C(), A<int>(), D() );
114 // { dg-final { scan-assembler "_Z1lIiEDtfp_ET_" } }
116 // { dg-final { scan-assembler "_Z1mIiLi1EEDtT0_ET_" } }