// - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - void AggregateCopyPropagation::ResetBit(BitVector& vector, int bit) { if(vector.BitCount() == (bit + 1)) { vector.Resize(bit + 4); } vector.ResetBit(bit); }