* tree-inline.c (copy_body_r): Copy TREE_SIDE_EFFECTS along with

	TREE_THIS_VOLATILE on INDIRECT_REF nodes.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@136702 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 58260bb..f91be0b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,10 @@
 2008-06-12  Eric Botcazou  <ebotcazou@adacore.com>
 
+       * tree-inline.c (copy_body_r): Copy TREE_SIDE_EFFECTS along with
+       TREE_THIS_VOLATILE on INDIRECT_REF nodes.
+
+2008-06-12  Eric Botcazou  <ebotcazou@adacore.com>
+
        * expr.c (store_field): Do a block copy from BLKmode to BLKmode-like.
        (get_inner_reference): Use BLKmode for byte-aligned BLKmode bitfields.
 

diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index cb97db1..e255424 100644 (file)
--- a/gcc/tree-inline.c
+++ b/gcc/tree-inline.c
@@ -715,6 +715,7 @@ copy_body_r (tree *tp, int *walk_subtrees, void *data)
                    {
                      *tp = build1 (INDIRECT_REF, type, new);
                      TREE_THIS_VOLATILE (*tp) = TREE_THIS_VOLATILE (old);
+                     TREE_SIDE_EFFECTS (*tp) = TREE_SIDE_EFFECTS (old);
                    }
                }
              *walk_subtrees = 0;