Searched refs:getSymGTRange (Results 1 – 1 of 1) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 347 RangeSet getSymGTRange(ProgramStateRef St, SymbolRef Sym,
521 RangeConstraintManager::getSymGTRange(ProgramStateRef St, SymbolRef Sym, in getSymGTRange() function in RangeConstraintManager
552 RangeSet New = getSymGTRange(St, Sym, Int, Adjustment); in assumeSymGT()
672 RangeSet RangeGT = getSymGTRange(State, Sym, To, Adjustment); in assumeSymbolOutOfInclusiveRange()
|