// I, Howard Hinnant, hereby place this code in the public domain.
|
// I, Howard Hinnant, hereby place this code in the public domain.
|
|
|
// Test overload resolution among reference types
|
// Test overload resolution among reference types
|
|
|
// { dg-do compile }
|
// { dg-do compile }
|
// { dg-options "-std=c++0x" }
|
// { dg-options "-std=c++0x" }
|
|
|
template struct sa;
|
template struct sa;
|
template <> struct sa {};
|
template <> struct sa {};
|
|
|
struct one {char x[1];};
|
struct one {char x[1];};
|
struct two {char x[2];};
|
struct two {char x[2];};
|
struct three {char x[3];};
|
struct three {char x[3];};
|
struct four {char x[4];};
|
struct four {char x[4];};
|
struct five {char x[5];};
|
struct five {char x[5];};
|
struct six {char x[6];};
|
struct six {char x[6];};
|
struct seven {char x[7];};
|
struct seven {char x[7];};
|
struct eight {char x[8];};
|
struct eight {char x[8];};
|
|
|
struct A
|
struct A
|
{
|
{
|
A();
|
A();
|
A(const volatile A&&);
|
A(const volatile A&&);
|
};
|
};
|
|
|
A source();
|
A source();
|
const A c_source();
|
const A c_source();
|
volatile A v_source();
|
volatile A v_source();
|
const volatile A cv_source();
|
const volatile A cv_source();
|
|
|
// 7 at a time
|
// 7 at a time
|
|
|
one sink_7_1234567( A&);
|
one sink_7_1234567( A&);
|
two sink_7_1234567(const A&);
|
two sink_7_1234567(const A&);
|
three sink_7_1234567(volatile A&);
|
three sink_7_1234567(volatile A&);
|
four sink_7_1234567(const volatile A&);
|
four sink_7_1234567(const volatile A&);
|
five sink_7_1234567( A&&);
|
five sink_7_1234567( A&&);
|
six sink_7_1234567(const A&&);
|
six sink_7_1234567(const A&&);
|
seven sink_7_1234567(volatile A&&);
|
seven sink_7_1234567(volatile A&&);
|
|
|
int test7_1234567()
|
int test7_1234567()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1234568( A&);
|
one sink_7_1234568( A&);
|
two sink_7_1234568(const A&);
|
two sink_7_1234568(const A&);
|
three sink_7_1234568(volatile A&);
|
three sink_7_1234568(volatile A&);
|
four sink_7_1234568(const volatile A&);
|
four sink_7_1234568(const volatile A&);
|
five sink_7_1234568( A&&);
|
five sink_7_1234568( A&&);
|
six sink_7_1234568(const A&&);
|
six sink_7_1234568(const A&&);
|
eight sink_7_1234568(const volatile A&&);
|
eight sink_7_1234568(const volatile A&&);
|
|
|
int test7_1234568()
|
int test7_1234568()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1234578( A&);
|
one sink_7_1234578( A&);
|
two sink_7_1234578(const A&);
|
two sink_7_1234578(const A&);
|
three sink_7_1234578(volatile A&);
|
three sink_7_1234578(volatile A&);
|
four sink_7_1234578(const volatile A&);
|
four sink_7_1234578(const volatile A&);
|
five sink_7_1234578( A&&);
|
five sink_7_1234578( A&&);
|
seven sink_7_1234578(volatile A&&);
|
seven sink_7_1234578(volatile A&&);
|
eight sink_7_1234578(const volatile A&&);
|
eight sink_7_1234578(const volatile A&&);
|
|
|
int test7_1234578()
|
int test7_1234578()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1234678( A&);
|
one sink_7_1234678( A&);
|
two sink_7_1234678(const A&);
|
two sink_7_1234678(const A&);
|
three sink_7_1234678(volatile A&);
|
three sink_7_1234678(volatile A&);
|
four sink_7_1234678(const volatile A&);
|
four sink_7_1234678(const volatile A&);
|
six sink_7_1234678(const A&&);
|
six sink_7_1234678(const A&&);
|
seven sink_7_1234678(volatile A&&);
|
seven sink_7_1234678(volatile A&&);
|
eight sink_7_1234678(const volatile A&&);
|
eight sink_7_1234678(const volatile A&&);
|
|
|
int test7_1234678()
|
int test7_1234678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1235678( A&);
|
one sink_7_1235678( A&);
|
two sink_7_1235678(const A&);
|
two sink_7_1235678(const A&);
|
three sink_7_1235678(volatile A&);
|
three sink_7_1235678(volatile A&);
|
five sink_7_1235678( A&&);
|
five sink_7_1235678( A&&);
|
six sink_7_1235678(const A&&);
|
six sink_7_1235678(const A&&);
|
seven sink_7_1235678(volatile A&&);
|
seven sink_7_1235678(volatile A&&);
|
eight sink_7_1235678(const volatile A&&);
|
eight sink_7_1235678(const volatile A&&);
|
|
|
int test7_1235678()
|
int test7_1235678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1245678( A&);
|
one sink_7_1245678( A&);
|
two sink_7_1245678(const A&);
|
two sink_7_1245678(const A&);
|
four sink_7_1245678(const volatile A&);
|
four sink_7_1245678(const volatile A&);
|
five sink_7_1245678( A&&);
|
five sink_7_1245678( A&&);
|
six sink_7_1245678(const A&&);
|
six sink_7_1245678(const A&&);
|
seven sink_7_1245678(volatile A&&);
|
seven sink_7_1245678(volatile A&&);
|
eight sink_7_1245678(const volatile A&&);
|
eight sink_7_1245678(const volatile A&&);
|
|
|
int test7_1245678()
|
int test7_1245678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
one sink_7_1345678( A&);
|
one sink_7_1345678( A&);
|
three sink_7_1345678(volatile A&);
|
three sink_7_1345678(volatile A&);
|
four sink_7_1345678(const volatile A&);
|
four sink_7_1345678(const volatile A&);
|
five sink_7_1345678( A&&);
|
five sink_7_1345678( A&&);
|
six sink_7_1345678(const A&&);
|
six sink_7_1345678(const A&&);
|
seven sink_7_1345678(volatile A&&);
|
seven sink_7_1345678(volatile A&&);
|
eight sink_7_1345678(const volatile A&&);
|
eight sink_7_1345678(const volatile A&&);
|
|
|
int test7_1345678()
|
int test7_1345678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t1;
|
sa t1;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
two sink_7_2345678(const A&);
|
two sink_7_2345678(const A&);
|
three sink_7_2345678(volatile A&);
|
three sink_7_2345678(volatile A&);
|
four sink_7_2345678(const volatile A&);
|
four sink_7_2345678(const volatile A&);
|
five sink_7_2345678( A&&);
|
five sink_7_2345678( A&&);
|
six sink_7_2345678(const A&&);
|
six sink_7_2345678(const A&&);
|
seven sink_7_2345678(volatile A&&);
|
seven sink_7_2345678(volatile A&&);
|
eight sink_7_2345678(const volatile A&&);
|
eight sink_7_2345678(const volatile A&&);
|
|
|
int test7_2345678()
|
int test7_2345678()
|
{
|
{
|
A a;
|
A a;
|
const A ca = a;
|
const A ca = a;
|
volatile A va;
|
volatile A va;
|
const volatile A cva = a;
|
const volatile A cva = a;
|
sa t2;
|
sa t2;
|
sa t3;
|
sa t3;
|
sa t4;
|
sa t4;
|
sa t5;
|
sa t5;
|
sa t6;
|
sa t6;
|
sa t7;
|
sa t7;
|
sa t8;
|
sa t8;
|
return 0;
|
return 0;
|
}
|
}
|
|
|
int main()
|
int main()
|
{
|
{
|
return test7_1234567() + test7_1234568() + test7_1234578() + test7_1234678() +
|
return test7_1234567() + test7_1234568() + test7_1234578() + test7_1234678() +
|
test7_1235678() + test7_1245678() + test7_1345678() + test7_2345678();
|
test7_1235678() + test7_1245678() + test7_1345678() + test7_2345678();
|
}
|
}
|
|
|