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

	* 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 99ce1298eabae71422f0e06e47c877981982da43..aff6fe5fe87da043ac6729d860e0267f811e7578 100644 (file)
--- 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 905c60ef269ee8f172db5ea312ef3e1334395e76..9d0e9de2893fc159ab5e51786db0cadfce617ddd 100644 (file)
--- 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.