reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19

// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s

// If T is an lvalue reference type or an rvalue reference to function
// type, the result is an lvalue; if T is an rvalue reference to
// object type, the result is an xvalue;

unsigned int f(int);

template<typename T> T&& xvalue();
void test_classification(char *ptr) {
  int (&fr0)(int) = reinterpret_cast<int (&&)(int)>(f);
  int &&ir0 = reinterpret_cast<int &&>(*ptr);
  int &&ir1 = reinterpret_cast<int &&>(0); // expected-error {{rvalue to reference type}}
  int &&ir2 = reinterpret_cast<int &&>('a'); // expected-error {{rvalue to reference type}}
  int &&ir3 = reinterpret_cast<int &&>(xvalue<char>());
  // Per DR1268, reinterpret_cast can convert between lvalues and xvalues.
  int &ir4 = reinterpret_cast<int &>(xvalue<char>());
  int &&ir5 = reinterpret_cast<int &&>(*ptr);
}