Home
last modified time | relevance | path

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

/freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DSimpleConstraintManager.cpp23 SimpleConstraintManager::~SimpleConstraintManager() {} in ~SimpleConstraintManager()
25 ProgramStateRef SimpleConstraintManager::assumeInternal(ProgramStateRef State, in assumeInternal()
44 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef State, in assume()
52 ProgramStateRef SimpleConstraintManager::assumeAux(ProgramStateRef State, in assumeAux()
94 ProgramStateRef SimpleConstraintManager::assumeInclusiveRangeInternal( in assumeInclusiveRangeInternal()
/freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSimpleConstraintManager.h23 class SimpleConstraintManager : public ConstraintManager {
28 SimpleConstraintManager(ExprEngine *exprengine, SValBuilder &SB) in SimpleConstraintManager() function
31 ~SimpleConstraintManager() override;
H A DRangedConstraintManager.h407 class RangedConstraintManager : public SimpleConstraintManager {
410 : SimpleConstraintManager(EE, SB) {} in RangedConstraintManager()
H A DSMTConstraintManager.h32 class SMTConstraintManager : public clang::ento::SimpleConstraintManager { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
38 : SimpleConstraintManager(EE, SB) { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
/freebsd/lib/clang/libclang/
H A DMakefile851 SRCS_FUL+= StaticAnalyzer/Core/SimpleConstraintManager.cpp
/freebsd/contrib/llvm-project/llvm/include/llvm/Testing/Demangle/
H A DDemangleTestCases.inc8152 …g4ento23SimpleConstraintManagerD0Ev", "clang::ento::SimpleConstraintManager::~SimpleConstraintMana…
8153 …g4ento23SimpleConstraintManagerD1Ev", "clang::ento::SimpleConstraintManager::~SimpleConstraintMana…
8154 …g4ento23SimpleConstraintManagerD2Ev", "clang::ento::SimpleConstraintManager::~SimpleConstraintMana…
8155 …mpleConstraintManager14canReasonAboutENS0_4SValE", "clang::ento::SimpleConstraintManager::canReaso…
8156 …anager6assumeEPKNS0_7GRStateENS0_11DefinedSValEb", "clang::ento::SimpleConstraintManager::assume(c…
8157 …raintManager6assumeEPKNS0_7GRStateENS0_6NonLocEb", "clang::ento::SimpleConstraintManager::assume(c…
8158 …nstraintManager6assumeEPKNS0_7GRStateENS0_3LocEb", "clang::ento::SimpleConstraintManager::assume(c…
8159 …raintManager9assumeAuxEPKNS0_7GRStateENS0_3LocEb", "clang::ento::SimpleConstraintManager::assumeAu…
8160 …ntManager9assumeAuxEPKNS0_7GRStateENS0_6NonLocEb", "clang::ento::SimpleConstraintManager::assumeAu…
8161 …SymExprENS_18BinaryOperatorKindERKN4llvm6APSIntE", "clang::ento::SimpleConstraintManager::assumeSy…
[all …]