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