diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c71c02ebbe2..b614d54f581 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2002-04-07  Franz Sirl  <Franz.Sirl-kernel@lauterbach.com>
+
+	PR optimization/6086
+	* g++.dg/opt/preinc1.C: New test.
+
 2002-04-06  Mark Mitchell  <mark@codesourcery.com>
 
 	PR c++/5571
diff --git a/gcc/testsuite/g++.dg/opt/preinc1.C b/gcc/testsuite/g++.dg/opt/preinc1.C
new file mode 100644
index 00000000000..89a0116b035
--- /dev/null
+++ b/gcc/testsuite/g++.dg/opt/preinc1.C
@@ -0,0 +1,59 @@
+// PR optimization/6086
+// { dg-do run }
+// { dg-options "-O" }
+ 
+extern "C" void abort (void);
+
+struct A
+{
+  A (int x, int y);
+  int a, b;
+  int foo () { return a; }
+  int bar () { return b; }
+};
+
+struct B
+{
+  virtual ~B ();
+  virtual A baz () const;
+};
+
+struct C
+{
+  A foo () const;
+  B *c;
+};
+
+A C::foo () const
+{
+  int x, y;
+  x = c->baz ().foo ();
+  y = c->baz ().bar ();
+  return A (x, y);
+}
+
+A B::baz () const
+{
+  return A (4, 8);
+}
+
+A::A (int x, int y)
+{
+  a = x;
+  b = y;
+}
+
+B::~B ()
+{
+}
+
+int
+main ()
+{
+  C the_c;
+  B the_b;
+  the_c.c = &the_b;
+  if (the_c.foo().a != 4)
+    abort ();
+  return 0;
+}