Searched refs:RangeConstraintManager (Results 1 – 3 of 3) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1872 class RangeConstraintManager : public RangedConstraintManager { class
1874 RangeConstraintManager(ExprEngine *EE, SValBuilder &SVB) in RangeConstraintManager() function in __anonaacf511c0511::RangeConstraintManager
2277 return std::make_unique<RangeConstraintManager>(Eng, StMgr.getSValBuilder()); in CreateRangeConstraintManager()
2812 bool RangeConstraintManager::canReasonAbout(SVal X) const { in canReasonAbout()
2858 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull()
2882 const llvm::APSInt *RangeConstraintManager::getSymVal(ProgramStateRef St, in getSymVal()
2887 const llvm::APSInt *RangeConstraintManager::getSymMinVal(ProgramStateRef St, in getSymMinVal()
2893 const llvm::APSInt *RangeConstraintManager::getSymMaxVal(ProgramStateRef St, in getSymMaxVal()
2906 RangeConstraintManager::removeDeadBindings(ProgramStateRef State, in removeDeadBindings()
3039 RangeSet RangeConstraintManager::getRange(ProgramStateRef State, in getRange()
[all …]
|
| /freebsd/lib/clang/libclang/ |
| H A D | Makefile | 844 SRCS_FUL+= StaticAnalyzer/Core/RangeConstraintManager.cpp
|
| /freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/ |
| H A D | DemangleTestCases.inc | 7987 …RangeConstraintManagerD1Ev", "(anonymous namespace)::RangeConstraintManager::~RangeConstraintManag…
7988 …RangeConstraintManagerD0Ev", "(anonymous namespace)::RangeConstraintManager::~RangeConstraintManag…
7989 …clang4ento7GRStateEPKNS2_10SymbolDataE", "(anonymous namespace)::RangeConstraintManager::getSymVal…
7990 …teEPKNS2_10SymbolDataERKN4llvm6APSIntE", "(anonymous namespace)::RangeConstraintManager::isEqual(c…
7991 …lang4ento7GRStateERNS2_12SymbolReaperE", "(anonymous namespace)::RangeConstraintManager::removeDea…
7992 …to7GRStateERN4llvm11raw_ostreamEPKcSA_", "(anonymous namespace)::RangeConstraintManager::print(cla…
7993 …PKNS2_10SymbolDataERKN4llvm6APSIntESC_", "(anonymous namespace)::RangeConstraintManager::assumeSym…
7994 …PKNS2_10SymbolDataERKN4llvm6APSIntESC_", "(anonymous namespace)::RangeConstraintManager::assumeSym…
7995 …PKNS2_10SymbolDataERKN4llvm6APSIntESC_", "(anonymous namespace)::RangeConstraintManager::assumeSym…
7996 …PKNS2_10SymbolDataERKN4llvm6APSIntESC_", "(anonymous namespace)::RangeConstraintManager::assumeSym…
[all …]
|