From: Eric Botcazou <ebotcazou@adacore.com>
Date: Mon, 6 Jun 2011 10:37:13 +0000 (+0000)
Subject: utils2.c (gnat_stabilize_reference): Propagate TREE_THIS_NOTRAP flag.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3bfc61cf25241bdcf7aad08c1e2b6607d25f97bb;p=gcc.git

utils2.c (gnat_stabilize_reference): Propagate TREE_THIS_NOTRAP flag.

	* gcc-interface/utils2.c (gnat_stabilize_reference): Propagate
	TREE_THIS_NOTRAP flag.

From-SVN: r174693
---

diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index ac770864de1..a54c3369719 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,8 @@
+2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* gcc-interface/utils2.c (gnat_stabilize_reference): Propagate
+	TREE_THIS_NOTRAP flag.
+
 2011-06-06  Eric Botcazou  <ebotcazou@adacore.com>
 
 	* gcc-interface/utils2.c (gnat_stabilize_reference) <COMPOUND_EXPR>:
diff --git a/gcc/ada/gcc-interface/utils2.c b/gcc/ada/gcc-interface/utils2.c
index 2a455d1047e..44eb5cbfbca 100644
--- a/gcc/ada/gcc-interface/utils2.c
+++ b/gcc/ada/gcc-interface/utils2.c
@@ -2570,5 +2570,8 @@ gnat_stabilize_reference (tree ref, bool force, bool *success)
   TREE_SIDE_EFFECTS (result) |= TREE_SIDE_EFFECTS (ref);
   TREE_THIS_VOLATILE (result) = TREE_THIS_VOLATILE (ref);
 
+  if (code == INDIRECT_REF || code == ARRAY_REF || code == ARRAY_RANGE_REF)
+    TREE_THIS_NOTRAP (result) = TREE_THIS_NOTRAP (ref);
+
   return result;
 }