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

   1 // PR c++/89660
   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 template <typename S> struct D {
  26   template <typename T> D (D<T> x) : k(&x.foo ()) {}
  27   S &foo ();
  28   int *k;
  29 };
  30
  31 D<int> bar ();
  32
  33 struct F {
  34   D<int> baz () {
  35     D<F> f = bar ();
  36     return std::move (*reinterpret_cast<D<int> *> (&f)); // { dg-bogus "redundant move in return statement" }
  37   }
  38 };