diff options
| author | Jeff Law <law@redhat.com> | 2018-08-27 22:02:11 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2018-08-27 22:02:11 -0600 |
| commit | a1ae0cbd96f326debd929214ee78cf683fc6f2a6 (patch) | |
| tree | f6c36d9521210e0db5f9a093aa271694d23bad4b /gcc | |
| parent | d1af2f668fb0fca982183265e1a56e23d4f25fa8 (diff) | |
| download | gcc-a1ae0cbd96f326debd929214ee78cf683fc6f2a6.zip gcc-a1ae0cbd96f326debd929214ee78cf683fc6f2a6.tar.gz gcc-a1ae0cbd96f326debd929214ee78cf683fc6f2a6.tar.bz2 | |
re PR tree-optimization/87110 ([9 Regresssion] tree check fail in to_wide, at tree.h:5523)
PR tree-optimization/87110
* tree-ssa-dse.c (compute_trims): Handle non-constant
TYPE_SIZE_UNIT.
PR tree-optimization/87110
* gcc.c-torture/compile/pr87110.c: New test.
From-SVN: r263906
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr87110.c | 13 | ||||
| -rw-r--r-- | gcc/tree-ssa-dse.c | 6 |
4 files changed, 29 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4cbea7a..a855304 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2018-08-27 Jeff Law <law@redhat.com> + + PR tree-optimization/87110 + * tree-ssa-dse.c (compute_trims): Handle non-constant + TYPE_SIZE_UNIT. + 2018-08-27 Martin Sebor <msebor@redhat.com> PR tree-optimization/86914 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 4b5c153..6d85561 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-08-27 Jeff Law <law@redhat.com> + + PR tree-optimization/87110 + * gcc.c-torture/compile/pr87110.c: New test. + 2018-08-27 Martin Sebor <msebor@redhat.com> PR tree-optimization/86914 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr87110.c b/gcc/testsuite/gcc.c-torture/compile/pr87110.c new file mode 100644 index 0000000..8428d3d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr87110.c @@ -0,0 +1,13 @@ +enum a { b, c }; +struct d { + _Bool e; + enum a f +}; +g, h; +i() { + struct d j[h]; + j[0] = (struct d){.f = c}; + for (; g;) + (struct d){}; +} + diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c index bddbbe8..8b7aea0 100644 --- a/gcc/tree-ssa-dse.c +++ b/gcc/tree-ssa-dse.c @@ -250,9 +250,13 @@ compute_trims (ao_ref *ref, sbitmap live, int *trim_head, int *trim_tail, *trim_tail = last_orig - last_live; /* But don't trim away out of bounds accesses, as this defeats - proper warnings. */ + proper warnings. + + We could have a type with no TYPE_SIZE_UNIT or we could have a VLA + where TYPE_SIZE_UNIT is not a constant. */ if (*trim_tail && TYPE_SIZE_UNIT (TREE_TYPE (ref->base)) + && TREE_CODE (TYPE_SIZE_UNIT (TREE_TYPE (ref->base))) == INTEGER_CST && compare_tree_int (TYPE_SIZE_UNIT (TREE_TYPE (ref->base)), last_orig) <= 0) *trim_tail = 0; |