Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1886 RangeSet getSymLERange(ProgramStateRef St, SymbolRef Sym,
1889 RangeSet getSymLERange(llvm::function_ref<RangeSet()> RS,
3103 RangeConstraintManager::getSymLERange(llvm::function_ref<RangeSet()> RS, in getSymLERange() function in RangeConstraintManager
3131 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St, in getSymLERange() function in RangeConstraintManager
3135 return getSymLERange([&] { return getRange(St, Sym); }, Int, Adjustment); in getSymLERange()
3142 RangeSet New = getSymLERange(St, Sym, Int, Adjustment); in assumeSymLE()
3152 RangeSet Out = getSymLERange([&] { return New; }, To, Adjustment); in assumeSymWithinInclusiveRange()