Searched refs:IsGeMin (Results 1 – 1 of 1) sorted by relevance
165 SVal IsGeMin = SVB.evalBinOp(State, BO_GE, RetVal, MinVal, Res); in checkOverflow() local170 State->assume(IsGeMin.castAs<DefinedOrUnknownSVal>()); in checkOverflow()