diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 58260bbaff5..f91be0b6eb2 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+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.
diff --git a/gcc/tree-inline.c b/gcc/tree-inline.c
index cb97db1326b..e255424f548 100644
--- 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;