diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bd9cf806918..3a2fcf485d8 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-07-07  Duncan Sands  <baldrick@free.fr>
+
+	PR middle-end/41355
+	* tree.c (build_function_type_skip_args): Copy the original type using
+        build_distinct_type_copy rather than copy_node.
+
 2010-07-07  H.J. Lu  <hongjiu.lu@intel.com>
 
 	PR target/44850
diff --git a/gcc/tree.c b/gcc/tree.c
index dda9287a190..2ddd1d87fe4 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -7350,7 +7350,7 @@ build_function_type_skip_args (tree orig_type, bitmap args_to_skip)
   if (TREE_CODE (orig_type) != METHOD_TYPE
       || !bitmap_bit_p (args_to_skip, 0))
     {
-      new_type = copy_node (orig_type);
+      new_type = build_distinct_type_copy (orig_type);
       TYPE_ARG_TYPES (new_type) = new_reversed;
     }
   else