| // PR c++/87029 |
| // { dg-do compile { target c++11 } } |
| // { dg-options "-Wredundant-move" } |
| |
| // Define std::move. |
| namespace std { |
| template<typename _Tp> |
| struct remove_reference |
| { typedef _Tp type; }; |
| |
| template<typename _Tp> |
| struct remove_reference<_Tp&> |
| { typedef _Tp type; }; |
| |
| template<typename _Tp> |
| struct remove_reference<_Tp&&> |
| { typedef _Tp type; }; |
| |
| template<typename _Tp> |
| constexpr typename std::remove_reference<_Tp>::type&& |
| move(_Tp&& __t) noexcept |
| { return static_cast<typename std::remove_reference<_Tp>::type&&>(__t); } |
| } |
| |
| struct T { |
| T() { } |
| T(const T&) { } |
| T(T&&) { } |
| }; |
| |
| struct U { |
| U() { } |
| U(const U&) { } |
| U(U&&) { } |
| U(T) { } |
| }; |
| |
| U |
| fn1 (T t, bool b) |
| { |
| if (b) |
| return t; |
| else |
| return std::move (t); // { dg-warning "redundant move in return statement" } |
| } |
| |
| U |
| fn2 (bool b) |
| { |
| T t; |
| if (b) |
| return t; |
| else |
| return std::move (t); // { dg-warning "redundant move in return statement" } |
| } |
| |
| U |
| fn3 (bool b) |
| { |
| static T t; |
| if (b) |
| return t; |
| else |
| return std::move (t); |
| } |
| |
| T g; |
| |
| U |
| fn4 (bool b) |
| { |
| if (b) |
| return g; |
| else |
| return std::move (g); |
| } |
| |
| long int |
| fn5 (bool b) |
| { |
| int i = 42; |
| if (b) |
| return i; |
| else |
| return std::move (i); |
| } |