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

From-SVN: r54225

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 0b913487d0129d417048f64cc537e9afa666ae74..7f985e04e3b11305f6a9da698620205c5c67c900 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 60213d215113027973fd01c600d73ee8a95511c2..e3dd16008cfb2485548fcd1cc10635a9c56360fb 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.  */