Searched refs:getSymLTRange (Results 1 – 1 of 1) sorted by relevance
344 RangeSet getSymLTRange(ProgramStateRef St, SymbolRef Sym,484 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange() function in RangeConstraintManager516 RangeSet New = getSymLTRange(St, Sym, Int, Adjustment); in assumeSymLT()671 RangeSet RangeLT = getSymLTRange(State, Sym, From, Adjustment); in assumeSymbolOutOfInclusiveRange()