aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJeff Law <law@redhat.com>2017-10-12 12:09:11 -0600
committerJeff Law <law@gcc.gnu.org>2017-10-12 12:09:11 -0600
commit8b48488fbe122c3fa56be84fd048846207466eb0 (patch)
tree04d6e0cecca0310742ce96afbb06b1c47c5b4402
parent62e1c6780d7794bd000a15b2fdbfa65dd63a223c (diff)
downloadgcc-8b48488fbe122c3fa56be84fd048846207466eb0.zip
gcc-8b48488fbe122c3fa56be84fd048846207466eb0.tar.gz
gcc-8b48488fbe122c3fa56be84fd048846207466eb0.tar.bz2
tree-ssa-dse.c (valid_ao_ref_for_dse): Reject ao_refs with negative offsets.
* tree-ssa-dse.c (valid_ao_ref_for_dse): Reject ao_refs with negative offsets. From-SVN: r253691
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/tree-ssa-dse.c1
2 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dc17b70..d5ee088 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-10-12 Jeff Law <law@redhat.com>
+
+ * tree-ssa-dse.c (valid_ao_ref_for_dse): Reject ao_refs with
+ negative offsets.
+
2017-10-12 Martin Sebor <msebor@redhat.com>
PR other/82301
diff --git a/gcc/tree-ssa-dse.c b/gcc/tree-ssa-dse.c
index 6f58fff..87e2fce 100644
--- a/gcc/tree-ssa-dse.c
+++ b/gcc/tree-ssa-dse.c
@@ -131,6 +131,7 @@ valid_ao_ref_for_dse (ao_ref *ref)
&& ref->max_size != -1
&& ref->size != 0
&& ref->max_size == ref->size
+ && ref->offset >= 0
&& (ref->offset % BITS_PER_UNIT) == 0
&& (ref->size % BITS_PER_UNIT) == 0
&& (ref->size != -1));