gcc/gcc/testsuite/g++.dg/cpp0x/rv1p.C

// 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();

// 1 at a time

one   sink_1_1(               A&);

int test1_1()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_1(a))           == 1> t1;
    return 0;
}

two   sink_1_2(const          A&);

int test1_2()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_2(a))           == 2> t1;
    sa<sizeof(sink_1_2(ca))          == 2> t2;
    sa<sizeof(sink_1_2(source()))    == 2> t5;
    sa<sizeof(sink_1_2(c_source()))  == 2> t6;
    return 0;
}

three sink_1_3(volatile       A&);

int test1_3()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_3(a))           == 3> t1;
    sa<sizeof(sink_1_3(va))          == 3> t3;
    return 0;
}

four  sink_1_4(const volatile A&);

int test1_4()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_4(a))           == 4> t1;
    sa<sizeof(sink_1_4(ca))          == 4> t2;
    sa<sizeof(sink_1_4(va))          == 4> t3;
    sa<sizeof(sink_1_4(cva))         == 4> t4;
    return 0;
}

five  sink_1_5(               A&&);

int test1_5()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_5(a))           == 5> t1;
    sa<sizeof(sink_1_5(source()))    == 5> t5;
    return 0;
}

six   sink_1_6(const          A&&);

int test1_6()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_6(a))           == 6> t1;
    sa<sizeof(sink_1_6(ca))          == 6> t2;
    sa<sizeof(sink_1_6(source()))    == 6> t5;
    sa<sizeof(sink_1_6(c_source()))  == 6> t6;
    return 0;
}

seven sink_1_7(volatile       A&&);

int test1_7()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_7(a))           == 7> t1;
    sa<sizeof(sink_1_7(va))          == 7> t3;
    sa<sizeof(sink_1_7(source()))    == 7> t5;
    sa<sizeof(sink_1_7(v_source()))  == 7> t7;
    return 0;
}

eight sink_1_8(const volatile A&&);

int test1_8()
{
                   A a;
    const          A ca = a;
          volatile A va;
    const volatile A cva = a;
    sa<sizeof(sink_1_8(a))           == 8> t1;
    sa<sizeof(sink_1_8(ca))          == 8> t2;
    sa<sizeof(sink_1_8(va))          == 8> t3;
    sa<sizeof(sink_1_8(cva))         == 8> t4;
    sa<sizeof(sink_1_8(source()))    == 8> t5;
    sa<sizeof(sink_1_8(c_source()))  == 8> t6;
    sa<sizeof(sink_1_8(v_source()))  == 8> t7;
    sa<sizeof(sink_1_8(cv_source())) == 8> t8;
    return 0;
}

int main()
{
    return test1_1() + test1_2() + test1_3() + test1_4() +
           test1_5() + test1_6() + test1_7() + test1_8();
}