diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2015-10-16 10:52:46 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2015-10-16 10:52:46 +0000 |
| commit | f7bad97d6316243751539113e0063cd6e5712491 (patch) | |
| tree | 1cccdf81bc7305275f81dd7b131675af14df311e /gcc | |
| parent | 872dae48e2bb95295eb596e55cabe0eab8792253 (diff) | |
| download | gcc-f7bad97d6316243751539113e0063cd6e5712491.zip gcc-f7bad97d6316243751539113e0063cd6e5712491.tar.gz gcc-f7bad97d6316243751539113e0063cd6e5712491.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/tree.c | 2 |
2 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 99ce129..aff6fe5 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 @@ -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. |