294 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart,  in removeVarRange()  argument
298   if (varStart >= varLimit)  in removeVarRange()
303   equalities.removeColumns(offset + varStart, varLimit - varStart);  in removeVarRange()
304   inequalities.removeColumns(offset + varStart, varLimit - varStart);  in removeVarRange()
307   space.removeVarRange(kind, varStart, varLimit);  in removeVarRange()
310 void IntegerRelation::removeVarRange(unsigned varStart, unsigned varLimit) {  in removeVarRange()  argument
313   if (varStart >= varLimit)  in removeVarRange()
342   removeVarKindInRange(VarKind::Domain, varStart, varLimit);  in removeVarRange()
343   removeVarKindInRange(VarKind::Range, varStart, varLimit);  in removeVarRange()
344   removeVarKindInRange(VarKind::Symbol, varStart, varLimit);  in removeVarRange()
345   removeVarKindInRange(VarKind::Local, varStart, varLimit);  in removeVarRange()
1257 void IntegerRelation::convertVarKind(VarKind srcKind, unsigned varStart,  in convertVarKind()  argument
1262   if (varStart >= varLimit)  in convertVarKind()
1266   unsigned convertCount = varLimit - varStart;  in convertVarKind()
1278     swapVar(offset + varStart + i, newVarsBegin + i);  in convertVarKind()
1281   removeVarRange(srcKind, varStart, varLimit);  in convertVarKind()