Searched refs:IsLeMax (Results 1 – 1 of 1) sorted by relevance
164 SVal IsLeMax = SVB.evalBinOp(State, BO_LE, RetVal, MaxVal, Res); in checkOverflow() local168 State->assume(IsLeMax.castAs<DefinedOrUnknownSVal>()); in checkOverflow()