Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1792 class RangeConstraintManager : public RangedConstraintManager { class
1794 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager() function in __anon77be4a4c0511::RangeConstraintManager
2719 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()
2802 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()
2935 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()
2991 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange()
3028 RangeSet RangeConstraintManager::getSymGTRange(ProgramStateRef St, in getSymGTRange()
3065 RangeSet RangeConstraintManager::getSymGERange(ProgramStateRef St, in getSymGERange()
3131 RangeSet RangeConstraintManager::getSymLERange(ProgramStateRef St, in getSymLERange()
3191 void RangeConstraintManager::printConstraints(raw_ostream &Out, in printConstraints()
[all …]
H A DCMakeLists.txt40 RangeConstraintManager.cpp
/llvm-project-15.0.7/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/
H A DBUILD.gn49 "RangeConstraintManager.cpp",