gcc/testsuite/g++.dg/cpp0x/Wredundant-move2.C

   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);
  41 }
  42
  43 template<typename Tp1, typename Tp2>
  44 Tp1
  45 fn3 (Tp2 t)
  46 {
  47   return std::move (t);
  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 }