From: ebotcazou <ebotcazou@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 16 Oct 2015 10:52:46 +0000 (+0000)
Subject: 	* tree.c (recompute_tree_invariant_for_addr_expr): Assert that the
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=98f7a21629a19ed12703a39d682848821fcd2a60;p=thirdparty%2Fgcc.git

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


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 99ce1298eaba..aff6fe5fe87d 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 905c60ef269e..9d0e9de2893f 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.