1 files changed, 90 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/rv7n.C b/gcc/testsuite/g++.dg/cpp0x/rv7n.C
new file mode 100644
index 00000000000..acd884bdde4
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/rv7n.C
@@ -0,0 +1,90 @@
+// 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();
+
+// 7 at a time
+
+one   sink_7_1234567(               A&);  // { dg-error "" }
+two   sink_7_1234567(const          A&);  // { dg-error "" }
+three sink_7_1234567(volatile       A&);  // { dg-error "" }
+four  sink_7_1234567(const volatile A&);  // { dg-error "" }
+five  sink_7_1234567(               A&&);  // { dg-error "" }
+six   sink_7_1234567(const          A&&);  // { dg-error "" }
+seven sink_7_1234567(volatile       A&&);  // { dg-error "" }
+
+int test7_1234567()
+{
+                   A a;
+    const          A ca = a;
+          volatile A va;
+    const volatile A cva = a;
+    sink_7_1234567(cv_source());  // { dg-error "no match" }
+    return 0;
+}
+
+two   sink_7_2345678(const          A&);  // { dg-error "" }
+three sink_7_2345678(volatile       A&);  // { dg-error "" }
+four  sink_7_2345678(const volatile A&);  // { dg-error "" }
+five  sink_7_2345678(               A&&);  // { dg-error "" }
+six   sink_7_2345678(const          A&&);  // { dg-error "" }
+seven sink_7_2345678(volatile       A&&);  // { dg-error "" }
+eight sink_7_2345678(const volatile A&&);  // { dg-error "" }
+
+int test7_2345678()
+{
+                   A a;
+    const          A ca = a;
+          volatile A va;
+    const volatile A cva = a;
+    sink_7_2345678(a);  // { dg-error "ambiguous" }
+    return 0;
+}
+
+one   sink_7_1234678(               A&);
+two   sink_7_1234678(const          A&);  // { dg-error "" }
+three sink_7_1234678(volatile       A&);
+four  sink_7_1234678(const volatile A&);
+six   sink_7_1234678(const          A&&);  // { dg-error "" }
+seven sink_7_1234678(volatile       A&&);  // { dg-error "" }
+eight sink_7_1234678(const volatile A&&);  // { dg-error "" }
+
+int test7_1234678()
+{
+                   A a;
+    const          A ca = a;
+          volatile A va;
+    const volatile A cva = a;
+    sink_7_1234678(source());  // { dg-error "ambiguous" }
+    return 0;
+}
+
+int main()
+{
+    return test7_2345678() + test7_1234678();
+}