1 // RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
2 // expected-no-diagnostics
3 
4 template<typename T> T &lvalue();
5 template<typename T> T &&xvalue();
6 template<typename T> T prvalue();
7 
8 struct X0 {
9   int &f() &;
10   float &f() &&;
11 
12   template<typename T> int &ft(T) &;
13   template<typename T> float &ft(T) &&;
14 
15   typedef int &(*func_int_ref)();
16   typedef float &(*func_float_ref)();
17 
18   operator func_int_ref() &;
19   operator func_float_ref() &&;
20 
21   void g();
22 
23   int &operator+(const X0&) &;
24   float &operator+(const X0&) &&;
25 
26   template<typename T> int &operator+(const T&) &;
27   template<typename T> float &operator+(const T&) &&;
28 
29   int &h() const&;
30   float &h() &&;
31   int &h2() const&;
32   float &h2() const&&;
33 };
34 
35 void X0::g() {
36   int &ir1 = f();
37   int &ir2 = X0::f();
38 }
39 
40 void test_ref_qualifier_binding() {
41   int &ir1 = lvalue<X0>().f();
42   float &fr1 = xvalue<X0>().f();
43   float &fr2 = prvalue<X0>().f();
44   int &ir2 = lvalue<X0>().ft(1);
45   float &fr3 = xvalue<X0>().ft(2);
46   float &fr4 = prvalue<X0>().ft(3);
47 }
48 
49 void test_ref_qualifier_binding_with_surrogates() {
50   int &ir1 = lvalue<X0>()();
51   float &fr1 = xvalue<X0>()();
52   float &fr2 = prvalue<X0>()();
53 }
54 
55 void test_ref_qualifier_binding_operators() {
56   int &ir1 = lvalue<X0>() + prvalue<X0>();
57   float &fr1 = xvalue<X0>() + prvalue<X0>();
58   float &fr2 = prvalue<X0>() + prvalue<X0>();
59   int &ir2 = lvalue<X0>() + 1;
60   float &fr3 = xvalue<X0>() + 2;
61   float &fr4 = prvalue<X0>() + 3;
62 }
63 
64 void test_ref_qualifier_overloading() {
65   int &ir1 = lvalue<X0>().h();
66   float &fr1 = xvalue<X0>().h();
67   float &fr2 = prvalue<X0>().h();
68   int &ir2 = lvalue<X0>().h2();
69   float &fr3 = xvalue<X0>().h2();
70   float &fr4 = prvalue<X0>().h2();
71 }
72