| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | // If T is an lvalue reference type or an rvalue reference to function |
|---|
| 4 | // type, the result is an lvalue; if T is an rvalue reference to |
|---|
| 5 | // object type, the result is an xvalue; |
|---|
| 6 | |
|---|
| 7 | unsigned int f(int); |
|---|
| 8 | |
|---|
| 9 | template<typename T> T&& xvalue(); |
|---|
| 10 | void test_classification(char *ptr) { |
|---|
| 11 | int (&fr0)(int) = reinterpret_cast<int (&&)(int)>(f); |
|---|
| 12 | int &&ir0 = reinterpret_cast<int &&>(*ptr); |
|---|
| 13 | int &&ir1 = reinterpret_cast<int &&>(0); // expected-error {{rvalue to reference type}} |
|---|
| 14 | int &&ir2 = reinterpret_cast<int &&>('a'); // expected-error {{rvalue to reference type}} |
|---|
| 15 | int &&ir3 = reinterpret_cast<int &&>(xvalue<char>()); |
|---|
| 16 | // Per DR1268, reinterpret_cast can convert between lvalues and xvalues. |
|---|
| 17 | int &ir4 = reinterpret_cast<int &>(xvalue<char>()); |
|---|
| 18 | int &&ir5 = reinterpret_cast<int &&>(*ptr); |
|---|
| 19 | } |
|---|
| 20 | |
|---|