diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp0x/rv1p.C')
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/rv1p.C | 154 |
1 files changed, 154 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/rv1p.C b/gcc/testsuite/g++.dg/cpp0x/rv1p.C new file mode 100644 index 00000000000..6241885654e --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/rv1p.C @@ -0,0 +1,154 @@ +// 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(); +} |