fix off-by-one errors (assert fails) in findPutI.

git-svn-id: svn://svn.valgrind.org/vex/trunk@309

diff --git a/VEX/priv/ir/iropt.c b/VEX/priv/ir/iropt.c
index 6b59927e860b0e0a3c406bdb1dd261b5ccd95a15..b74c4b632941203ea59a12a80cd55fb03449e0a2 100644 (file)
--- a/VEX/priv/ir/iropt.c
+++ b/VEX/priv/ir/iropt.c
@@ -2068,7 +2068,7 @@ IRExpr* findPutI ( IRBB* bb, Int startHere,
                            - 1;
          vassert((minoffP & 0xFFFF0000) == 0);
          vassert((maxoffP & 0xFFFF0000) == 0);
-         vassert(minoffP < maxoffP);
+         vassert(minoffP <= maxoffP);
          if (maxoffP < minoffG || maxoffG < minoffP) {
             /* we're OK; keep going */
             continue;
@@ -2086,7 +2086,7 @@ IRExpr* findPutI ( IRBB* bb, Int startHere,
          maxoffP = minoffP + descrP->nElems*sizeofIRType(descrP->elemTy) - 1;
          vassert((minoffP & 0xFFFF0000) == 0);
          vassert((maxoffP & 0xFFFF0000) == 0);
-         vassert(minoffP < maxoffP);
+         vassert(minoffP <= maxoffP);
          if (maxoffP < minoffG || maxoffG < minoffP) {
             /* This PutI definitely doesn't overlap.  Ignore it and
                keep going. */