From bfba765e007e85ecbc0a9e6c8709702009d89825 Mon Sep 17 00:00:00 2001
From: dolby-oss <dolby-oss@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Fri, 19 Jan 2007 10:50:17 +0000
Subject: [PATCH] more bug fixing for SemiSparseMutableIntSet

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@593 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/util/intset/OffsetBitVector.java       | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/intset/OffsetBitVector.java b/com.ibm.wala.core/src/com/ibm/wala/util/intset/OffsetBitVector.java
index c6818e978..1b8e45024 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/intset/OffsetBitVector.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/util/intset/OffsetBitVector.java
@@ -112,7 +112,7 @@ public final class OffsetBitVector extends BitVectorBase<OffsetBitVector> {
     int subscript;
     if (bit < offset) {
       int newOffset = bit&~LOW_MASK;
-      expand(newOffset, length()-newOffset);
+      expand(newOffset, length()-1-newOffset);
       shiftBits = bit & LOW_MASK;
       subscript = 0;
     } else {
@@ -189,7 +189,7 @@ public final class OffsetBitVector extends BitVectorBase<OffsetBitVector> {
    */
   public final void not() {
     if (offset != 0) {
-      expand(0, offset+length());
+      expand(0, offset+length()-1);
     }
     for (int i = 0; i < bits.length; i++) {
       bits[i] ^= MASK;
@@ -212,7 +212,7 @@ public final class OffsetBitVector extends BitVectorBase<OffsetBitVector> {
    * Sets all bits.
    */
   public final void setAll() {
-    expand(0, length());
+    expand(0, length()-1);
     for (int i = 0; i < bits.length; i++) {
       bits[i] = MASK;
     }