diff options
| author | Richard Biener <rguenther@suse.de> | 2016-01-19 13:19:01 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-01-19 13:19:01 +0000 |
| commit | e2c768b6440a76c5850ce9fcf5e4e7c395f750db (patch) | |
| tree | 0f5dc0fcb1d195f9aea40cb224df6113c27ccc84 /gcc/tree-ssa-scopedtables.c | |
| parent | d20c47fc8613b26cd7d2c28996474bf910d865c5 (diff) | |
| download | gcc-e2c768b6440a76c5850ce9fcf5e4e7c395f750db.zip gcc-e2c768b6440a76c5850ce9fcf5e4e7c395f750db.tar.gz gcc-e2c768b6440a76c5850ce9fcf5e4e7c395f750db.tar.bz2 | |
re PR tree-optimization/69352 (profiledbootstrap failure with --with-build-config=bootstrap-lto)
2016-01-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/69352
* tree-ssa-scopedtables.c (avail_expr_hash): Check for size == -1.
(equal_mem_array_ref_p): Constrain size and max size properly.
Compare the reverse flag.
* gcc.dg/torture/pr69352.c: New testcase.
From-SVN: r232557
Diffstat (limited to 'gcc/tree-ssa-scopedtables.c')
| -rw-r--r-- | gcc/tree-ssa-scopedtables.c | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/gcc/tree-ssa-scopedtables.c b/gcc/tree-ssa-scopedtables.c index af79535..c421f43 100644 --- a/gcc/tree-ssa-scopedtables.c +++ b/gcc/tree-ssa-scopedtables.c @@ -225,7 +225,8 @@ avail_expr_hash (class expr_hash_elt *p) &reverse); /* Strictly, we could try to normalize variable-sized accesses too, but here we just deal with the common case. */ - if (size == max_size) + if (size != -1 + && size == max_size) { enum tree_code code = MEM_REF; hstate.add_object (code); @@ -261,15 +262,22 @@ equal_mem_array_ref_p (tree t0, tree t1) bool rev0; HOST_WIDE_INT off0, sz0, max0; tree base0 = get_ref_base_and_extent (t0, &off0, &sz0, &max0, &rev0); + if (sz0 == -1 + || sz0 != max0) + return false; bool rev1; HOST_WIDE_INT off1, sz1, max1; tree base1 = get_ref_base_and_extent (t1, &off1, &sz1, &max1, &rev1); + if (sz1 == -1 + || sz1 != max1) + return false; + + if (rev0 != rev1) + return false; - /* Types were compatible, so these are sanity checks. */ + /* Types were compatible, so this is a sanity check. */ gcc_assert (sz0 == sz1); - gcc_assert (max0 == max1); - gcc_assert (rev0 == rev1); return (off0 == off1) && operand_equal_p (base0, base1, 0); } |