1 // I, Howard Hinnant, hereby place this code in the public domain. 2 /* { dg-additional-options "-fno-ipa-icf" } */ 3 4 // Test overload resolution among reference types 5 6 // { dg-do compile { target c++11 } } 7 // { dg-additional-options "-fno-ipa-icf" } 8 9 template <bool> struct sa; 10 template <> struct sa<true> {}; 11 12 struct one {char x[1];}; 13 struct two {char x[2];}; 14 struct three {char x[3];}; 15 struct four {char x[4];}; 16 struct five {char x[5];}; 17 struct six {char x[6];}; 18 struct seven {char x[7];}; 19 struct eight {char x[8];}; 20 21 struct A 22 { 23 A(); 24 A(const volatile A&&); 25 }; 26 27 A source(); 28 const A c_source(); 29 volatile A v_source(); // { dg-warning "deprecated" "" { target c++2a } } 30 const volatile A cv_source(); // { dg-warning "deprecated" "" { target c++2a } } 31 32 // 1 at a time 33 34 one sink_1_1( A&); // { dg-message "" } 35 36 int test1_1() 37 { 38 A a; 39 const A ca = a; // { dg-error "deleted" } 40 volatile A va; 41 const volatile A cva = a; // { dg-error "deleted" } 42 sink_1_1(ca); // { dg-error "" } 43 sink_1_1(va); // { dg-error "" } 44 sink_1_1(cva); // { dg-error "" } 45 sink_1_1(source()); // { dg-error "" } 46 sink_1_1(c_source()); // { dg-error "" } 47 sink_1_1(v_source()); // { dg-error "" } 48 sink_1_1(cv_source()); // { dg-error "" } 49 return 0; 50 } 51 52 two sink_1_2(const A&); // { dg-message "" } 53 54 int test1_2() 55 { 56 A a; 57 const A ca = a; // { dg-error "deleted" } 58 volatile A va; 59 const volatile A cva = a; // { dg-error "deleted" } 60 sink_1_2(va); // { dg-error "" } 61 sink_1_2(cva); // { dg-error "" } 62 sink_1_2(v_source()); // { dg-error "" } 63 sink_1_2(cv_source()); // { dg-error "" } 64 return 0; 65 } 66 67 three sink_1_3(volatile A&); // { dg-message "" } 68 69 int test1_3() 70 { 71 A a; 72 const A ca = a; // { dg-error "deleted" } 73 volatile A va; 74 const volatile A cva = a; // { dg-error "deleted" } 75 sink_1_3(ca); // { dg-error "" } 76 sink_1_3(cva); // { dg-error "" } 77 sink_1_3(source()); // { dg-error "" } 78 sink_1_3(c_source()); // { dg-error "" } 79 sink_1_3(v_source()); // { dg-error "" } 80 sink_1_3(cv_source()); // { dg-error "" } 81 return 0; 82 } 83 84 four sink_1_4(const volatile A&); // { dg-message "" } 85 86 int test1_4() 87 { 88 A a; 89 const A ca = a; // { dg-error "deleted" } 90 volatile A va; 91 const volatile A cva = a; // { dg-error "deleted" } 92 sink_1_4(source()); // { dg-error "" } 93 sink_1_4(c_source()); // { dg-error "" } 94 sink_1_4(v_source()); // { dg-error "" } 95 sink_1_4(cv_source()); // { dg-error "" } 96 return 0; 97 } 98 99 five sink_1_5( A&&); // { dg-message "" } 100 101 int test1_5() 102 { 103 A a; 104 const A ca = a; // { dg-error "deleted" } 105 volatile A va; 106 const volatile A cva = a; // { dg-error "deleted" } 107 sink_1_5(a); // { dg-error "lvalue" } 108 sink_1_5(ca); // { dg-error "" } 109 sink_1_5(va); // { dg-error "" } 110 sink_1_5(cva); // { dg-error "" } 111 sink_1_5(c_source()); // { dg-error "" } 112 sink_1_5(v_source()); // { dg-error "" } 113 sink_1_5(cv_source()); // { dg-error "" } 114 return 0; 115 } 116 117 six sink_1_6(const A&&); // { dg-message "" } 118 119 int test1_6() 120 { 121 A a; 122 const A ca = a; // { dg-error "deleted" } 123 volatile A va; 124 const volatile A cva = a; // { dg-error "deleted" } 125 sink_1_6(a); // { dg-error "lvalue" } 126 sink_1_6(ca); // { dg-error "lvalue" } 127 sink_1_6(va); // { dg-error "" } 128 sink_1_6(cva); // { dg-error "" } 129 sink_1_6(v_source()); // { dg-error "" } 130 sink_1_6(cv_source()); // { dg-error "" } 131 return 0; 132 } 133 134 seven sink_1_7(volatile A&&); // { dg-message "" } 135 136 int test1_7() 137 { 138 A a; 139 const A ca = a; // { dg-error "deleted" } 140 volatile A va; 141 const volatile A cva = a; // { dg-error "deleted" } 142 sink_1_7(a); // { dg-error "lvalue" } 143 sink_1_7(ca); // { dg-error "" } 144 sink_1_7(va); // { dg-error "lvalue" } 145 sink_1_7(cva); // { dg-error "" } 146 sink_1_7(c_source()); // { dg-error "" } 147 sink_1_7(cv_source()); // { dg-error "" } 148 return 0; 149 } 150 151 eight sink_1_8(const volatile A&&); // { dg-message "" } 152 153 int test1_8() 154 { 155 A a; 156 const A ca = a; // { dg-error "deleted" } 157 volatile A va; 158 const volatile A cva = a; // { dg-error "deleted" } 159 sink_1_8(a); // { dg-error "lvalue" } 160 sink_1_8(ca); // { dg-error "lvalue" } 161 sink_1_8(va); // { dg-error "lvalue" } 162 sink_1_8(cva); // { dg-error "lvalue" } 163 return 0; 164 } 165 166 int main() 167 { 168 return test1_1() + test1_2() + test1_3() + test1_5() + 169 test1_6() + test1_7(); 170 } 171