Home
last modified time | relevance | path

Searched refs:SubEngine (Results 1 – 16 of 16) sorted by relevance

/freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DConstraintManager.h36 class SubEngine; variable
201 SubEngine *subengine);
204 CreateZ3ConstraintManager(ProgramStateManager &statemgr, SubEngine *subengine);
H A DSimpleConstraintManager.h25 SubEngine *SU;
29 SimpleConstraintManager(SubEngine *subengine, SValBuilder &SB) in SimpleConstraintManager()
H A DSubEngine.h47 class SubEngine {
50 virtual ~SubEngine() {} in ~SubEngine()
H A DCoreEngine.h44 class SubEngine; variable
72 SubEngine &SubEng;
126 CoreEngine(SubEngine &subengine,
H A DProgramState.h44 ProgramStateManager &, SubEngine *);
496 SubEngine *Eng; /* Can be null. */
529 SubEngine *subeng);
566 SubEngine &getOwningEngine() { return *Eng; } in getOwningEngine()
H A DRangedConstraintManager.h140 RangedConstraintManager(SubEngine *SE, SValBuilder &SB)
H A DSMTConstraintManager.h29 SMTConstraintManager(clang::ento::SubEngine *SE, clang::ento::SValBuilder &SB, in SMTConstraintManager()
H A DExprEngine.h84 class ExprEngine : public SubEngine {
/freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/
H A DSubEngine.cpp14 void SubEngine::anchor() { } in anchor()
H A DCoreEngine.cpp57 SubEngine &subengine) { in generateWorkList()
75 CoreEngine::CoreEngine(SubEngine &subengine, FunctionSummariesTy *FS, in CoreEngine()
H A DRangeConstraintManager.cpp227 RangeConstraintManager(SubEngine *SE, SValBuilder &SVB) in RangeConstraintManager()
311 ento::CreateRangeConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateRangeConstraintManager()
H A DProgramState.cpp80 SubEngine *SubEng) in ProgramStateManager()
195 SubEngine &Eng = Mgr.getOwningEngine(); in invalidateRegionsImpl()
H A DZ3ConstraintManager.cpp812 Z3ConstraintManager(SubEngine *SE, SValBuilder &SB) in Z3ConstraintManager()
832 ento::CreateZ3ConstraintManager(ProgramStateManager &StMgr, SubEngine *Eng) { in CreateZ3ConstraintManager()
H A DCallEvent.cpp553 SubEngine &Engine = getState()->getStateManager().getOwningEngine(); in getRuntimeDefinition()
H A DRegionStore.cpp350 SubEngine &Eng = StateMgr.getOwningEngine(); in RegionStoreManager()
/freebsd-12.1/lib/clang/libclang/
H A DMakefile614 SRCS_FUL+= StaticAnalyzer/Core/SubEngine.cpp