Lines Matching refs:setRange
1875 ProgramStateRef setRange(ProgramStateRef State, SymbolRef Sym,
1877 ProgramStateRef setRange(ProgramStateRef State, EquivalenceClass Class,
2940 ProgramStateRef RangeConstraintManager::setRange(ProgramStateRef State, in setRange() function in RangeConstraintManager
2971 return setRange(St, Sym, New); in assumeSymNE()
2988 return setRange(St, Sym, New); in assumeSymEQ()
3025 return setRange(St, Sym, New); in assumeSymLT()
3062 return setRange(St, Sym, New); in assumeSymGT()
3099 return setRange(St, Sym, New); in assumeSymGE()
3143 return setRange(St, Sym, New); in assumeSymLE()
3153 return setRange(State, Sym, Out); in assumeSymWithinInclusiveRange()
3162 return setRange(State, Sym, New); in assumeSymOutsideInclusiveRange()