aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2015-02-06 21:47:20 +0100
committerJakub Jelinek <jakub@gcc.gnu.org>2015-02-06 21:47:20 +0100
commitbbd1bae29c33b55ac449730b3b9eaaa44de3f3e8 (patch)
tree33b02403ed135a9f640d6f193b2bca059259f232
parent091790a7f083f246d6975b0d9bf4bd236ed106cd (diff)
downloadgcc-bbd1bae29c33b55ac449730b3b9eaaa44de3f3e8.zip
gcc-bbd1bae29c33b55ac449730b3b9eaaa44de3f3e8.tar.gz
gcc-bbd1bae29c33b55ac449730b3b9eaaa44de3f3e8.tar.bz2
re PR ipa/64896 (ICE in get_address_mode, at rtlanal.c:5442)
PR ipa/64896 * cgraphunit.c (cgraph_node::expand_thunk): If restype is not is_gimple_reg_type nor the thunk_fndecl returns aggregate_value_p, set restmp to a temporary variable instead of resdecl. * g++.dg/ipa/pr64896.C: New test. From-SVN: r220489
-rw-r--r--gcc/ChangeLog8
-rw-r--r--gcc/cgraphunit.c13
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/g++.dg/ipa/pr64896.C29
4 files changed, 51 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9af837b..035baa5 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2015-02-06 Jakub Jelinek <jakub@redhat.com>
+
+ PR ipa/64896
+ * cgraphunit.c (cgraph_node::expand_thunk): If
+ restype is not is_gimple_reg_type nor the thunk_fndecl
+ returns aggregate_value_p, set restmp to a temporary variable
+ instead of resdecl.
+
2015-02-06 Vladimir Makarov <vmakarov@redhat.com>
* lra.c (lra_emit_add): Fix a typo in using disp instead of base.
diff --git a/gcc/cgraphunit.c b/gcc/cgraphunit.c
index a2650f7..35b244e 100644
--- a/gcc/cgraphunit.c
+++ b/gcc/cgraphunit.c
@@ -1609,11 +1609,16 @@ cgraph_node::expand_thunk (bool output_asm_thunks, bool force_gimple_thunk)
}
else if (!is_gimple_reg_type (restype))
{
- restmp = resdecl;
+ if (aggregate_value_p (resdecl, TREE_TYPE (thunk_fndecl)))
+ {
+ restmp = resdecl;
- if (TREE_CODE (restmp) == VAR_DECL)
- add_local_decl (cfun, restmp);
- BLOCK_VARS (DECL_INITIAL (current_function_decl)) = restmp;
+ if (TREE_CODE (restmp) == VAR_DECL)
+ add_local_decl (cfun, restmp);
+ BLOCK_VARS (DECL_INITIAL (current_function_decl)) = restmp;
+ }
+ else
+ restmp = create_tmp_var (restype, "retval");
}
else
restmp = create_tmp_reg (restype, "retval");
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index e3e5444..8855d27 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2015-02-06 Jakub Jelinek <jakub@redhat.com>
+
+ PR ipa/64896
+ * g++.dg/ipa/pr64896.C: New test.
+
2015-02-06 Michael Meissner <meissner@linux.vnet.ibm.com>
PR target/64205
diff --git a/gcc/testsuite/g++.dg/ipa/pr64896.C b/gcc/testsuite/g++.dg/ipa/pr64896.C
new file mode 100644
index 0000000..0a78220
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ipa/pr64896.C
@@ -0,0 +1,29 @@
+// PR ipa/64896
+// { dg-do compile }
+// { dg-options "-O2" }
+
+struct A { int a, b; };
+struct B { A c; int d; };
+struct C { virtual B fn1 () const; };
+struct D { B fn2 () const; int fn3 () const; C *fn4 () const; };
+
+int
+D::fn3 () const
+{
+ fn4 ()->fn1 ();
+}
+
+B
+D::fn2 () const
+{
+ return B ();
+}
+
+class F : C
+{
+ B
+ fn1 () const
+ {
+ return B ();
+ }
+};