Searched refs:RangeConstraintManager (Results 1 – 4 of 4) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1377 class RangeConstraintManager : public RangedConstraintManager { class
1379 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager() function in __anon0bb35a870411::RangeConstraintManager
1567 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
1951 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()
1997 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
2021 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal()
2034 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()
2167 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()
2172 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()
2190 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym, in assumeSymNE()
[all …]
|
| H A D | CMakeLists.txt | 39 RangeConstraintManager.cpp
|
| /netbsd-src/external/apache2/llvm/lib/libclangStaticAnalyzerCore/ |
| H A D | Makefile | 41 RangeConstraintManager.cpp \
|
| /netbsd-src/external/apache2/llvm/dist/llvm/utils/gn/secondary/clang/lib/StaticAnalyzer/Core/ |
| H A D | BUILD.gn | 48 "RangeConstraintManager.cpp",
|