* alias.c (nonoverlapping_memrefs_p): Fix off by one error.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@54225 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b91348..7f985e0 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2002-06-03  Dan Nicolaescu  <dann@godzilla.ics.uci.edu>
+
+       * alias.c (nonoverlapping_memrefs_p): Fix off by one error.
+
 2002-06-03  Roger Sayle  <roger@eyesopen.com>
 
        * gcse.c (cprop_jump): Use single_set to get the pattern

diff --git a/gcc/alias.c b/gcc/alias.c
index 60213d2..e3dd160 100644 (file)
--- a/gcc/alias.c
+++ b/gcc/alias.c
@@ -2022,7 +2022,7 @@ nonoverlapping_memrefs_p (x, y)
 
   /* If we don't know the size of the lower-offset value, we can't tell
      if they conflict.  Otherwise, we do the test.  */
-  return sizex >= 0 && offsety > offsetx + sizex;
+  return sizex >= 0 && offsety >= offsetx + sizex;
 }
 
 /* True dependence: X is read after store in MEM takes place.  */