From 0d051eceb3f8b8295a7679ac8c69067da4428b31 Mon Sep 17 00:00:00 2001 From: jakub Date: Tue, 30 Dec 2008 23:34:28 +0000 Subject: 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 PR middle-end/38505 * tree-ssa.c (useless_type_conversion_p_1): Return false if inner_type is incomplete and outer_type is complete. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@142972 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/tree-ssa-ccp.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'gcc/tree-ssa-ccp.c') diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c index d68337fc402..d0fcf3937a7 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. */ -- cgit v1.2.1