1 // PR c++/87029
2 // { dg-do compile { target c++11 } }
3 // { dg-options "-Wredundant-move" }
4 
5 // Define std::move.
6 namespace std {
7   template<typename _Tp>
8     struct remove_reference
9     { typedef _Tp   type; };
10 
11   template<typename _Tp>
12     struct remove_reference<_Tp&>
13     { typedef _Tp   type; };
14 
15   template<typename _Tp>
16     struct remove_reference<_Tp&&>
17     { typedef _Tp   type; };
18 
19   template<typename _Tp>
20     constexpr typename std::remove_reference<_Tp>::type&&
21     move(_Tp&& __t) noexcept
22     { return static_cast<typename std::remove_reference<_Tp>::type&&>(__t); }
23 }
24 
25 struct T { };
26 struct U { U(T); };
27 
28 template<typename Tp>
29 T
30 fn1 (T t)
31 {
32   // Non-dependent type.
33   return std::move (t); // { dg-warning "redundant move in return statement" }
34 }
35 
36 template<typename Tp1, typename Tp2>
37 Tp1
38 fn2 (Tp2 t)
39 {
40   return std::move (t); // { dg-warning "redundant move in return statement" }
41 }
42 
43 template<typename Tp1, typename Tp2>
44 Tp1
45 fn3 (Tp2 t)
46 {
47   return std::move (t); // { dg-warning "redundant move in return statement" }
48 }
49 
50 int
51 main ()
52 {
53   T t;
54   fn1<T>(t);
55   fn2<T, T>(t);
56   fn3<U, T>(t);
57 }
58