Searched refs:getSymGTRange (Results 1 – 1 of 1) sorted by relevance
1951 RangeSet getSymGTRange(ProgramStateRef St, SymbolRef Sym,3122 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St, in getSymGTRange() function in RangeConstraintManager3155 RangeSet New = getSymGTRange(St, Sym, Int, Adjustment); in assumeSymGT()3254 RangeSet RangeGT = getSymGTRange(State, Sym, To, Adjustment); in assumeSymOutsideInclusiveRange()