diff --git a/mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp b/mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp --- a/mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp +++ b/mlir/unittests/Analysis/Presburger/IntegerPolyhedronTest.cpp @@ -81,10 +81,12 @@ 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: