| // I, Howard Hinnant, hereby place this code in the public domain. |
| |
| // Test overlaod resolution among referece types |
| |
| // { dg-do compile } |
| // { dg-options "-std=c++0x" } |
| |
| template <bool> struct sa; |
| template <> struct sa<true> {}; |
| |
| struct one {char x[1];}; |
| struct two {char x[2];}; |
| struct three {char x[3];}; |
| struct four {char x[4];}; |
| struct five {char x[5];}; |
| struct six {char x[6];}; |
| struct seven {char x[7];}; |
| struct eight {char x[8];}; |
| |
| struct A |
| { |
| A(); |
| A(const volatile A&&); |
| }; |
| |
| A source(); |
| const A c_source(); |
| volatile A v_source(); |
| const volatile A cv_source(); |
| |
| // 2 at a time |
| |
| one sink_2_12( A&); // { dg-message "candidates" } |
| two sink_2_12(const A&); // { dg-message "note" } |
| |
| int test2_12() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_12(va); // { dg-error "no match" } |
| sink_2_12(cva); // { dg-error "no match" } |
| sink_2_12(v_source()); // { dg-error "no match" } |
| sink_2_12(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_2_13( A&); // { dg-message "candidates" } |
| three sink_2_13(volatile A&); // { dg-message "note" } |
| |
| int test2_13() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_13(ca); // { dg-error "no match" } |
| sink_2_13(cva); // { dg-error "no match" } |
| sink_2_13(source()); // { dg-error "no match" } |
| sink_2_13(c_source()); // { dg-error "no match" } |
| sink_2_13(v_source()); // { dg-error "no match" } |
| sink_2_13(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_2_14( A&); // { dg-message "candidates" } |
| four sink_2_14(const volatile A&); // { dg-message "note" } |
| |
| int test2_14() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_14(source()); // { dg-error "no match" } |
| sink_2_14(c_source()); // { dg-error "no match" } |
| sink_2_14(v_source()); // { dg-error "no match" } |
| sink_2_14(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_2_15( A&); // { dg-message "candidates" } |
| five sink_2_15( A&&); // { dg-message "note" } |
| |
| int test2_15() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_15(ca); // { dg-error "no match" } |
| sink_2_15(va); // { dg-error "no match" } |
| sink_2_15(cva); // { dg-error "no match" } |
| sink_2_15(c_source()); // { dg-error "no match" } |
| sink_2_15(v_source()); // { dg-error "no match" } |
| sink_2_15(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_2_16( A&); // { dg-message "candidates" } |
| six sink_2_16(const A&&); // { dg-message "note" } |
| |
| int test2_16() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_16(va); // { dg-error "no match" } |
| sink_2_16(cva); // { dg-error "no match" } |
| sink_2_16(v_source()); // { dg-error "no match" } |
| sink_2_16(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_2_17( A&); // { dg-message "candidates" } |
| seven sink_2_17(volatile A&&); // { dg-message "note" } |
| |
| int test2_17() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_17(ca); // { dg-error "no match" } |
| sink_2_17(cva); // { dg-error "no match" } |
| sink_2_17(c_source()); // { dg-error "no match" } |
| sink_2_17(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_2_23(const A&); // { dg-message "candidates" } |
| three sink_2_23(volatile A&); // { dg-message "note" } |
| |
| int test2_23() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_23(a); // { dg-error "ambiguous" } |
| sink_2_23(cva); // { dg-error "no match" } |
| sink_2_23(v_source()); // { dg-error "no match" } |
| sink_2_23(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_2_24(const A&); // { dg-message "candidates" } |
| four sink_2_24(const volatile A&); // { dg-message "note" } |
| |
| int test2_24() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_24(v_source()); // { dg-error "no match" } |
| sink_2_24(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| three sink_2_34(volatile A&); // { dg-message "candidate" } |
| four sink_2_34(const volatile A&); // { dg-message "note" } |
| |
| int test2_34() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_34(source()); // { dg-error "no match" } |
| sink_2_34(c_source()); // { dg-error "no match" } |
| sink_2_34(v_source()); // { dg-error "no match" } |
| sink_2_34(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_2_25(const A&); // { dg-message "candidate" } |
| five sink_2_25( A&&); // { dg-message "note" } |
| |
| int test2_25() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_25(va); // { dg-error "no match" } |
| sink_2_25(cva); // { dg-error "no match" } |
| sink_2_25(v_source()); // { dg-error "no match" } |
| sink_2_25(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_2_26(const A&); // { dg-message "candidate" } |
| six sink_2_26(const A&&); // { dg-message "note" } |
| |
| int test2_26() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_26(va); // { dg-error "no match" } |
| sink_2_26(cva); // { dg-error "no match" } |
| sink_2_26(v_source()); // { dg-error "no match" } |
| sink_2_26(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_2_27(const A&); // { dg-message "candidate" } |
| seven sink_2_27(volatile A&&); // { dg-message "note" } |
| |
| int test2_27() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_27(cva); // { dg-error "no match" } |
| sink_2_27(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| three sink_2_35(volatile A&); // { dg-message "candidate" } |
| five sink_2_35( A&&); // { dg-message "note" } |
| |
| int test2_35() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_35(ca); // { dg-error "no match" } |
| sink_2_35(cva); // { dg-error "no match" } |
| sink_2_35(c_source()); // { dg-error "no match" } |
| sink_2_35(v_source()); // { dg-error "no match" } |
| sink_2_35(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| three sink_2_36(volatile A&); // { dg-message "candidate" } |
| six sink_2_36(const A&&); // { dg-message "note" } |
| |
| int test2_36() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_36(cva); // { dg-error "no match" } |
| sink_2_36(v_source()); // { dg-error "no match" } |
| sink_2_36(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| three sink_2_37(volatile A&); // { dg-message "candidate" } |
| seven sink_2_37(volatile A&&); // { dg-message "note" } |
| |
| int test2_37() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_37(ca); // { dg-error "no match" } |
| sink_2_37(cva); // { dg-error "no match" } |
| sink_2_37(c_source()); // { dg-error "no match" } |
| sink_2_37(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| four sink_2_45(const volatile A&); // { dg-message "candidate" } |
| five sink_2_45( A&&); // { dg-message "note" } |
| |
| int test2_45() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_45(c_source()); // { dg-error "no match" } |
| sink_2_45(v_source()); // { dg-error "no match" } |
| sink_2_45(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| four sink_2_46(const volatile A&); // { dg-message "candidate" } |
| six sink_2_46(const A&&); // { dg-message "note" } |
| |
| int test2_46() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_46(v_source()); // { dg-error "no match" } |
| sink_2_46(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| four sink_2_47(const volatile A&); // { dg-message "candidate" } |
| seven sink_2_47(volatile A&&); // { dg-message "note" } |
| |
| int test2_47() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_47(c_source()); // { dg-error "no match" } |
| sink_2_47(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| five sink_2_56( A&&); // { dg-message "candidate" } |
| six sink_2_56(const A&&); // { dg-message "note" } |
| |
| int test2_56() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_56(va); // { dg-error "no match" } |
| sink_2_56(cva); // { dg-error "no match" } |
| sink_2_56(v_source()); // { dg-error "no match" } |
| sink_2_56(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| five sink_2_57( A&&); // { dg-message "candidate" } |
| seven sink_2_57(volatile A&&); // { dg-message "note" } |
| |
| int test2_57() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_57(ca); // { dg-error "no match" } |
| sink_2_57(cva); // { dg-error "no match" } |
| sink_2_57(c_source()); // { dg-error "no match" } |
| sink_2_57(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| six sink_2_67(const A&&); // { dg-message "candidate" } |
| seven sink_2_67(volatile A&&); // { dg-message "note" } |
| |
| int test2_67() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_2_67(a); // { dg-error "ambiguous" } |
| sink_2_67(cva); // { dg-error "no match" } |
| sink_2_67(source()); // { dg-error "ambiguous" } |
| sink_2_67(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| int main() |
| { |
| return test2_12() + test2_13() + test2_15() + test2_16() + |
| test2_17() + test2_23() + test2_25() + test2_26() + |
| test2_27() + test2_35() + test2_36() + test2_37() + |
| test2_56() + test2_57() + test2_67(); |
| } |