554         ConstantRange Variant1(Bits, /*full*/ true);  in testBinarySetOperationExhaustive()  local
559             Variant1 = ConstantRange(Lower1, Upper2 + 1);  in testBinarySetOperationExhaustive()
567           Variant1 = ConstantRange(Lower2, Upper1 + 1);  in testBinarySetOperationExhaustive()
572         if (Variant1.isSizeStrictlySmallerThan(Variant2))  in testBinarySetOperationExhaustive()
573           EXPECT_EQ(Variant1, SmallestCR);  in testBinarySetOperationExhaustive()
574         else if (Variant2.isSizeStrictlySmallerThan(Variant1))  in testBinarySetOperationExhaustive()
577           EXPECT_TRUE(Variant1 == SmallestCR || Variant2 == SmallestCR);  in testBinarySetOperationExhaustive()
580         bool Variant1Full = Variant1.isFullSet() || Variant1.isWrappedSet();  in testBinarySetOperationExhaustive()
583           EXPECT_EQ(Variant1, UnsignedCR);  in testBinarySetOperationExhaustive()
586         else if (Variant1.isSizeStrictlySmallerThan(Variant2))  in testBinarySetOperationExhaustive()
587           EXPECT_EQ(Variant1, UnsignedCR);  in testBinarySetOperationExhaustive()
588         else if (Variant2.isSizeStrictlySmallerThan(Variant1))  in testBinarySetOperationExhaustive()
591           EXPECT_TRUE(Variant1 == UnsignedCR || Variant2 == UnsignedCR);  in testBinarySetOperationExhaustive()
594         Variant1Full = Variant1.isFullSet() || Variant1.isSignWrappedSet();  in testBinarySetOperationExhaustive()
597           EXPECT_EQ(Variant1, SignedCR);  in testBinarySetOperationExhaustive()
600         else if (Variant1.isSizeStrictlySmallerThan(Variant2))  in testBinarySetOperationExhaustive()
601           EXPECT_EQ(Variant1, SignedCR);  in testBinarySetOperationExhaustive()
602         else if (Variant2.isSizeStrictlySmallerThan(Variant1))  in testBinarySetOperationExhaustive()
605           EXPECT_TRUE(Variant1 == SignedCR || Variant2 == SignedCR);  in testBinarySetOperationExhaustive()