From a8afd3ac1468d88711b8ca0496744c459811d27d Mon Sep 17 00:00:00 2001 From: Richard Henderson Date: Tue, 19 Oct 2004 10:24:46 -0700 Subject: [PATCH] re PR middle-end/17885 (gimplifing of volatile &a->) PR middle-end/17885 * tree.c (recompute_tree_invarant_for_addr_expr): Always poll address of INDIRECT_REF. From-SVN: r89280 --- gcc/ChangeLog | 6 ++++++ gcc/tree.c | 15 ++++++--------- 2 files changed, 12 insertions(+), 9 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d4e95c14179..6bf70ad6a96 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2004-10-19 Richard Hendeson + + PR middle-end/17885 + * tree.c (recompute_tree_invarant_for_addr_expr): Always poll address + of INDIRECT_REF. + 2004-10-19 Kazu Hirata * tree-cfg.c (thread_jumps): Use a do-while loop instead of a diff --git a/gcc/tree.c b/gcc/tree.c index 26b5f1b39ad..e07bd479908 100644 --- a/gcc/tree.c +++ b/gcc/tree.c @@ -2311,16 +2311,13 @@ do { tree _node = (NODE); \ } /* Now see what's inside. If it's an INDIRECT_REF, copy our properties from - it. If it's a decl, it's invariant and constant if the decl is static. - It's also invariant if it's a decl in the current function. (Taking the - address of a volatile variable is not volatile.) If it's a constant, - the address is both invariant and constant. Otherwise it's neither. */ + the address, since &(*a)->b is a form of addition. If it's a decl, it's + invariant and constant if the decl is static. It's also invariant if it's + a decl in the current function. Taking the address of a volatile variable + is not volatile. If it's a constant, the address is both invariant and + constant. Otherwise it's neither. */ if (TREE_CODE (node) == INDIRECT_REF) - { - /* If this is &((T*)0)->field, then this is a form of addition. */ - if (TREE_CODE (TREE_OPERAND (node, 0)) != INTEGER_CST) - UPDATE_TITCSE (node); - } + UPDATE_TITCSE (TREE_OPERAND (node, 0)); else if (DECL_P (node)) { if (staticp (node))