aboutsummaryrefslogtreecommitdiff
path: root/gcc
diff options
context:
space:
mode:
authorJason Merrill <jason@redhat.com>2004-10-31 04:17:40 -0500
committerJason Merrill <jason@gcc.gnu.org>2004-10-31 04:17:40 -0500
commit49382b6cf985a8a8b586ff04ee035e824be6a048 (patch)
tree2d12083f41fcd0c8a8b307416d7a1abbc45f3c68 /gcc
parent16b34ad6620d4c6c692bdc5c739ba4241987d346 (diff)
downloadgcc-49382b6cf985a8a8b586ff04ee035e824be6a048.zip
gcc-49382b6cf985a8a8b586ff04ee035e824be6a048.tar.gz
gcc-49382b6cf985a8a8b586ff04ee035e824be6a048.tar.bz2
re PR middle-end/17526 (libcpp is miscompiled with -fno-pcc-struct-return -O2)
PR middle-end/17526 * tree-gimple.c (is_gimple_mem_rhs): Also require a val for aggregate types that are not BLKmode. From-SVN: r89915
Diffstat (limited to 'gcc')
-rw-r--r--gcc/ChangeLog6
-rw-r--r--gcc/tree-gimple.c9
2 files changed, 12 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8fd5efb..50f6cb2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-10-31 Jason Merrill <jason@redhat.com>
+
+ PR middle-end/17526
+ * tree-gimple.c (is_gimple_mem_rhs): Also require a val for
+ aggregate types that are not BLKmode.
+
2004-10-30 Ziemowit Laski <zlaski@apple.com>
* c-common.h (objc_lookup_ivar): Add second parameter to
diff --git a/gcc/tree-gimple.c b/gcc/tree-gimple.c
index 84005aad..4a31c0e 100644
--- a/gcc/tree-gimple.c
+++ b/gcc/tree-gimple.c
@@ -111,9 +111,12 @@ is_gimple_reg_rhs (tree t)
bool
is_gimple_mem_rhs (tree t)
{
- /* If we're dealing with a renamable type, either source or dest
- must be a renamed variable. */
- if (is_gimple_reg_type (TREE_TYPE (t)))
+ /* If we're dealing with a renamable type, either source or dest must be
+ a renamed variable. Also force a temporary if the type doesn't need
+ to be stored in memory, since it's cheap and prevents erroneous
+ tailcalls (PR 17526). */
+ if (is_gimple_reg_type (TREE_TYPE (t))
+ || TYPE_MODE (TREE_TYPE (t)) != BLKmode)
return is_gimple_val (t);
else
return is_gimple_formal_tmp_rhs (t);