1 files changed, 41 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/iop.C b/gcc/testsuite/g++.dg/cpp0x/iop.C
new file mode 100644
index 000000000..834cd314a
--- /dev/null
+++ b/gcc/testsuite/g++.dg/cpp0x/iop.C
@@ -0,0 +1,41 @@
+// I, Howard Hinnant, hereby place this code in the public domain.
+
+// Test that the implicit object parameter is *not* an rvalue reference, but is instead
+//   identical to that specified in C++03.  That is, the implicit object parameter is
+//   an lvalue reference that can bind to an rvalue. :-\
+//   See http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2006/n2118.html under the
+//   section "Revision 1 Summary and Rationale" for more details.
+
+// { dg-do compile }
+// { dg-options "-std=c++0x" }
+
+template <bool> struct sa;
+template <> struct sa<true> {};
+
+struct one   {long x[1];};
+struct two   {long x[2];};
+
+struct os
+{
+    one operator<<(int);
+};
+
+struct A
+{
+    A(int);
+};
+
+two operator<<(os&, const A&);
+
+void test()
+{
+    os o;
+    sa<sizeof(o << 1) == 1 * sizeof(long)> t1;  // Calls os::operator<<(int)
+                                 // Would be ambiguous if the implicit object parameter
+                                 // was an rvalue reference.
+}
+
+int main()
+{
+    return 0;
+}