From: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri, 16 Oct 2015 10:52:46 +0000 (+0000)
Subject: tree.c (recompute_tree_invariant_for_addr_expr): Assert that the argument is an ADDR_... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f7bad97d6316243751539113e0063cd6e5712491;p=gcc.git

tree.c (recompute_tree_invariant_for_addr_expr): Assert that the argument is an ADDR_EXPR.

	* tree.c (recompute_tree_invariant_for_addr_expr): Assert that the
	argument is an ADDR_EXPR.

From-SVN: r228870
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 99ce1298eab..aff6fe5fe87 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2015-10-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+	* tree.c (recompute_tree_invariant_for_addr_expr): Assert that the
+	argument is an ADDR_EXPR.
+
 2015-10-16  Richard Biener  <rguenther@suse.de>
 
 	* gimple-fold.c (gimple_fold_builtin_memory_op): Use gimple_build
diff --git a/gcc/tree.c b/gcc/tree.c
index 905c60ef269..9d0e9de2893 100644
--- a/gcc/tree.c
+++ b/gcc/tree.c
@@ -4248,6 +4248,8 @@ recompute_tree_invariant_for_addr_expr (tree t)
   tree node;
   bool tc = true, se = false;
 
+  gcc_assert (TREE_CODE (t) == ADDR_EXPR);
+
   /* We started out assuming this address is both invariant and constant, but
      does not have side effects.  Now go down any handled components and see if
      any of them involve offsets that are either non-constant or non-invariant.