Home
last modified time | relevance | path

Searched refs:getSymLERange (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DRangeConstraintManager.cpp350 RangeSet getSymLERange(ProgramStateRef St, SymbolRef Sym,
353 RangeSet getSymLERange(const RangeSet &RS, const llvm::APSInt &Int,
593 RangeConstraintManager::getSymLERange(const RangeSet &RS, in getSymLERange() function in RangeConstraintManager
621 RangeConstraintManager::getSymLERange(ProgramStateRef St, SymbolRef Sym, in getSymLERange() function in RangeConstraintManager
652 RangeSet New = getSymLERange(St, Sym, Int, Adjustment); in assumeSymLE()
663 New = getSymLERange(New, To, Adjustment); in assumeSymbolWithinInclusiveRange()