Searched refs:IsCappedFromAbove (Results 1 – 1 of 1) sorted by relevance
275 SVal IsCappedFromAbove = in assumeNoOverflow() local278 if (auto DV = IsCappedFromAbove.getAs<DefinedSVal>()) { in assumeNoOverflow()