diff options
| author | Richard Henderson <rth@redhat.com> | 2004-08-17 16:33:46 -0700 |
|---|---|---|
| committer | Richard Henderson <rth@gcc.gnu.org> | 2004-08-17 16:33:46 -0700 |
| commit | 504c0e4f17ae32c0d14caa6b02098346ac98992d (patch) | |
| tree | 43cdb5f4d2475904967ded397fa79c8c9d1c7fcf | |
| parent | 7fa53b443afcae40c7e692cb4115fc755dc87b5d (diff) | |
| download | gcc-504c0e4f17ae32c0d14caa6b02098346ac98992d.zip gcc-504c0e4f17ae32c0d14caa6b02098346ac98992d.tar.gz gcc-504c0e4f17ae32c0d14caa6b02098346ac98992d.tar.bz2 | |
re PR tree-optimization/17051 (ICE: internal compiler error: verify_ssa failed.for SSA_NAME: l_addr<D8610>_650)
PR 17051
* tree-sra.c (scalarize_use): Mark all v_defs for !is_output too.
From-SVN: r86158
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/20040817-1.c | 19 | ||||
| -rw-r--r-- | gcc/tree-sra.c | 6 |
3 files changed, 26 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 81822a2..3e3252d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-08-17 Richard Henderson <rth@redhat.com> + + PR 17051 + * tree-sra.c (scalarize_use): Mark all v_defs for !is_output too. + 2004-08-17 DJ Delorie <dj@redhat.com> * doc/extend.texi: Document new xstormy16 attribute. diff --git a/gcc/testsuite/gcc.c-torture/compile/20040817-1.c b/gcc/testsuite/gcc.c-torture/compile/20040817-1.c new file mode 100644 index 0000000..158596c --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/20040817-1.c @@ -0,0 +1,19 @@ +/* PR 17051: SRA failed to rename the VOPS properly. */ + +struct A +{ + char c, d; +}; + +void foo(struct A *p) +{ + struct A a = *p; + + if (p->c) + bar1(a); + else + { + if (p) bar2(a,a.c); + bar3(a.c); + } +} diff --git a/gcc/tree-sra.c b/gcc/tree-sra.c index b3fa20c..e6b254c 100644 --- a/gcc/tree-sra.c +++ b/gcc/tree-sra.c @@ -1780,11 +1780,9 @@ scalarize_use (struct sra_elt *elt, tree *expr_p, block_stmt_iterator *bsi, generate_copy_inout (elt, is_output, generate_element_ref (elt), &list); if (list == NULL) return; + mark_all_v_defs (expr_first (list)); if (is_output) - { - mark_all_v_defs (expr_first (list)); - sra_insert_after (bsi, list); - } + sra_insert_after (bsi, list); else sra_insert_before (bsi, list); } |