| // 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(); |
| |
| // 6 at a time |
| |
| one sink_6_123456( A&); // { dg-error "" } |
| two sink_6_123456(const A&); // { dg-error "" } |
| three sink_6_123456(volatile A&); // { dg-error "" } |
| four sink_6_123456(const volatile A&); // { dg-error "" } |
| five sink_6_123456( A&&); // { dg-error "" } |
| six sink_6_123456(const A&&); // { dg-error "" } |
| |
| int test6_123456() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_123456(v_source()); // { dg-error "no match" } |
| sink_6_123456(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_6_123457( A&); // { dg-error "" } |
| two sink_6_123457(const A&); // { dg-error "" } |
| three sink_6_123457(volatile A&); // { dg-error "" } |
| four sink_6_123457(const volatile A&); // { dg-error "" } |
| five sink_6_123457( A&&); // { dg-error "" } |
| seven sink_6_123457(volatile A&&); // { dg-error "" } |
| |
| int test6_123457() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_123457(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| two sink_6_235678(const A&); // { dg-error "" } |
| three sink_6_235678(volatile A&); // { dg-error "" } |
| five sink_6_235678( A&&); // { dg-error "" } |
| six sink_6_235678(const A&&); // { dg-error "" } |
| seven sink_6_235678(volatile A&&); // { dg-error "" } |
| eight sink_6_235678(const volatile A&&); // { dg-error "" } |
| |
| int test6_235678() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_235678(a); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| two sink_6_234678(const A&); // { dg-error "" } |
| three sink_6_234678(volatile A&); // { dg-error "" } |
| four sink_6_234678(const volatile A&); // { dg-error "" } |
| six sink_6_234678(const A&&); // { dg-error "" } |
| seven sink_6_234678(volatile A&&); // { dg-error "" } |
| eight sink_6_234678(const volatile A&&); // { dg-error "" } |
| |
| int test6_234678() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_234678(a); // { dg-error "ambiguous" } |
| sink_6_234678(source()); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| two sink_6_234578(const A&); // { dg-error "" } |
| three sink_6_234578(volatile A&); // { dg-error "" } |
| four sink_6_234578(const volatile A&); // { dg-error "" } |
| five sink_6_234578( A&&); // { dg-error "" } |
| seven sink_6_234578(volatile A&&); // { dg-error "" } |
| eight sink_6_234578(const volatile A&&); // { dg-error "" } |
| |
| int test6_234578() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_234578(a); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| two sink_6_234568(const A&); // { dg-error "" } |
| three sink_6_234568(volatile A&); // { dg-error "" } |
| four sink_6_234568(const volatile A&); // { dg-error "" } |
| five sink_6_234568( A&&); // { dg-error "" } |
| six sink_6_234568(const A&&); // { dg-error "" } |
| eight sink_6_234568(const volatile A&&); // { dg-error "" } |
| |
| int test6_234568() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_234568(a); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| two sink_6_234567(const A&); // { dg-error "" } |
| three sink_6_234567(volatile A&); // { dg-error "" } |
| four sink_6_234567(const volatile A&); // { dg-error "" } |
| five sink_6_234567( A&&); // { dg-error "" } |
| six sink_6_234567(const A&&); // { dg-error "" } |
| seven sink_6_234567(volatile A&&); // { dg-error "" } |
| |
| int test6_234567() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_234567(a); // { dg-error "ambiguous" } |
| sink_6_234567(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_6_134678( A&); |
| three sink_6_134678(volatile A&); |
| four sink_6_134678(const volatile A&); |
| six sink_6_134678(const A&&); // { dg-error "" } |
| seven sink_6_134678(volatile A&&); // { dg-error "" } |
| eight sink_6_134678(const volatile A&&); // { dg-error "" } |
| |
| int test6_134678() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_134678(source()); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| one sink_6_124678( A&); |
| two sink_6_124678(const A&); // { dg-error "" } |
| four sink_6_124678(const volatile A&); |
| six sink_6_124678(const A&&); // { dg-error "" } |
| seven sink_6_124678(volatile A&&); // { dg-error "" } |
| eight sink_6_124678(const volatile A&&); // { dg-error "" } |
| |
| int test6_124678() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_124678(source()); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| one sink_6_123678( A&); |
| two sink_6_123678(const A&); // { dg-error "" } |
| three sink_6_123678(volatile A&); |
| six sink_6_123678(const A&&); // { dg-error "" } |
| seven sink_6_123678(volatile A&&); // { dg-error "" } |
| eight sink_6_123678(const volatile A&&); // { dg-error "" } |
| |
| int test6_123678() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_123678(source()); // { dg-error "ambiguous" } |
| return 0; |
| } |
| |
| one sink_6_123567( A&); // { dg-error "" } |
| two sink_6_123567(const A&); // { dg-error "" } |
| three sink_6_123567(volatile A&); // { dg-error "" } |
| five sink_6_123567( A&&); // { dg-error "" } |
| six sink_6_123567(const A&&); // { dg-error "" } |
| seven sink_6_123567(volatile A&&); // { dg-error "" } |
| |
| int test6_123567() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_123567(cva); // { dg-error "no match" } |
| sink_6_123567(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_6_123467( A&); // { dg-error "" } |
| two sink_6_123467(const A&); // { dg-error "" } |
| three sink_6_123467(volatile A&); // { dg-error "" } |
| four sink_6_123467(const volatile A&); // { dg-error "" } |
| six sink_6_123467(const A&&); // { dg-error "" } |
| seven sink_6_123467(volatile A&&); // { dg-error "" } |
| |
| int test6_123467() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_123467(source()); // { dg-error "ambiguous" } |
| sink_6_123467(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_6_124567( A&); // { dg-error "" } |
| two sink_6_124567(const A&); // { dg-error "" } |
| four sink_6_124567(const volatile A&); // { dg-error "" } |
| five sink_6_124567( A&&); // { dg-error "" } |
| six sink_6_124567(const A&&); // { dg-error "" } |
| seven sink_6_124567(volatile A&&); // { dg-error "" } |
| |
| int test6_124567() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_124567(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| one sink_6_134567( A&); // { dg-error "" } |
| three sink_6_134567(volatile A&); // { dg-error "" } |
| four sink_6_134567(const volatile A&); // { dg-error "" } |
| five sink_6_134567( A&&); // { dg-error "" } |
| six sink_6_134567(const A&&); // { dg-error "" } |
| seven sink_6_134567(volatile A&&); // { dg-error "" } |
| |
| int test6_134567() |
| { |
| A a; |
| const A ca = a; |
| volatile A va; |
| const volatile A cva = a; |
| sink_6_134567(cv_source()); // { dg-error "no match" } |
| return 0; |
| } |
| |
| int main() |
| { |
| return test6_235678() + test6_234678() + test6_234578() + test6_234568() + |
| test6_234567() + test6_134678() + test6_124678() + test6_123678() + |
| test6_123567(); |
| } |