blob: e2a983a77086d1e3415e8125b900c8db7fbe6708 [file] [log] [blame]
// I, Howard Hinnant, hereby place this code in the public domain.
// Test overload resolution among reference types
// { dg-do compile { target c++11 } }
// { dg-skip-if "packed attribute missing for struct one/three/five/seven" { "epiphany-*-*" } }
// { dg-additional-options "-fno-ipa-icf" }
template <bool> struct sa;
template <> struct sa<true> {};
struct one {long x[1];};
struct two {long x[2];};
struct three {long x[3];};
struct four {long x[4];};
struct five {long x[5];};
struct six {long x[6];};
struct seven {long x[7];};
struct eight {long x[8];};
struct A
{
A();
A(const volatile A&&);
};
A source();
const A c_source();
volatile A v_source(); // { dg-warning "deprecated" "" { target c++2a } }
const volatile A cv_source(); // { dg-warning "deprecated" "" { target c++2a } }
// 1 at a time
one sink_1_1( A&);
int test1_1()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_1(a)) == 1 * sizeof(long)> t1;
return 0;
}
two sink_1_2(const A&);
int test1_2()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_2(a)) == 2 * sizeof(long)> t1;
sa<sizeof(sink_1_2(ca)) == 2 * sizeof(long)> t2;
sa<sizeof(sink_1_2(source())) == 2 * sizeof(long)> t5;
sa<sizeof(sink_1_2(c_source())) == 2 * sizeof(long)> t6;
return 0;
}
three sink_1_3(volatile A&);
int test1_3()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_3(a)) == 3 * sizeof(long)> t1;
sa<sizeof(sink_1_3(va)) == 3 * sizeof(long)> t3;
return 0;
}
four sink_1_4(const volatile A&);
int test1_4()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_4(a)) == 4 * sizeof(long)> t1;
sa<sizeof(sink_1_4(ca)) == 4 * sizeof(long)> t2;
sa<sizeof(sink_1_4(va)) == 4 * sizeof(long)> t3;
sa<sizeof(sink_1_4(cva)) == 4 * sizeof(long)> t4;
return 0;
}
five sink_1_5( A&&);
int test1_5()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_5(source())) == 5 * sizeof(long)> t5;
return 0;
}
six sink_1_6(const A&&);
int test1_6()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_6(source())) == 6 * sizeof(long)> t5;
sa<sizeof(sink_1_6(c_source())) == 6 * sizeof(long)> t6;
return 0;
}
seven sink_1_7(volatile A&&);
int test1_7()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_7(source())) == 7 * sizeof(long)> t5;
sa<sizeof(sink_1_7(v_source())) == 7 * sizeof(long)> t7;
return 0;
}
eight sink_1_8(const volatile A&&);
int test1_8()
{
A a;
const A ca;
volatile A va;
const volatile A cva;
sa<sizeof(sink_1_8(source())) == 8 * sizeof(long)> t5;
sa<sizeof(sink_1_8(c_source())) == 8 * sizeof(long)> t6;
sa<sizeof(sink_1_8(v_source())) == 8 * sizeof(long)> t7;
sa<sizeof(sink_1_8(cv_source())) == 8 * sizeof(long)> t8;
return 0;
}
int main()
{
return test1_1() + test1_2() + test1_3() + test1_4() +
test1_5() + test1_6() + test1_7() + test1_8();
}