55   if (!CR.isEmptySet()) {  in ForeachNumInConstantRange()
155         if (Exact.isEmptySet()) {  in TestUnsignedBinOpExhaustive()
156           EXPECT_TRUE(CR.isEmptySet());  in TestUnsignedBinOpExhaustive()
197   EXPECT_FALSE(Full.isEmptySet());  in TEST_F()
198   EXPECT_TRUE(Full.inverse().isEmptySet());  in TEST_F()
207   EXPECT_TRUE(Empty.isEmptySet());  in TEST_F()
217   EXPECT_FALSE(One.isEmptySet());  in TEST_F()
227   EXPECT_FALSE(Some.isEmptySet());  in TEST_F()
236   EXPECT_FALSE(Wrap.isEmptySet());  in TEST_F()
358   EXPECT_TRUE(TEmpty.isEmptySet());  in TEST_F()
388   EXPECT_TRUE(ZEmpty.isEmptySet());  in TEST_F()
408   EXPECT_TRUE(SEmpty.isEmptySet());  in TEST_F()
534           EXPECT_TRUE(SmallestCR.isEmptySet());  in testBinarySetOperationExhaustive()
535           EXPECT_TRUE(UnsignedCR.isEmptySet());  in testBinarySetOperationExhaustive()
536           EXPECT_TRUE(SignedCR.isEmptySet());  in testBinarySetOperationExhaustive()
685       EXPECT_TRUE(CR.isEmptySet() || (CR.isSingleElement() &&  in TEST_F()
712       EXPECT_TRUE(CR.isEmptySet());  in TEST_F()
772     EXPECT_EQ(CR.isEmptySet(), AllOverflow);  in TestAddWithNoSignedWrapExhaustive()
802     EXPECT_EQ(CR.isEmptySet(), AllOverflow);  in TestAddWithNoUnsignedWrapExhaustive()
837         EXPECT_EQ(CR.isEmptySet(), AllOverflow);  in TestAddWithNoSignedUnsignedWrapExhaustive()
846         if (ExactUnsignedCR.isEmptySet() || ExactSignedCR.isEmptySet()) {  in TestAddWithNoSignedUnsignedWrapExhaustive()
847           EXPECT_TRUE(CR.isEmptySet());  in TestAddWithNoSignedUnsignedWrapExhaustive()
1228       EXPECT_TRUE(CR.isEmptySet());  in TEST_F()
1446                   .isEmptySet());  in TEST()
1462                                                       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()
2118       if (CR1.isEmptySet() || CR2.isEmptySet())  in TestOverflowExhaustive()
2272     assert((CR.isEmptySet() || !AllNegative || !AllNonNegative) &&  in TEST_F()