diff --git a/test/FrontendC++/2009-04-21-DtorNames-dbg.cpp b/test/FrontendC++/2009-04-21-DtorNames-dbg.cpp
new file mode 100644
index 00000000000..4bd8e771e52
--- /dev/null
+++ b/test/FrontendC++/2009-04-21-DtorNames-dbg.cpp
@@ -0,0 +1,32 @@
+// RUN: %llvmgcc -c -g %s -o - | llc -fast -f -o %t.s
+// RUN: %compile_c %t.s -o %t.o
+// PR4025
+
+template <typename _Tp> class vector
+{
+public:
+  ~vector ()
+  {
+  }
+};
+
+class Foo
+{
+  ~Foo();
+  class FooImpl *impl_;
+};
+
+namespace {
+  class Bar;
+}
+
+class FooImpl
+{
+  vector<Bar*> thing;
+};
+
+Foo::~Foo()
+{
+  delete impl_;
+}
+