| // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify -std=c++11 %s |
| |
| typedef int&& irr; |
| typedef irr& ilr_c1; // Collapses to int& |
| typedef int& ilr; |
| typedef ilr&& ilr_c2; // Collapses to int& |
| |
| irr ret_irr() { |
| return 0; // expected-warning {{returning reference to local temporary}} |
| } |
| |
| struct not_int {}; |
| |
| int over(int&); |
| not_int over(int&&); |
| |
| int over2(const int&); |
| not_int over2(int&&); |
| |
| struct conv_to_not_int_rvalue { |
| operator not_int &&(); |
| }; |
| |
| typedef void (fun_type)(); |
| void fun(); |
| fun_type &&make_fun(); |
| |
| void f() { |
| int &&virr1; // expected-error {{declaration of reference variable 'virr1' requires an initializer}} |
| int &&virr2 = 0; |
| int &&virr3 = virr2; // expected-error {{rvalue reference to type 'int' cannot bind to lvalue of type 'int'}} |
| int i1 = 0; |
| const double d1 = 0; |
| const int ci1 = 1; |
| int &&virr4 = i1; // expected-error {{rvalue reference to type 'int' cannot bind to lvalue of type 'int'}} |
| int &&virr5 = ret_irr(); |
| int &&virr6 = static_cast<int&&>(i1); |
| (void)static_cast<not_int &&>(i1); // expected-error {{reference to type 'not_int' could not bind to an lvalue of type 'int'}} |
| (void)static_cast<int &&>(static_cast<int const&&>(i1)); // expected-error {{cannot cast from rvalue of type 'const int' to rvalue reference type 'int &&'}} |
| (void)static_cast<int &&>(ci1); // expected-error {{types are not compatible}} |
| (void)static_cast<int &&>(d1); |
| int i2 = over(i1); |
| not_int ni1 = over(0); |
| int i3 = over(virr2); |
| not_int ni2 = over(ret_irr()); |
| |
| int i4 = over2(i1); |
| not_int ni3 = over2(0); |
| |
| ilr_c1 vilr1 = i1; |
| ilr_c2 vilr2 = i1; |
| |
| conv_to_not_int_rvalue cnir; |
| not_int &&ni4 = cnir; |
| not_int &ni5 = cnir; // expected-error{{non-const lvalue reference to type 'not_int' cannot bind to a value of unrelated type 'conv_to_not_int_rvalue'}} |
| not_int &&ni6 = conv_to_not_int_rvalue(); |
| |
| fun_type &&fun_ref = fun; // works because functions are special |
| fun_type &&fun_ref2 = make_fun(); // same |
| fun_type &fun_lref = make_fun(); // also special |
| |
| try { |
| } catch(int&&) { // expected-error {{cannot catch exceptions by rvalue reference}} |
| } |
| } |
| |
| int&& should_warn(int i) { |
| return static_cast<int&&>(i); // expected-warning {{reference to stack memory associated with parameter 'i' returned}} |
| } |
| int&& should_not_warn(int&& i) { |
| return static_cast<int&&>(i); |
| } |
| |
| |
| // Test the return dance. This also tests IsReturnCopyElidable. |
| struct MoveOnly { |
| MoveOnly(); |
| MoveOnly(const MoveOnly&) = delete; // expected-note 3{{explicitly marked deleted here}} |
| }; |
| |
| MoveOnly gmo; |
| MoveOnly returningNonEligible() { |
| static MoveOnly mo; |
| MoveOnly &r = mo; |
| if (0) // Copy from global can't be elided |
| return gmo; // expected-error {{call to deleted constructor}} |
| else if (0) // Copy from local static can't be elided |
| return mo; // expected-error {{call to deleted constructor}} |
| else // Copy from reference can't be elided |
| return r; // expected-error {{call to deleted constructor}} |
| } |