Flaw of void BSplCLib::LocateParameter

In BSplCLib::LocateParameter (called by SameParameter API), it will produce crash bug in some extreme case (OCC6.5.3 and OCC6.7.1). If your program got crash after stitching(sewing) in release version, it may be produced by BSplCLib::LocateParameter. Here is the code:
void BSplCLib::LocateParameter
(const TColStd_Array1OfReal& Knots,
const Standard_Real U,
const Standard_Boolean IsPeriodic,
const Standard_Integer FromK1,
const Standard_Integer ToK2,
Standard_Integer& KnotIndex,
Standard_Real& NewU,
const Standard_Real UFirst,
const Standard_Real ULast)
{
...
Standard_Integer maxSize = Knots.Upper()-Knots.Lower();
...
while (val KnotIndex++;
K1 = K2;
//my code here
if(KnotIndex>=maxSize)
throw Standard_Failure("BSplCLib::LocateParameter");
K2 = knots[KnotIndex + 1];
val = K2 - K1;
if (val }
}

Ding