| 1 | // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s |
|---|
| 2 | |
|---|
| 3 | // The result of the expression const_cast<T>(v) is of type T. If T is |
|---|
| 4 | // an lvalue reference to object type, the result is an lvalue; if T |
|---|
| 5 | // is an rvalue reference to object type, the result is an xvalue;. |
|---|
| 6 | |
|---|
| 7 | unsigned int f(int); |
|---|
| 8 | |
|---|
| 9 | struct X {}; |
|---|
| 10 | |
|---|
| 11 | template<typename T> T& lvalue(); |
|---|
| 12 | template<typename T> T&& xvalue(); |
|---|
| 13 | template<typename T> T prvalue(); |
|---|
| 14 | |
|---|
| 15 | void test_classification(const int *ptr, X x) { |
|---|
| 16 | int *&&ptr0 = const_cast<int *&&>(ptr); |
|---|
| 17 | int *&&ptr1 = const_cast<int *&&>(xvalue<const int*>()); |
|---|
| 18 | int *&&ptr2 = const_cast<int *&&>(prvalue<const int*>()); // expected-error {{const_cast from rvalue to reference type 'int *&&'}} |
|---|
| 19 | X &&ptr3 = const_cast<X&&>(x); |
|---|
| 20 | X &&ptr4 = const_cast<X&&>(xvalue<X>()); |
|---|
| 21 | X &&ptr5 = const_cast<X&&>(prvalue<X>()); |
|---|
| 22 | |
|---|
| 23 | int *&ptr6 = const_cast<int *&>(ptr); |
|---|
| 24 | int *&ptr7 = const_cast<int *&>(xvalue<const int*>()); // expected-error {{const_cast from rvalue to reference type 'int *&'}} |
|---|
| 25 | int *&ptr8 = const_cast<int *&>(prvalue<const int*>()); // expected-error {{const_cast from rvalue to reference type 'int *&'}} |
|---|
| 26 | X &ptr9 = const_cast<X&>(x); |
|---|
| 27 | X &ptrA = const_cast<X&>(xvalue<X>()); // expected-error {{const_cast from rvalue to reference type 'X &'}} |
|---|
| 28 | X &ptrB = const_cast<X&>(prvalue<X>()); // expected-error {{const_cast from rvalue to reference type 'X &'}} |
|---|
| 29 | } |
|---|
| 30 | |
|---|
| 31 | struct A { |
|---|
| 32 | volatile unsigned ubf : 4; |
|---|
| 33 | volatile unsigned uv; |
|---|
| 34 | volatile int sv; |
|---|
| 35 | void foo(); |
|---|
| 36 | bool pred(); |
|---|
| 37 | }; |
|---|
| 38 | |
|---|
| 39 | void test(A &a) { |
|---|
| 40 | unsigned &t0 = const_cast<unsigned&>(a.ubf); // expected-error {{const_cast from bit-field lvalue to reference type}} |
|---|
| 41 | unsigned &t1 = const_cast<unsigned&>(a.foo(), a.ubf); // expected-error {{const_cast from bit-field lvalue to reference type}} |
|---|
| 42 | unsigned &t2 = const_cast<unsigned&>(a.pred() ? a.ubf : a.ubf); // expected-error {{const_cast from bit-field lvalue to reference type}} |
|---|
| 43 | unsigned &t3 = const_cast<unsigned&>(a.pred() ? a.ubf : a.uv); // expected-error {{const_cast from bit-field lvalue to reference type}} |
|---|
| 44 | unsigned &t4 = const_cast<unsigned&>(a.pred() ? a.ubf : a.sv); // expected-error {{const_cast from rvalue to reference type}} |
|---|
| 45 | } |
|---|
| 46 | |
|---|