Searched refs:GreaterOrEqual (Results 1 – 1 of 1) sorted by relevance
151 SVal GreaterOrEqual = SVB.evalBinOp(StateFound, BO_GE, in Find() local155 assert(isa<DefinedSVal>(GreaterOrEqual) && in Find()157 StateFound = StateFound->assume(GreaterOrEqual.castAs<DefinedSVal>(), true); in Find()