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