Lines Matching defs:What
474 RangeSet RangeSet::Factory::intersect(RangeSet What, llvm::APSInt Lower,
476 if (What.isEmpty() || !What.pin(Lower, Upper))
487 // <---[ What ]---[------]------>
490 // <----[------]----[ What ]---->
492 if (What.getMaxValue() < Lower || Upper < What.getMinValue())
503 // <------]---[ What ]---[------>
505 if (What.getMaxValue() < Lower && Upper < What.getMinValue())
514 return intersect(*What.Impl, DummyContainer);
611 RangeSet RangeSet::Factory::negate(RangeSet What) {
612 if (What.isEmpty())
615 const llvm::APSInt SampleValue = What.getMinValue();
620 Result.reserve(What.size() + (SampleValue == MIN));
623 const_iterator It = What.begin();
624 const_iterator End = What.end();
632 return What;
676 RangeSet RangeSet::Factory::castTo(RangeSet What, APSIntType Ty) {
678 if (What.isEmpty() || What.getAPSIntType() == Ty)
679 return What;
681 const bool IsConversion = What.isUnsigned() != Ty.isUnsigned();
682 const bool IsTruncation = What.getBitWidth() > Ty.getBitWidth();
683 const bool IsPromotion = What.getBitWidth() < Ty.getBitWidth();
686 return makePersistent(truncateTo(What, Ty));
693 // - IsConversion && IsPromotion && !What.isUnsigned().
700 if (IsConversion && (!IsPromotion || !What.isUnsigned()))
701 return makePersistent(convertTo(What, Ty));
704 return makePersistent(promoteTo(What, Ty));
707 RangeSet RangeSet::Factory::castTo(RangeSet What, QualType T) {
709 return castTo(What, ValueFactory.getAPSIntType(T));
712 RangeSet::ContainerType RangeSet::Factory::truncateTo(RangeSet What,
726 for (const Range &R : What) {
778 RangeSet::ContainerType RangeSet::Factory::convertTo(RangeSet What,
796 const auto *It = What.begin();
797 const auto *E = What.end();
827 RangeSet::ContainerType RangeSet::Factory::promoteTo(RangeSet What,
831 Result.reserve(What.size());
836 for (const Range &R : What) {