[MLIR][Presburger] Silence warnings in GCC (NFC)

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D121205
This commit is contained in:
Lorenzo Chelini 2022-03-08 12:16:00 +01:00
parent f0e3972f08
commit f3e1dcc5df

View File

@ -81,10 +81,12 @@ static void checkSample(bool hasSample, const IntegerPolyhedron &poly,
EXPECT_TRUE(poly.containsPoint(*maybeSample));
ASSERT_FALSE(maybeLexMin.isEmpty());
if (maybeLexMin.isUnbounded())
if (maybeLexMin.isUnbounded()) {
EXPECT_TRUE(Simplex(poly).isUnbounded());
if (maybeLexMin.isBounded())
}
if (maybeLexMin.isBounded()) {
EXPECT_TRUE(poly.containsPoint(*maybeLexMin));
}
}
break;
case TestFunction::Empty: