Lines Matching refs:isEmptySet
65 if (!CR.isEmptySet()) { in ForeachNumInConstantRange()
136 EXPECT_TRUE(CR.isEmptySet()); in TestRange()
253 EXPECT_FALSE(Full.isEmptySet()); in TEST_F()
254 EXPECT_TRUE(Full.inverse().isEmptySet()); in TEST_F()
263 EXPECT_TRUE(Empty.isEmptySet()); in TEST_F()
273 EXPECT_FALSE(One.isEmptySet()); in TEST_F()
283 EXPECT_FALSE(Some.isEmptySet()); in TEST_F()
292 EXPECT_FALSE(Wrap.isEmptySet()); in TEST_F()
414 EXPECT_TRUE(TEmpty.isEmptySet()); in TEST_F()
444 EXPECT_TRUE(ZEmpty.isEmptySet()); in TEST_F()
464 EXPECT_TRUE(SEmpty.isEmptySet()); in TEST_F()
648 EXPECT_TRUE(CR.isEmptySet() || in TEST_F()
675 EXPECT_TRUE(CR.isEmptySet()); in TEST_F()
1187 EXPECT_TRUE(CR.isEmptySet()); in TEST_F()
1427 .isEmptySet()); in TEST()
1443 HighHalf).isEmptySet()); in TEST()
1512 EXPECT_FALSE(NUWRegion.isEmptySet()); in TEST()
1517 EXPECT_FALSE(NSWRegion.isEmptySet()); in TEST()
1540 EXPECT_FALSE(NUWRegion.isEmptySet()); in TEST()
1545 EXPECT_FALSE(NSWRegion.isEmptySet()); in TEST()
1729 if (CR.isEmptySet()) in TestNoWrapRegionExhaustive()
2135 if (CR1.isEmptySet() || CR2.isEmptySet()) in TestOverflowExhaustive()
2279 if (!CR.isEmptySet()) { in TEST_F()
2304 assert((CR.isEmptySet() || !AllNegative || !AllNonNegative) && in TEST_F()