diff options
| author | Richard Biener <rguenther@suse.de> | 2019-03-01 12:52:19 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-03-01 12:52:19 +0000 |
| commit | 22fe0312b3782144a26aa1ca3769e0af883069a0 (patch) | |
| tree | 5e2c23b800eebe5e0b51af8a9019f894276eb296 | |
| parent | 9503d7b1ffd205eac2fbb6418578972f5f428b9f (diff) | |
re PR tree-optimization/89541 (ICE in VN_INFO(tree_node*))
2019-03-01 Richard Biener <rguenther@suse.de>
PR middle-end/89541
* tree-ssa-operands.c (add_stmt_operand): CONST_DECL may
get virtual operands.
(get_expr_operands): Handle CONST_DECL like other decls.
* gfortran.dg/pr89451.f90: New testcase.
From-SVN: r269307
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.dg/pr89451.f90 | 11 | ||||
| -rw-r--r-- | gcc/tree-ssa-operands.c | 6 |
4 files changed, 27 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ef18defe748..be1cbe57444 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2019-03-01 Richard Biener <rguenther@suse.de> + + PR middle-end/89541 + * tree-ssa-operands.c (add_stmt_operand): CONST_DECL may + get virtual operands. + (get_expr_operands): Handle CONST_DECL like other decls. + 2019-03-01 Jakub Jelinek <jakub@redhat.com> PR middle-end/89503 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index b1b4886c3ef..f6a8e6a4438 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2019-03-01 Richard Biener <rguenther@suse.de> + PR middle-end/89541 + * gfortran.dg/pr89451.f90: New testcase. + +2019-03-01 Richard Biener <rguenther@suse.de> + PR middle-end/89497 * gcc.dg/tree-ssa/reassoc-43.c: Avoid false match in regex. * g++.dg/tree-prof/devirt.C: Scan tracer dump for foldings diff --git a/gcc/testsuite/gfortran.dg/pr89451.f90 b/gcc/testsuite/gfortran.dg/pr89451.f90 new file mode 100644 index 00000000000..e751488d224 --- /dev/null +++ b/gcc/testsuite/gfortran.dg/pr89451.f90 @@ -0,0 +1,11 @@ +! { dg-do compile } +! { dg-options "-O2" } +program lh + call za(0) + call za(0) +contains + subroutine za(wl) + integer wl + wl = 1 + end subroutine za +end program lh diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c index fb247324cec..899d47ff588 100644 --- a/gcc/tree-ssa-operands.c +++ b/gcc/tree-ssa-operands.c @@ -515,7 +515,9 @@ add_stmt_operand (struct function *fn, tree *var_p, gimple *stmt, int flags) { tree var = *var_p; - gcc_assert (SSA_VAR_P (*var_p) || TREE_CODE (*var_p) == STRING_CST); + gcc_assert (SSA_VAR_P (*var_p) + || TREE_CODE (*var_p) == STRING_CST + || TREE_CODE (*var_p) == CONST_DECL); if (is_gimple_reg (var)) { @@ -741,6 +743,7 @@ get_expr_operands (struct function *fn, gimple *stmt, tree *expr_p, int flags) case PARM_DECL: case RESULT_DECL: case STRING_CST: + case CONST_DECL: if (!(flags & opf_address_taken)) add_stmt_operand (fn, expr_p, stmt, flags); return; @@ -859,7 +862,6 @@ get_expr_operands (struct function *fn, gimple *stmt, tree *expr_p, int flags) case FUNCTION_DECL: case LABEL_DECL: - case CONST_DECL: case CASE_LABEL_EXPR: /* Expressions that make no memory references. */ return; |