Searched refs:getSymLTRange (Results 1 – 1 of 1) sorted by relevance
1948 RangeSet getSymLTRange(ProgramStateRef St, SymbolRef Sym,3085 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange() function in RangeConstraintManager3118 RangeSet New = getSymLTRange(St, Sym, Int, Adjustment); in assumeSymLT()3253 RangeSet RangeLT = getSymLTRange(State, Sym, From, Adjustment); in assumeSymOutsideInclusiveRange()