diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2008-12-31 00:34:28 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2008-12-31 00:34:28 +0100 |
| commit | 03375368aeef4d02b5b987cd83175cfcfb925e12 (patch) | |
| tree | ef224dc8658616e2502002396260db31312b7fa6 /gcc/tree-ssa-ccp.c | |
| parent | e878958850e9cc65d91372d241c5c65637a6d98b (diff) | |
| download | gcc-03375368aeef4d02b5b987cd83175cfcfb925e12.zip gcc-03375368aeef4d02b5b987cd83175cfcfb925e12.tar.gz gcc-03375368aeef4d02b5b987cd83175cfcfb925e12.tar.bz2 | |
re PR middle-end/38505 (Revision 142061 caused ICE on __builtin_memcpy)
PR middle-end/38505
* tree-ssa-ccp.c (may_propagate_address_into_dereference): Return
false if ADDR's operand has incomplete type.
Revert:
2008-12-15 Jakub Jelinek <jakub@redhat.com>
PR middle-end/38505
* tree-ssa.c (useless_type_conversion_p_1): Return
false if inner_type is incomplete and outer_type is complete.
From-SVN: r142972
Diffstat (limited to 'gcc/tree-ssa-ccp.c')
| -rw-r--r-- | gcc/tree-ssa-ccp.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index d68337f..d0fcf39 100644 --- a/gcc/tree-ssa-ccp.c +++ b/gcc/tree-ssa-ccp.c @@ -860,6 +860,10 @@ may_propagate_address_into_dereference (tree addr, tree deref) gcc_assert (INDIRECT_REF_P (deref) && TREE_CODE (addr) == ADDR_EXPR); + /* Don't propagate if ADDR's operand has incomplete type. */ + if (!COMPLETE_TYPE_P (TREE_TYPE (TREE_OPERAND (addr, 0)))) + return false; + /* If the address is invariant then we do not need to preserve restrict qualifications. But we do need to preserve volatile qualifiers until we can annotate the folded dereference itself properly. */ |