From: jakub Date: Fri, 17 Jul 2009 10:40:09 +0000 (+0000) Subject: PR c++/40780 X-Git-Tag: upstream/4.9.2~34790 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=39a1041d4f90b5324a57e86bca96d916638c962c;p=platform%2Fupstream%2Flinaro-gcc.git PR c++/40780 * gimplify.c (gimplify_conversion): Don't change non-conversions into VIEW_CONVERT_EXPR. * g++.dg/template/ptrmem19.C: New test. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@149740 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 9a61ea7..2d92626 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2009-07-17 Jakub Jelinek + + PR c++/40780 + * gimplify.c (gimplify_conversion): Don't change non-conversions into + VIEW_CONVERT_EXPR. + 2009-07-16 Sandra Loosemore * doc/extend.texi (Nested Functions): Replace broken link with diff --git a/gcc/gimplify.c b/gcc/gimplify.c index cd3de9d..db7de3b 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 19a26f7..fdd4d18 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2009-07-17 Jakub Jelinek + + PR c++/40780 + * g++.dg/template/ptrmem19.C: New test. + 2009-07-17 Aldy Hernandez Manuel López-Ibáñez diff --git a/gcc/testsuite/g++.dg/template/ptrmem19.C b/gcc/testsuite/g++.dg/template/ptrmem19.C new file mode 100644 index 0000000..52711c6 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/ptrmem19.C @@ -0,0 +1,19 @@ +// PR c++/40780 +// { dg-do compile } + +template +struct A +{ + typedef T2 (T1::*m) (T3); + A (m) {} +}; +struct B; +struct C +{ + void foo (B *); +}; +typedef A D; +typedef void (C::*E) (B *); +struct F; +typedef void (C::*G) (F); +D d ((E) (G) & C::foo);