Searched refs:RangeConstraintManager (Results 1 – 2 of 2) sorted by relevance
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | RangeConstraintManager.cpp | 294 class RangeConstraintManager : public SimpleConstraintManager{ class
297 RangeConstraintManager(SubEngine *subengine, SValBuilder &SVB) in RangeConstraintManager() function in __anon7dca5b270211::RangeConstraintManager
364 return llvm::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
367 const llvm::APSInt* RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal()
373 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
400 RangeConstraintManager::removeDeadBindings(ProgramStateRef state, in removeDeadBindings()
416 RangeConstraintManager::GetRange(ProgramStateRef state, SymbolRef sym) { in GetRange()
450 RangeConstraintManager::assumeSymNE(ProgramStateRef St, SymbolRef Sym, in assumeSymNE()
470 RangeConstraintManager::assumeSymEQ(ProgramStateRef St, SymbolRef Sym, in assumeSymEQ()
484 RangeSet RangeConstraintManager::getSymLTRange(ProgramStateRef St, in getSymLTRange()
[all …]
|
| D | CMakeLists.txt | 36 RangeConstraintManager.cpp
|