diff options
| -rw-r--r-- | mlir/lib/Analysis/Presburger/IntegerRelation.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/mlir/lib/Analysis/Presburger/IntegerRelation.cpp b/mlir/lib/Analysis/Presburger/IntegerRelation.cpp index 2ac271e..a3f971d 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 |