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