1 files changed, 51 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/g++.dg/ext/stmtexpr2.C b/gcc-4.9/gcc/testsuite/g++.dg/ext/stmtexpr2.C
new file mode 100644
index 000000000..5301103d4
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/g++.dg/ext/stmtexpr2.C
@@ -0,0 +1,51 @@
+// { dg-do run }
+// { dg-options "" }
+
+extern "C" int printf (char const *, ...);
+extern "C" void abort ();
+
+// There are two alternate legal renderings.
+static unsigned int alt1[] = { 11, 10, 21, 110, 111, 121 };
+static unsigned int alt2[] = { 10, 11, 21, 111, 110, 121 };
+
+static unsigned int pointer = 0;
+static unsigned int *which;
+
+static void Check (unsigned t, unsigned i, void const *ptr, char const *name)
+{
+  printf ("%d %d %p %s\n", t, i, ptr, name);
+
+  if (pointer > sizeof(alt1)/sizeof(alt1[0]))
+    abort ();
+  if (pointer == 0)
+    {
+      if (t + i == alt1[0])
+	which = &alt1[0];
+      else if (t + i == alt2[0])
+	which = &alt2[0];
+      else
+	abort ();
+    }
+  else if (t + i != which[pointer])
+    abort ();
+  pointer++;
+}
+
+struct A 
+{
+  int I;
+
+  A (int i) : I(i) { Check (0, I, this, __PRETTY_FUNCTION__); }
+  ~A () { Check (100, I, this, __PRETTY_FUNCTION__); }
+  A (A const &a) : I(a.I) { Check (200, I, this, __PRETTY_FUNCTION__); }
+  A &operator= (A const &a)
+  { I = a.I; Check (300, I, this, __PRETTY_FUNCTION__); return *this; }
+  void Foo () const { Check (400, I, this, __PRETTY_FUNCTION__); }
+  A operator+ (A const &a) const
+  { return A(I + a.I); }
+};
+
+int main ()
+{
+  ({ A(10) + A(11); });
+}