1*72315d02SRichard Smith // RUN: %clang_cc1 -fsyntax-only %s -std=c++98 -verify
2*72315d02SRichard Smith // expected-no-diagnostics
3*72315d02SRichard Smith
4*72315d02SRichard Smith // This is a test for a hack in Clang that works around an issue with libc++
5*72315d02SRichard Smith // 3.1's std::move and std::forward implementation. When emulating these
6*72315d02SRichard Smith // functions in C++98 mode, libc++ 3.1 has a "fake rvalue reference" type, and
7*72315d02SRichard Smith // std::move will return by value when given an instance of that type.
8*72315d02SRichard Smith
9*72315d02SRichard Smith namespace std {
10*72315d02SRichard Smith struct rv {};
11*72315d02SRichard Smith
12*72315d02SRichard Smith template<bool B, typename T> struct enable_if;
13*72315d02SRichard Smith template<typename T> struct enable_if<true, T> { typedef T type; };
14*72315d02SRichard Smith
15*72315d02SRichard Smith template<typename T> typename enable_if<__is_convertible(T, rv), T>::type move(T &);
16*72315d02SRichard Smith template<typename T> typename enable_if<!__is_convertible(T, rv), T&>::type move(T &);
17*72315d02SRichard Smith
18*72315d02SRichard Smith template<typename U, typename T> typename enable_if<__is_convertible(T, rv), U>::type forward(T &);
19*72315d02SRichard Smith template<typename U, typename T> typename enable_if<!__is_convertible(T, rv), U&>::type forward(T &);
20*72315d02SRichard Smith }
21*72315d02SRichard Smith
22*72315d02SRichard Smith struct A {};
f(A a,std::rv rv)23*72315d02SRichard Smith void f(A a, std::rv rv) {
24*72315d02SRichard Smith a = std::move(a);
25*72315d02SRichard Smith rv = std::move(rv);
26*72315d02SRichard Smith
27*72315d02SRichard Smith a = std::forward<A>(a);
28*72315d02SRichard Smith rv = std::forward<std::rv>(rv);
29*72315d02SRichard Smith
30*72315d02SRichard Smith a = std::forward<A&>(a);
31*72315d02SRichard Smith rv = std::forward<std::rv&>(rv);
32*72315d02SRichard Smith }
33