We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1934fc6 commit 1837579Copy full SHA for 1837579
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
@@ -730,9 +730,7 @@ bool IntegerRelation::isEmpty() const {
730
}
731
732
bool IntegerRelation::isObviouslyEmpty() const {
733
- if (isEmptyByGCDTest() || hasInvalidConstraint())
734
- return true;
735
- return false;
+ return isEmptyByGCDTest() || hasInvalidConstraint();
736
737
738
// Runs the GCD test on all equality constraints. Returns 'true' if this test
0 commit comments