Searched refs:getSymGERange (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 355 RangeSet getSymGERange(ProgramStateRef St, SymbolRef Sym,
557 RangeConstraintManager::getSymGERange(ProgramStateRef St, SymbolRef Sym, in getSymGERange() function in RangeConstraintManager
588 RangeSet New = getSymGERange(St, Sym, Int, Adjustment); in assumeSymGE()
660 RangeSet New = getSymGERange(State, Sym, From, Adjustment); in assumeSymbolWithinInclusiveRange()
|