diff --git a/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp b/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
--- a/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
+++ b/mlir/lib/Analysis/Presburger/IntegerPolyhedron.cpp
@@ -256,12 +256,6 @@
     return false;
   if (!equalities.hasConsistentState())
     return false;
-
-  // Catches errors where numDims, numSymbols, numIds aren't consistent.
-  if (getNumDimIds() > getNumIds() || getNumSymbolIds() > getNumIds() ||
-      getNumDimAndSymbolIds() > getNumIds())
-    return false;
-
   return true;
 }