494     unsigned numCols = getNumCols();  in hasInvalidConstraint()  local
498       for (j = 0; j < numCols - 1; ++j) {  in hasInvalidConstraint()
504       if (j < numCols - 1) {  in hasInvalidConstraint()
509       int64_t v = isEq ? atEq(i, numCols - 1) : atIneq(i, numCols - 1);  in hasInvalidConstraint()
544   unsigned numCols = constraints->getNumCols();  in eliminateFromConstraint()  local
545   for (unsigned j = 0; j < numCols; ++j) {  in eliminateFromConstraint()
657   unsigned numCols = getNumCols();  in isEmptyByGCDTest()  local
660     for (unsigned j = 1; j < numCols - 1; ++j) {  in isEmptyByGCDTest()
663     int64_t v = std::abs(atEq(i, numCols - 1));  in isEmptyByGCDTest()
959   unsigned numCols = getNumCols();  in gcdTightenInequalities()  local
964       atIneq(i, numCols - 1) = mlir::floorDiv(atIneq(i, numCols - 1), gcd);  in gcdTightenInequalities()