diff --git a/mlir/lib/Analysis/Presburger/IntegerRelation.cpp b/mlir/lib/Analysis/Presburger/IntegerRelation.cpp index 2ac271e2e0553..a3f971db4bd42 100644 --- a/mlir/lib/Analysis/Presburger/IntegerRelation.cpp +++ b/mlir/lib/Analysis/Presburger/IntegerRelation.cpp @@ -730,9 +730,7 @@ bool IntegerRelation::isEmpty() const { } bool IntegerRelation::isObviouslyEmpty() const { - if (isEmptyByGCDTest() || hasInvalidConstraint()) - return true; - return false; + return isEmptyByGCDTest() || hasInvalidConstraint(); } // Runs the GCD test on all equality constraints. Returns 'true' if this test