diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9a61ea724398c8c0f3505bcbeb47a92812731e4c..2d926260394dc069c7151472e35cf7149cc8452c 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2009-07-17  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/40780
+	* gimplify.c (gimplify_conversion): Don't change non-conversions into
+	VIEW_CONVERT_EXPR.
+
 2009-07-16  Sandra Loosemore  <sandra@codesourcery.com>
 
 	* doc/extend.texi (Nested Functions): Replace broken link with
diff --git a/gcc/gimplify.c b/gcc/gimplify.c
index cd3de9d5c6a49e17838a7a27dccd2ea2af9ea078..db7de3b573b6baca91733fde39326a2bb3af76b3 100644
--- a/gcc/gimplify.c
+++ b/gcc/gimplify.c
@@ -1827,9 +1827,9 @@ gimplify_conversion (tree *expr_p)
 
   /* If we have a conversion to a non-register type force the
      use of a VIEW_CONVERT_EXPR instead.  */
-  if (!is_gimple_reg_type (TREE_TYPE (*expr_p)))
+  if (CONVERT_EXPR_P (*expr_p) && !is_gimple_reg_type (TREE_TYPE (*expr_p)))
     *expr_p = fold_build1_loc (loc, VIEW_CONVERT_EXPR, TREE_TYPE (*expr_p),
-			   TREE_OPERAND (*expr_p, 0));
+			       TREE_OPERAND (*expr_p, 0));
 
   return GS_OK;
 }
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 19a26f72603f6adec1caf0e77f4bb096b3e76cac..fdd4d18d5b3a685920d4e8dd2615e9ca78caaf05 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2009-07-17  Jakub Jelinek  <jakub@redhat.com>
+
+	PR c++/40780
+	* g++.dg/template/ptrmem19.C: New test.
+
 2009-07-17  Aldy Hernandez  <aldyh@redhat.com>
 	    Manuel López-Ibáñez  <manu@gcc.gnu.org>
 
diff --git a/gcc/testsuite/g++.dg/template/ptrmem19.C b/gcc/testsuite/g++.dg/template/ptrmem19.C
new file mode 100644
index 0000000000000000000000000000000000000000..52711c6cb688cbd75aa44b2a0156a195fa7ddc3f
--- /dev/null
+++ b/gcc/testsuite/g++.dg/template/ptrmem19.C
@@ -0,0 +1,19 @@
+// PR c++/40780
+// { dg-do compile }
+
+template <class T1, typename T2, typename T3>
+struct A
+{
+  typedef T2 (T1::*m) (T3);
+  A (m) {}
+};
+struct B;
+struct C
+{
+  void foo (B *);
+};
+typedef A <C, void, B *> D;
+typedef void (C::*E) (B *);
+struct F;
+typedef void (C::*G) (F);
+D d ((E) (G) & C::foo);